Stars
🔬 A fast, interactive web-based viewer for performance profiles.
gpt-oss-120b and gpt-oss-20b are two open-weight language models by OpenAI
An open-source AI agent that brings the power of Gemini directly into your terminal.
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Lightweight coding agent that runs in your terminal
A bare-bones calculus-of-constructions
Lean 4 programming language and theorem prover
Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
A statically typed embedding of miniKanren in Haskell
A statically typed lisp, without a GC, for real-time applications.
A continuation-based backtracking logic programming monad
QuickCheck inspired property-based testing for OCaml.
MirageOS is a library operating system that constructs unikernels
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
🙈 Volkswagen detects when your tests are being run in a CI server, and makes them pass.
Relational programming in Haskell. Mostly developed on twitch.
Generic Programming using True Sums of Products
Squeal, a deep embedding of SQL in Haskell
Painless 2D vector graphics, animations and simulations.
Persistence interface for Haskell allowing multiple storage methods.