| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| dart-lang/language | TeXDartStandard ML | 2.4k | +29 | 195 | +2 |
| bcpierce00/unison | OCamlStandard MLObjective-C | 3.2k | +14 | 206 | 0 |
| facebook/infer | OCamlSMTJava | 14.3k | +13 | 2.2k | +5 |
| facebook/pyre-check | OCamlPythonC | 6.5k | +7 | 448 | 0 |
| GoldenCheetah/GoldenCheetah | Standard MLC++C | 1.6k | +5 | 460 | +1 |
| coq/coq | OCamlCoqTeX | 4.4k | +3 | 627 | 0 |
| seL4/l4v | IsabelleStandard MLHaskell | 469 | +2 | 99 | 0 |
| composer/getcomposer.org | Standard MLPHPTwig | 514 | +2 | 543 | 0 |
| hwayne/lets-prove-leftpad | SystemVerilogCommon LispIsabelle | 579 | +2 | 56 | 0 |
| janestreet/hardcaml | OCamlCStandard ML | 557 | +2 | 33 | +1 |
| cil-project/cil | OCamlCPerl | 334 | +2 | 104 | +3 |
| returntocorp/ocaml-tree-sitter-core | OCamlShellC | 57 | +1 | 9 | 0 |
| batsh-dev-team/Batsh | OCamlBatchfileShell | 4.2k | +1 | 187 | 0 |
| mukul-rathi/bolt | OCamlC++Standard ML | 477 | +1 | 48 | +1 |
| pgRouting/pgrouting | C++CPLpgSQL | 1k | +1 | 362 | 0 |
| openai/miniF2F | Objective-C++IsabelleLean | 206 | 0 | 39 | 0 |
| MinaProtocol/mina | OCamlGoRust | 1.8k | 0 | 462 | 0 |
| umd-cmsc330/cmsc330spring22 | OCamlRubyStandard ML | 26 | 0 | 24 | 0 |
| mirage/irmin | OCamlCHTML | 1.7k | 0 | 157 | 0 |
| LPCIC/elpi | PrologOCamlAMPL | 242 | 0 | 29 | 0 |
| scalameta/scalafmt | ScalaShellJava | 1.4k | 0 | 276 | 0 |
| airbus-seclab/bincat | OCamlPythonC | 1.5k | 0 | 166 | 0 |
| moby/vpnkit | OCamlGoC | 1k | 0 | 205 | 0 |
| comby-tools/comby | OCamlShellStandard ML | 2.2k | 0 | 57 | 0 |
| austral/austral | OCamlTypeScriptPython | 821 | 0 | 24 | 0 |