My submission to the Sigbovik Golf Horse competition

My submission "zymic" to the Golf Horse competition

The math library of Lean 4

Roadroller: Flattens Your JavaScript Demo

Scientific computing in Lean 4

Formalizing "Proofs from THE BOOK"

Sokoban implementation in lean for proving solvability / unsolvability

Collection of syzkaller bug reproducers for Linux

A programmable version of Neil Thapen's Pink Trombone

Interactive neural theorem proving in Lean

Beginner experiments in formalisation of solutions to mathematical olympiad problems, using problems from the second round of the British Mathematical Olympiad 2019/20.

This project converts structured Lean code into an interactive browser game.

Compiler/source code fuzzing tool using AFL instrumentation

Creative cellular automata browser game

File formats dissections and more...

The Rust Playground

Cap’n Proto maven plugin

Canonicalization for capnp

Tool for launching a Linux process from a snapshot

"Small vector" optimization for Rust: store up to a small number of items on the stack

A Rust port of Box2d

🐇 Fuzzing Rust code with American Fuzzy Lop

Shumway is a Flash VM and runtime written in JavaScript

A web server/client for Quassel

Construct JSON objects in Rust from JSON-like literals. (deprecado, use serde_json's json! macro)