- (Repo) AutomataEditor: an editor for automata using react-flow
- (Repo) calendar: A simple typescript vanitas calendar showing the progress of the year.
- (Repo) coqdoc
- (Repo) git_hash_chooser: Brute forces git hashes to choose your own prefix
- (Repo) hex-puzzle
- (Repo) hilbert-hotel: A minigame to interact with the hilbert hotel puzzle
- (Repo) mars-mips: A completely client-side web version of ther MARS MIPS interpreter using cheerpj
- (Repo) metacoq: Metaprogramming in Coq
- (Repo) minesweeper: A minimal minesweeper speed coding
- (Repo) mips-interpreter: A MIPS Assembly Interpreter written for the browser
- (Repo) neuralcoder3.github.io
- (Repo) obsidian-public-notes
- (Repo) password-check: A simple react application to check passwords on the client side.
- (Repo) ppm-converter: A simple converter to ascii ppm images (no compression, no comments, ...) using wasm
- (Repo) prog1-book-proxy: A proxy repository to forward gh-pages publishing
- (Repo) prooftrees: Exploration of interactive inference rule application/proofs using a unification approach.
- (Repo) proof_tables: An interactive tool to play with proof tables as introduced in the mathematics prep course
- (Repo) quantum-wordle: Quantum Wordle
- (Repo) script_proofs: a coq (and lean) variant of the calculus from the maths prep course
- (Repo) shack-synth-web: Synthesis of loop-free programs
- (Repo) SOOCaml-frontend: The User Interface for SOOCaml (old https://sosml.org)
- (Repo) wiki-link: Processes and visualizes links between fandom.com wiki pages specifically the backrooms wiki
{{ message }}