- (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
Pinned Loading
-
transpilation
transpilation PublicA summary of ideas about transpilation -- work in progress
TeX 16
-
thorin2
thorin2 PublicForked from AnyDSL/thorin2
The Higher ORder INtermediate representation - next gen
C++
-
lambda-calc
lambda-calc PublicA deBruijn implementation of the untyped lambda calculus implementation focused on equivalence proofs, a self-interpreter, and a verified compiler to SK
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.