Determinism From Scratch.

A collection of bugs in open source rust projects using hegel-rust and Claude Fable

Extensions to Koka's std libraries (definitely unofficial, likely to be split into other packages)

A flight-compliant WebAssembly interpreter.

Koka language compiler and interpreter

An AI workforce platform: role-specialized agents with multi-provider LLM, MCP, tasks, and a web + CLI UI. You're in charge.

Systems language with linear types and capability-based security.

A coverage-guided fuzzer for web applications

Discrete Event Simulator for Rust Implementations

A silly (mostly vibecoded) game to learn PBT

Automatic testing of Haskell programs.

`mutatis` is a library for writing custom, structure-aware test-case mutators for fuzzers in Rust.

egraphs + datalog!

egg is a flexible, high-performance e-graph library

Spelling, grammar and style checking on LaTeX documents

baby's first liquid type system

Google Flights MCP, CLI and Python Library

Property-based testing for Rust, built on Hypothesis

Type Checking in Lean 4

An ahead-of-time JavaScript compiler

Lean evaluation and metaprogramming utilities for provers.

Comprehensive analytics dashboard for AI coding agents — Cursor, Windsurf, Claude Code, VS Code Copilot, Zed, Antigravity, OpenCode, Command Code

Morris is an experimental AI-powered mutation tester and test critic for Rust