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 |