Lists (13)
Starred repositories
Hole Refinemenst for Polymorphic Type-and-Example Driven Synthesis
A cost-aware logical framework, embedded in Agda.
Bf-Tree is a modern read-write-optimized concurrent larger-than-memory range index in Rust from MS Research.
🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, and SQLite.
An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
The WebRacket language is a subset of Racket that compiles to WebAssembly
An engine for displaying slips, the next-gen version of slides
A library for building dynamic webapps, using Js_of_ocaml.
A library for building dynamic webapps, using Js_of_ocaml
A community-maintained Python framework for creating mathematical animations.
An experimental and still heavily in progress Haskell effect system library supporting coroutines and higher order effects.
A small, spec-compliant JavaScript engine written in MoonBit, inspired by QuickJS
The Pie language, which accompanies The Little Typer by Friedman and Christiansen
A simple library for reporting compiler/interpreter errors
Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked
A static, type inferred and embeddable language written in Rust.
An extremely fast Python type checker and language server, written in Rust.
Modern embedded framework, using Rust and async.
Zero heap allocation HTTP server using OxCaml. v experimental!
Learn to build safety-critical systems in C. Prove first, code second.