Repositories list

• vmutils-bin

  Public
  This repository contains packages for Homebrew and Chocolatey to install parts of the vmutil package from Victoria Metrics based on the binary releases.

  PowerShell

  •

  MIT License

  •1•3•4•0•Updated Feb 26, 2025Feb 26, 2025

• eval-dev-quality

  Public
  DevQualityEval: An evaluation benchmark 📈 and framework to compare and evolve the quality of code generation of LLMs.

  evaluationsoftware-developmentsoftware-quality+ 2evaluation-frameworkllms

  Go

  •

  MIT License

  •7•146•22•1•Updated Feb 20, 2025Feb 20, 2025

• symflower

  Public
  Whether you’re using LLMs or not, Symflower helps you build better software by pairing static, dynamic and symbolic analyses with LLMs. The robustness of deterministic analyses combined with the creativity of LLMs allows for higher quality and rapid software development.

  javatestinggolang+ 8unit-testinglintingcitest-automationintellij-pluginvscode-extensiontesting-tools+ 1

  1•23•6•0•Updated Nov 8, 2024Nov 8, 2024

• tutorials

  Public
  These are tutorials to test drive "symflower" and "symflower-server" as well as the examples provided on https://blog.symflower.com.

  TypeScript

  •3•6•0•0•Updated Jun 26, 2024Jun 26, 2024

• sessions

  Public
  Slides, source code and additional supportive documentation of Symflower sessions

  Go

  •2•5•0•0•Updated Jan 17, 2023Jan 17, 2023

• symflower-kakoune

  Public
  Unit test generation for the Kakoune editor with Symflower

  plugintestingunit-testing+ 3test-automationkakounetesting-tools

  KakouneScript

  •

  MIT License

  •1•13•0•0•Updated Oct 17, 2022Oct 17, 2022

• examples

  Public
  These are examples to test drive "symflower" and "symflower-server".

  Java

  •1•3•0•0•Updated Jan 20, 2022Jan 20, 2022

• garden

  Public
  These are binaries, packages and scripts that we made to help us build all our products. We hope that you can use them for your projects too.

  Shell

  •

  MIT License

  •1•10•0•0•Updated Nov 29, 2021Nov 29, 2021

• test-kotlin

  Public
  This repository holds a test repository for Kotlin to test drive "symflower" and "symflower-server".

  Java

  •1•1•0•0•Updated Sep 15, 2021Sep 15, 2021

• smtfmt

  Public
  An SMT-LIB formatter.

  lisppretty-printersmt-lib

  Python

  •

  MIT License

  •2•8•0•0•Updated May 31, 2021May 31, 2021

• tools

  Public
  Shell

  •0•1•0•0•Updated Jan 28, 2019Jan 28, 2019