An in-memory NoSQL database implemented in Python.

A FUSE filesystem for your Google calendar

Tile primitives for speedy kernels

Record and Replay Framework

Compiler optimizer for arbitrary control flow based on equality saturation

The Captain CLI can detect and quarantine flaky tests, automatically retry failed tests, partition files for parallel execution, produce markdown failure summaries, and more. It's compatible with 1…

ABQ is a universal test runner that runs test suites in parallel. It’s the best tool for splitting test suites into parallel jobs locally or on CI

A basic Command-Line Interface platform

Koka language compiler and interpreter

GitHub action for using Captain

Strictly define a contract for your objects and methods

This action uploads artifacts, including test results, into Captain.

A massively parallel, optimal functional runtime in Rust

A listing of compiler, language and runtime teams for people looking for jobs in this area

An implementation of the chord distributed hash table in cpp.

Tutorials and programming exercises for learning Q# and quantum computing

Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"

A Tiny Garbage Collector for C

A text editor in less than 1000 LOC with syntax highlight and search.

Programming Language Theory λΠ

Write a simple interpreter of C. Inspired by c4 and largely based on it.

Get the owners of a file tree using git

a new kind of terminal

Symbolic execution of LLVM IR with an engine written in Rust

An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.

A tiny neural network library

Generate the CSS for github-markdown-css

Bootstrapping labeling using mediocre models

Updater utility for docker tags

Reimplentation of the library from "Monads for Incremental Computing" in JS/TS.