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