1.rescript-lang / rescriptReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.compilerjavascriptaltjsrescriptOCamlOther license7.5K total485 forks+18 starsfrom 7,458 · score 2.94
2.formal-land / rocq-of-ocamlFormal verification for OCaml, with Rocqocamlcompilerformal-verificationrocqOCamlMIT279 total22 forks+4 starsfrom 275 · score 1.61
3.mathiasbourgoin / SarekSIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)spococamlopenclcudagpgpuOCamlOther license150 total12 forks+2 starsfrom 148 · score 1.10