Learn Rust by writing Entirely Too Many linked lists

Integrate OpenCode Go models into VS Code Copilot Chat without third-party extensions.

Tower defense game that teaches cloud architecture. Build infrastructure, survive traffic, learn scaling.

SilentPatch for GTA III, Vice City, and San Andreas

Self-hosted AI coding assistant

Verifying constant-time code with symbolic execution

Benchmark (mostly cryptographic programs) for Binsec/Rel.

Last Colony, is an RTS game with both a single player campaign mode as well as a multiplayer mode, created entirely in HTML5 and JavaScript.

A Pikmin-based game/engine for fan-made content.

Slap your MacBook, it yells back. Uses Apple Silicon accelerometer via IOKit HID.

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

The Teammate Reputation System is a platform designed to improve team formation in student competitions such as hackathons and programming contests. It addresses a common failure mode in collaborat…

An awesome list of e-graph resources

KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling

CRETE under development

A modified KLEE with concolic execution

Checking that functions are constant time with Valgrind

Research Artifact of USENIX Security 2023 paper: CacheQL: Quantifying and Localizing Cache Side-Channel Vulnerabilities in Production Software

A microarchitectural leakage detection framework using dynamic instrumentation.

Side-channel Analysis

BINSEC binary-level open-source platform

Generative art projects using Processing

Tiger compiler in Standard ML/New Jersey. Based on "Modern Compiler Implementation in ML."

Procedural "planet" using ray marching on SDF and Fractal Brownian Motion

Text Analysis Based on the Metal-Archives with scikit-learn

An OMNeT++ Simulation of Geo-Distributed Training via Subservers