Marcel Ullrich's repositories
custom_infinite_craft
A custom implementation of Infinite Craft (https://neal.fun/infinite-craft/)
adventofcode-2023
My solutions to advent of code for 2023. Mostly using OCaml to inspire new Programming 1 students at UdS
adventofcode-ocaml-template
A small template for advent of code only using vanilla OCaml. We use dune as a build system.
jorge-mells-hangman_ocaml
First real ocaml project 😊
planning_synthesis
PDDL Assembly Synthesis for Sorting Algorithmus using Planning
prooftrees
Exploration of interactive inference rule application/proofs using a unification approach.
synthesis_comparison
We compare a bunch of synthesis techniques regarding their domain in general and applicability regarding program synthesis specifically
arduino-getting-started
A german guide to get started with Arduino Development and Low-level Hardware
enumeration-synth
Assembly Synthesis using Hash Enumeration
enumeration_brute_force
A bruteforce approach to enumeration synthesis for hackers delight programs
geronimo-logicOcaml
This project is a deep dive into the core components of compiler design through functional programming in OCaml. It's structured around creating a compiler that includes a lexer, parser, evaluator, all entirely done in Ocaml, to handle logical expressions.
ILP-synthesis
A program synthesis approach based on ILP constraints
knit
Software for knitting
miniocaml-menhir
Sample Solution MiniOCaml using Menhir
ocaml-live-presentation
An updating presentation for rendering and Live Coding in OCaml
ocaml-tictactoe-demo
A simple GUI for tictactoe using bogue
ocaml_bignum
A self-contained big number implementation from scratch. Supports Nat and Z
pokemon-rom-pedometer
A pedometer for leveling up pokemon (specifically Pokemon Radical Red) with automatic extraction and insertion into rom save states. Similar to the old DS pokemon tamagotchi step counter.
prog1-book-proxy
A proxy repository to forward gh-pages publishing
prog2-book
A temporary fork of the bulid files from the Programming 2 lecture notes.
shack-synth-web
Synthesis of loop-free programs
smt_synthesis
Program Synthesis using SMT Solvers
sort_comparison
A comparison of AlphaDev and similar algorithms. We also propose our own alternatives to AlphaDev.
thorin-soundness
A soundness proof of Thorin (The Higher ORder INtermediate representation)
untyped_lambda
A small compiler (lexer, parser, interpreter, SK-backend) for the untyped lambda calculus
z3-web-minimal
A minimal react typescript example project using the z3 javascript binding.