Skip to content

@symflower Symflower

Change the repository type filter

All

    Repositories list

    20 repositories

    • 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•4•3•0•Updated Apr 23, 2026Apr 23, 2026

    • 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•7•0•0•Updated Jun 30, 2025Jun 30, 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 determ…
      javatestinggolang
      javatestinggolangunit-testinglintingcitest-automationintellij-pluginvscode-extensiontesting-tools
      1•24•0•0•Updated Jun 30, 2025Jun 30, 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
      evaluationsoftware-developmentsoftware-qualityevaluation-frameworkllms
      Go
      •
      MIT License
      •10•185•24•1•Updated May 15, 2025May 15, 2025

    • gota

      Public
      Gota: DataFrames and data wrangling in Go (Golang)
      Go
      •
      Other
      •293•0•0•0•Updated Apr 10, 2025Apr 10, 2025

    • pretty

      Public
      Pretty printing for Go values
      Go
      •
      MIT License
      •160•0•0•0•Updated Feb 10, 2025Feb 10, 2025

    • jenkins

      Public
      Jenkins automation server
      Java
      •
      MIT License
      •9.5k•0•0•0•Updated Dec 20, 2024Dec 20, 2024

    • gson

      Public
      A Java serialization/deserialization library to convert Java Objects into JSON and back
      Java
      •
      Apache License 2.0
      •4.4k•0•0•1•Updated Dec 20, 2024Dec 20, 2024

    • geantyref

      Public
      Advanced generic type reflection library with support for working with AnnotatedTypes (for Java 8+)
      Java
      •
      Apache License 2.0
      •27•0•0•1•Updated Dec 20, 2024Dec 20, 2024

    • lockfile

      Public
      Handle locking via pid files
      Go
      •
      MIT License
      •43•0•0•0•Updated Apr 19, 2024Apr 19, 2024

    • go-tree-sitter

      Public
      Golang bindings for tree-sitter https://github.com/tree-sitter/tree-sitter
      C
      •
      MIT License
      •150•1•0•0•Updated Sep 4, 2023Sep 4, 2023

    • 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 archive
      Unit test generation for the Kakoune editor with Symflower
      plugintestingunit-testing
      plugintestingunit-testingtest-automationkakounetesting-tools
      KakouneScript
      •
      MIT License
      •1•12•0•0•Updated 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.7k•0•0•0•Updated Feb 28, 2022Feb 28, 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•1•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.
      lispsmt-libpretty-printer
      lispsmt-libpretty-printer
      Python
      •
      MIT License
      •2•9•0•0•Updated May 31, 2021May 31, 2021

    • hugo

      Public
      The world’s fastest framework for building websites.
      Go
      •
      Apache License 2.0
      •8.2k•0•0•0•Updated Mar 15, 2020Mar 15, 2020

    • tools

      Public
      Shell
      •0•1•0•0•Updated Jan 28, 2019Jan 28, 2019
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.