Stars
We write your reusable computer vision tools. 💜
Get up and running with Kimi-K2.5, GLM-5, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma and other models.
DevQualityEval: An evaluation benchmark 📈 and framework to compare and evolve the quality of code generation of LLMs.
This repository contains packages for Homebrew and Chocolatey to install parts of the vmutil package from Victoria Metrics based on the binary releases.
Clone a Spotify playlist to YouTube Music
Golang bindings for tree-sitter https://github.com/tree-sitter/tree-sitter
An incremental parsing system for programming tools
macOS and Linux VMs on Apple Silicon to use in CI and other automations
https://marketplace.visualstudio.com/items?itemName=trass3r.vscode-debug-utils
Example app demonstrating edge cases during a deployment that can cause downtime
🔥 ~6x faster, stricter, configurable, extensible, and beautiful drop-in replacement for golint
🍓 Jam is your own open source Clubhouse for mini conferences, friends, communities
Package jsonrpc2 an implementation of the JSON-RPC 2 specification for Go
Unit test generation for the Kakoune editor with Symflower
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.
This repository holds a test repository for Kotlin to test drive "symflower" and "symflower-server".
Efficiently manage Git branches without leaving your local branch
These are tutorials to test drive "symflower" and "symflower-server" as well as the examples provided on https://blog.symflower.com.
These are examples to test drive "symflower" and "symflower-server".
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 cr…
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …