Skip to content
Change the repository type filter

All

    Repositories list

    • DevQualityEval: An evaluation benchmark 📈 and framework to compare and evolve the quality of code generation of LLMs.
      Go
      MIT License
      5138415Updated Dec 13, 2024Dec 13, 2024
    • 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
      1340Updated Dec 2, 2024Dec 2, 2024
    • 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.
      22350Updated 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
      3600Updated Jun 26, 2024Jun 26, 2024
    • lockfile

      Public
      Handle locking via pid files
      Go
      MIT License
      41000Updated Apr 19, 2024Apr 19, 2024
    • C
      MIT License
      125100Updated Sep 4, 2023Sep 4, 2023
    • sessions

      Public
      Slides, source code and additional supportive documentation of Symflower sessions
      Go
      2500Updated Jan 17, 2023Jan 17, 2023
    • Unit test generation for the Kakoune editor with Symflower
      KakouneScript
      MIT License
      11300Updated Oct 17, 2022Oct 17, 2022
    • testify

      Public
      This is a fork of github.com/stretchr/testify, we upstream as much as possible
      Go
      MIT License
      1.6k000Updated Feb 28, 2022Feb 28, 2022
    • examples

      Public
      These are examples to test drive "symflower" and "symflower-server".
      Java
      1300Updated 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
      11000Updated Nov 29, 2021Nov 29, 2021
    • This repository holds a test repository for Kotlin to test drive "symflower" and "symflower-server".
      Java
      1100Updated Sep 15, 2021Sep 15, 2021
    • smtfmt

      Public
      An SMT-LIB formatter.
      Python
      MIT License
      2700Updated May 31, 2021May 31, 2021
    • hugo

      Public
      The world’s fastest framework for building websites.
      Go
      Apache License 2.0
      7.6k000Updated Mar 15, 2020Mar 15, 2020
    • tools

      Public
      Shell
      0100Updated Jan 28, 2019Jan 28, 2019