CI for testing submissions to the Opam Repository, the central package universe for the OCaml ecosystem
OCaml, Docker
CI for testing OCaml projects on a wide range of operating systems, architectures, and OCaml versions
CI for stress-testing the newly introduced OCaml 5 compiler, which exposed several bugs in the multicore runtime
Running OCaml bytecode on an ARM microcontroller, on top of the RIOT real-time OS
C, ARM assembly
Mini-language where programs can be verified for correctness using a Hoare logic-style approach
OCaml
Model checker for verifying safety properties using Probabilistic Computation Tree Logic
Propositional logic SAT solver using the DPLL method
Undergraduate thesis project implementing Delay-Tolerant Link-State Routing, tested on the CORE network emulator
C, Unix
Brainf*ck compiler frontend targeting the LLVM Intermediate Representation (IR)
C, LLVM
Tic-Tac-Toe in x86 assembly, using direct syscalls
x86 Assembly
Art project demonstrating cool algorithmic image effects
C++
3D renderer using a HTML table's cells as a pixel grid
JavaScript
Experiments with repeating geometric patterns, inspired by "Islamic Patterns: An Analytical and Cosmological Approach" by Keith Critchlow
Multithreaded simulation of falling sand
Rust
Torus ray-tracer, rendering to a window or terminal
Triangle mesh ray-tracer, accelerated with a bounding volume hierarchy (BVH) data structure
C++, Python
Entry for the Ludum Dare 48 game jam
Unity/C#
Strategy game inspired by the flash game "Warfare 1917"
Terminal implementation of the Monopoly Deal card game over the network
Python, Curses
Pacman clone using the ggez game engine
Entry for the Ludum Dare 47 game jam
Entry for the Ludum Dare 46 game jam
Largely unfinished arena-based wave survival game, inspired by Devil Daggers
Tech demo for field-of-view in a tile-based world
C++, SDL2