Dragon-Hatcher

type-system-chess. Chess implemented entirely in the Rust and TS type systems.

vampire-rs. Rust bindings for the Vampire theorem prover

AdventOfCode. Rust

vampire-lib. The Vampire theorem prover as a library.

MinecraftClone. Clone of Minecraft to help me learn LWJGL

BrainfuckLd. Assembly

watson. A proof assistant.