| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| returntocorp/semgrep | OCamlPythonJava | 8.9k | +18 | 521 | +1 |
| ocaml/ocaml | OCamlCShell | 4.8k | +18 | 1k | +2 |
| LaurentMazare/tch-rs | RustC++C | 3.3k | +18 | 294 | +1 |
| facebook/infer | OCamlSMTJava | 14.4k | +14 | 2.2k | +1 |
| bcpierce00/unison | OCamlStandard MLObjective-C | 3.3k | +11 | 207 | +1 |
| CatalaLang/catala | OCamlPythonJavaScript | 1.8k | +9 | 71 | +1 |
| HaxeFoundation/haxe | HaxeOCamlC | 5.7k | +8 | 658 | +2 |
| reasonml/reason | OCamlReasonRaku | 9.9k | +8 | 450 | 0 |
| moonbitlang/moonbit-docs | JavaScriptOCamlHTML | 461 | +8 | 13 | 0 |
| coq/coq | OCamlCoqTeX | 4.4k | +7 | 626 | 0 |
| facebook/pyre-check | OCamlPythonC | 6.5k | +7 | 458 | +3 |
| astrada/google-drive-ocamlfuse | OCamlOther | 5.2k | +7 | 394 | +5 |
| ocaml/dune | OCamlPowerShellC | 1.4k | +7 | 370 | 0 |
| cs3110/textbook | OCamlMakefileLua | 573 | +7 | 112 | +1 |
| austral/austral | OCamlTypeScriptPython | 833 | +6 | 24 | 0 |
| aantron/dream | OCamlCSSShell | 1.3k | +6 | 118 | +6 |
| darrenldl/docfd | OCamlShellOther | 48 | +6 | 1 | +1 |
| FStarLang/FStar | F*OCamlPython | 2.5k | +5 | 233 | +2 |
| rescript-lang/rescript-compiler | OCamlReScriptJavaScript | 6.3k | +5 | 436 | 0 |
| melange-re/melange | COCamlReason | 652 | +5 | 41 | +1 |
| ocaml/opam | OCamlShellC++ | 1.1k | +4 | 342 | +1 |
| ocaml/ocaml-lsp | OCamlTypeScriptC | 642 | +3 | 114 | +2 |
| janestreet/magic-trace | OCamlOther | 4.2k | +3 | 71 | 0 |
| ocaml/ocaml.org | HTMLOCamlCSS | 103 | +3 | 197 | +16 |
| andrejbauer/plzoo | OCamlProlog | 1.4k | +3 | 74 | 0 |