Software
- PolyRpc - A multi-tier functional programming language for the Web (SW, PDFs)
- YAPB - A programmable LALR parser building system in Haskell (SW, Hackage, PDFs)
- Bidirectional type checking algorithms for (predicative) System F (SW)
- MySmallBasic - A Microsoft SmallBasic Coding System with a debugger (SW, YouTube, PDF, Tree-sitter)
- Smart Block - A Visual Block Programming System for SmartThings (SW, YouTube, Demo, PDF, IoTA calculus)
- Hwacha - An Android intent fuzzer (SW, PDF)
- Android component activation flow analysis for a featherweight Android-Java (SW, PDF)
- Maejiri - LF Type Checker in Haskell (SW, Examples: FOL,HOL,Hoare,Presburger,STLC)
- A Tactical Theorem Prover for FOL in Paulson's ML book in Haskell (SW)