Stars
F1 Live Timing TUI for all F1 sessions with variable delay to sync to your TV. Supports replaying previously recorded sessions.
Lowering a surface syntax into different intermediate representations
A dynamically-typed CBPV language embedded in Racket
being an operating system for typechecking processes
An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"
Examples to illustrate the use of algebraic effects in Multicore OCaml
Horn Clause Constraint Solving for Liquid Types
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
GNES is Generic Neural Elastic Search, a cloud-native semantic search system based on deep neural network.
language verification, construction, and automation
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
An implementation of the paper "Honey Badger of BFT Protocols" in Rust. This is a modular library of consensus.
Le Fromage de Terreur - Auto-generated Terraform DSL
Integrations with Vinyl/Frames records.
Leave delicious breadcrumbs to make your errors easier to understand.
An experiment in replacing the virtual DOM and avoiding diffing
Small unix utility to columnate data sets without stripping color codes