2 repositories on SrcLog
Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
Experimental analyses for ReScript and OCaml: globally dead values/types, exception analysis, and termination analysis.