Sky Wilshaw's Projects
LaTeX sources for notes for the maths courses at Cambridge.
A self-contained proof of the consistency of Quine's New Foundations axiom system.
Modular, fast, open rendering engine
Flowistry is an IDE plugin for Rust that helps you focus on relevant code.
Godot Engine – Multi-platform 2D and 3D game engine
Create Vega-Lite visualizations from Haskell.
Formalisation of the Kelley-Meka bound on Roth numbers
plasTeX plugin to build formalization blueprints.
Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
Lost Mine
Lean mathematical components library
The Dark Arts of Advanced and Unsafe Rust Programming