List of projects I have worked on or contributed to.

  • Closed Forms Prototypical tool demonstrates analysis and verification by translating low-level code to high-level collective forms

  • JAAM JVM Abstracting Abstract Machine, an abstract interpreter for JVM bytecode in Scala

  • LLAAM A prototypical abstract interpreter for a subset of LLVM IR in C++

  • Omega An Omega Test implementation in Scala

  • DFA Classical dataflow analyses for TIP (Tiny Imperaive Programming language) in Racket

  • SAT.rkt A DPLL SAT solver in Racket

  • 2048.idr Game 2048 in Idris

  • Sudoku Various Sudoku generators and solvers in Racket and SML

Open Source Contributions