3 repositories on SrcLog
Add it to a GitHub README or profile β the card updates as the ranking changes:
XOD IDE
Runtime type checking for JS with Hindley Milner signatures
A parser for Hidnley Milner notations