4 repositories on SrcLog
Data-Driven Declarative Documents
React bindings for Haskell
language verification, construction, and analysis
Ocaml bindings to Microsoft's Monaco editor