| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| robbertkrebbers/compcert | CoqCOCaml | 22 | 0 | 3 | 0 |
| cucumber/cucumber.ml | OCamlCOther | 26 | 0 | 5 | 0 |
| camlunity/purse | OCaml | 1 | 0 | 0 | 0 |
| patricoferris/jsoo-todo-mvc | OCaml | 11 | 0 | 0 | 0 |
| batsh-dev-team/Batsh | OCamlBatchfileShell | 4.2k | 0 | 187 | 0 |
| wrf-model/WPS | FortranCNCL | 176 | 0 | 148 | 0 |
| spl/ivy | OCamlCPerl | 14 | 0 | 1 | 0 |
| fastpack/fastpack | OCamlJavaScriptStandard ML | 2.3k | 0 | 46 | 0 |
| logseq/mldoc | OCamlStandard MLJavaScript | 209 | 0 | 14 | 0 |
| rescript-lang/rescript-vscode | ReScriptOCamlTypeScript | 299 | 0 | 49 | 0 |
| savonet/ocaml-voaacenc | OCamlCMakefile | 2 | 0 | 0 | 0 |
| rescript-lang/syntax | OCamlReScript | 258 | 0 | 38 | 0 |
| RedPRL/stagedtt | OCaml | 30 | 0 | 1 | 0 |
| kuis-isle3sw/IoPLMaterials | OCamlAssemblyHTML | 156 | 0 | 27 | 0 |
| returntocorp/semgrep-interfaces | OCamlPythonTypeScript | 11 | 0 | 5 | 0 |
| PataphysicalSociety/soupault | OCamlOther | 304 | 0 | 16 | 0 |
| CakeML/cakeml | Standard MLOCamlHaskell | 855 | 0 | 76 | 0 |
| QuickChick/QuickChick | CoqOCamlC | 230 | 0 | 43 | 0 |
| kayceesrk/ocaml5-tutorial | OCaml | 184 | 0 | 10 | 0 |
| jrodbeta/pb-j | OCamlJavaShell | 0 | 0 | 1 | 0 |
| realworldocaml/book | OCamlSCSSTeX | 1.1k | 0 | 172 | 0 |
| PrincetonUniversity/VST | CoqCOCaml | 398 | 0 | 87 | 0 |
| savonet/liquidsoap | OCamlHTMLC++ | 1.2k | 0 | 118 | 0 |
| teikalang/teika | OCamlStandard MLNix | 284 | 0 | 5 | 0 |
| art-w/unicorn | OCamlHTML | 65 | 0 | 1 | 0 |