Highlights
- Pro
Stars
Robust Speech Recognition via Large-Scale Weak Supervision
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Fish-like autosuggestions for zsh
An incremental parsing system for programming tools
A Python-embedded modeling language for convex optimization problems.
CodeGen is a family of open-source model for program synthesis. Trained on TPU-v4. Competitive with OpenAI Codex.
A language for constraint-guided and efficient LLM programming.
Dafny is a verification-aware programming language
Security scanner for AI agents, MCP servers and agent skills.
Implementation of the Cedar Policy Language
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Hacky repo to see what the Copilot extension sends to the server
SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
pySMT: A library for SMT formulae manipulation and solving
Torch modules that wrap blackbox combinatorial solvers according to the method presented in "Differentiating Blackbox Combinatorial Solvers"
Efficient and general syntactical decoding for Large Language Models
NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev14.
A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.