- 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)