Marcel Ullrich's repositories
transpilation
A summary of ideas about transpilation -- work in progress
lambda-calc
A deBruijn implementation of the untyped lambda calculus implementation focused on equivalence proofs, a self-interpreter, and a verified compiler to SK
prooftrees
Exploration of interactive inference rule application/proofs using a unification approach.
SOOCaml-frontend
The User Interface for SOOCaml (old https://sosml.org)
stable-diffusion-live-drawing
A simple utility around the stable diffusion webui api that processes images on update. Works for krita, psd, and standard formats.
AutomataEditor
an editor for automata using react-flow
calendar
A simple typescript vanitas calendar showing the progress of the year.
email-clustering
Text clustering using K-Means specialized for E-Mails
git_hash_chooser
Brute forces git hashes to choose your own prefix
hilbert-hotel
A minigame to interact with the hilbert hotel puzzle
minesweeper
A minimal minesweeper speed coding
ocaml_web
A minimal OCaml interpreter in ocaml transpiled to javascript using js_of_ocaml
ppm-converter
A simple converter to ascii ppm images (no compression, no comments, ...) using wasm
thorin_docker
A docker to run thorin code
tree-sitter-thorin
Thorin grammar for tree-sitter
untyped_lambda
A small compiler (lexer, parser, interpreter, SK-backend) for the untyped lambda calculus