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.ocaml / ocaml-lspOCaml Language Server Protocol implementationOCamlOther license914 total166 forks+3 starsfrom 911 · score 1.39
3.ocaml-multicore / eioEffects-based direct-style IO for multicore OCamlconcurrencyeffectsiomulticoreocamlOCamlOther license737 total91 forks+1 starsfrom 736 · score 0.69
4.ott-lang / ottThe Ott tool for writing definitions of programming languages and calculiOCamlOther license429 total58 forks+1 starsfrom 428 · score 0.69
5.backtracking / ocamlgraphOCaml graph libraryOCamlOther license254 total66 forks+1 starsfrom 253 · score 0.69
6.rocq-community / paramcoqOld Coq plugin for parametricity [maintainer=@ppedrot]parametricitycoq-plugincoqdocker-coq-actioncoq-platformcoq-ciOCamlOther license45 total28 forks+1 starsfrom 44 · score 0.69