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