Academic

  • 2026

Bitvector rewrite DSL

Mathematical and computational models for simple pendulums

Read more →
  • 2025

Bril Development Suite

A collection of compiler tools for optimizing and analyzing Bril programs

Read more →
  • 2025

Trigger Happy

Multiplayer last-man-standing mobile card game in C++/CUGL

Read more →
  • 2024

Phytopolis

Platforming and strategic resource management game in Java/LibGDX

Read more →
  • 2023

Zephyr

Lightweight OCaml game engine with support for 2D physics

Read more →
  • 2022

Pendulum modeling paper

Mathematical and computational models for simple pendulums

Read more →