- Graphical web-editor for Neural Networks with handwriten c++ nn-training framework
- Multi-Agent path finding algorithm
- Parser for the Stella language using Swift's Parsec library
- Compiler for a small lisp-like language with macros for boilerplate generation
- Algorithms for fast NP-complete comparisons of Intersection Types
- Copying Garbage Collector for the small language called Stella
- Bidirectional Type Inference for SystemF
- Type Inference Engine for λ cube systems
- C++ Template Library
- C Macro Library