| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| returntocorp/semgrep | OCamlPythonJava | 7.9k | +17 | 447 | -1 |
| bcpierce00/unison | OCamlStandard MLObjective-C | 2.9k | +14 | 195 | 0 |
| astrada/google-drive-ocamlfuse | OCamlOther | 5k | +14 | 349 | -2 |
| tweag/topiary | OCamlSchemeRust | 126 | +12 | 0 | 0 |
| HaxeFoundation/haxe | HaxeOCamlC | 5.4k | +9 | 641 | -1 |
| reasonml/reason | OCamlReasonRaku | 9.8k | +9 | 445 | 0 |
| facebook/flow | OCamlJavaScriptShell | 22k | +8 | 1.9k | 0 |
| WebAssembly/spec | WebAssemblyPythonOCaml | 2.9k | +8 | 437 | +1 |
| ocaml/ocaml | OCamlCShell | 4.3k | +8 | 986 | -1 |
| facebook/infer | OCamlSMTJava | 13.9k | +6 | 1.9k | +5 |
| onivim/oni2 | ReasonCJavaScript | 7.5k | +6 | 276 | 0 |
| coq/coq | OCamlCoqTeX | 4.1k | +4 | 598 | +1 |
| MinaProtocol/mina | OCamlReasonRust | 1.7k | +2 | 389 | +6 |
| ocaml/opam | OCamlShellC++ | 1.1k | +2 | 330 | 0 |
| dfinity/motoko | OCamlSwiftRust | 379 | +1 | 77 | +1 |
| openai/miniF2F | Objective-C++IsabelleLean | 182 | 0 | 34 | 0 |
| ocaml/merlin | OCamlPerlEmacs Lisp | 1.5k | 0 | 220 | 0 |
| facebook/pyre-check | PythonOCamlC | 6.3k | 0 | 421 | 0 |
| BinaryAnalysisPlatform/bap | OCamlCommon LispC++ | 1.8k | 0 | 268 | 0 |
| ocaml/dune | OCamlPowerShellC | 1.3k | 0 | 337 | 0 |
| FStarLang/FStar | F*OCamlPython | 2.4k | 0 | 226 | 0 |
| rescript-lang/rescript-compiler | OCamlJavaScriptReScript | 6.1k | 0 | 422 | 0 |
| FStarLang/karamel | OCamlF*C | 349 | 0 | 56 | 0 |
| lichenscript/lichenscript | OCamlCJavaScript | 62 | 0 | 2 | 0 |
| hmemcpy/milewski-ctfp-pdf | TeXReasonOCaml | 10.1k | 0 | 532 | 0 |