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

Haskell client for the Nylas web API

being an operating system for typechecking processes

language verification, construction, and analysis

An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"

Nix environment setup for the fish shell

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.

WASM builds of the Z3 SMT solver

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.

Windows memory hacking library

Ethereum smart contract fuzzer

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

being a thing I build on a Saturday

The Pact Smart Contract Language

(OLD REPO) A debug-oriented Ethereum VM (EVM)

Small unix utility to columnate data sets without stripping color codes