Repositories contributed to
- SMLFamily/Successor-ML 35 A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
- robsimmons/abbot 6 Generation of abstract binding trees
- SMLFamily/BasisLibrary 18 Repository and Wiki for enriching the Standard ML Basis Library
- HoTT/book 1,028 A textbook on informal homotopy type theory