| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| returntocorp/semgrep | OCamlPythonJava | 7.9k | +21 | 447 | 0 |
| bcpierce00/unison | OCamlStandard MLObjective-C | 2.9k | +15 | 195 | 0 |
| coq/coq | OCamlCoqTeX | 4.1k | +9 | 597 | 0 |
| facebook/infer | OCamlSMTJava | 13.9k | +5 | 1.9k | +7 |
| paul-buerkner/brms | RTeXStan | 1.1k | +4 | 161 | 0 |
| RenaLio/Mux2sub | DIGITAL Command LanguageStandard MLC++ | 132 | +3 | 75 | +1 |
| riscv/sail-riscv | CoqIsabelleStandard ML | 280 | +2 | 84 | -1 |
| openai/miniF2F | Objective-C++IsabelleLean | 182 | 0 | 34 | 0 |
| facebook/pyre-check | PythonOCamlC | 6.3k | 0 | 421 | 0 |
| rmcelreath/stat_rethinking_2022 | RStan | 4k | 0 | 423 | 0 |
| seL4/l4v | IsabelleStandard MLHaskell | 446 | 0 | 92 | 0 |
| dart-lang/language | TeXDartStandard ML | 2.2k | 0 | 184 | 0 |
| composer/getcomposer.org | Standard MLPHPTwig | 500 | 0 | 540 | 0 |
| returntocorp/ocaml-tree-sitter-core | OCamlShellC | 40 | 0 | 6 | 0 |
| umd-cmsc330/cmsc330spring22 | OCamlRubyStandard ML | 27 | 0 | 24 | 0 |
| bgoodri/APSTA-GE-2123_2022 | StanRTeX | 2 | 0 | 10 | 0 |
| LPCIC/elpi | PrologOCamlAMPL | 223 | 0 | 27 | 0 |
| scalameta/scalafmt | ScalaShellJavaScript | 1.3k | 0 | 267 | 0 |
| airbus-seclab/bincat | OCamlPythonC | 1.5k | 0 | 163 | 0 |
| moby/vpnkit | OCamlGoC | 1k | 0 | 201 | 0 |
| comby-tools/comby | OCamlShellStandard ML | 2k | 0 | 54 | 0 |
| austral/austral | OCamlPythonStandard ML | 578 | 0 | 18 | 0 |
| mdsol/mauth-protocol-test-suite | Standard ML | 2 | 0 | 0 | 0 |
| AthenaFoundation/athena | Standard MLHTMLEmacs Lisp | 48 | 0 | 3 | 0 |
| batsh-dev-team/Batsh | OCamlBatchfileShell | 4.2k | 0 | 189 | 0 |