1.rescript-lang / rescriptReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.compilerjavascriptaltjsrescriptOCamlOther license7.5K total485 forks+148 starsfrom 7,328 · score 5.00
2.formal-land / rocq-of-ocamlFormal verification for OCaml, with Rocqocamlcompilerformal-verificationrocqOCamlMIT279 total22 forks+9 starsfrom 270 · score 2.30