| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| Cute-Dress/Dress | Standard MLRubyPython | 190 | +15 | 50 | +4 |
| facebook/infer | OCamlSMTJava | 14.4k | +14 | 2.2k | +1 |
| bcpierce00/unison | OCamlStandard MLObjective-C | 3.3k | +11 | 207 | +1 |
| rmcelreath/stat_rethinking_2023 | RStan | 1.9k | +10 | 206 | +3 |
| coq/coq | OCamlCoqTeX | 4.4k | +7 | 626 | 0 |
| facebook/pyre-check | OCamlPythonC | 6.5k | +7 | 458 | +3 |
| cs3110/textbook | OCamlMakefileLua | 573 | +7 | 112 | +1 |
| GoldenCheetah/GoldenCheetah | Standard MLC++C | 1.7k | +6 | 470 | +2 |
| austral/austral | OCamlTypeScriptPython | 833 | +6 | 24 | 0 |
| melange-re/melange | COCamlReason | 652 | +5 | 41 | +1 |
| MinaProtocol/mina | OCamlGoRust | 1.8k | +2 | 468 | +3 |
| comby-tools/comby | OCamlShellStandard ML | 2.2k | +2 | 57 | 0 |
| composer/getcomposer.org | Standard MLPHPTwig | 515 | +1 | 542 | 0 |
| Veridise/circom-coq | CoqMakefileOCaml | 31 | +1 | 3 | 0 |
| riscv/sail-riscv | CoqIsabelleStandard ML | 324 | +1 | 103 | +1 |
| facebookresearch/miniF2F | Objective-C++IsabelleLean | 35 | +1 | 9 | 0 |
| stan-dev/rstan | RC++Makefile | 969 | +1 | 264 | +2 |
| hwxi/CS320-2023-Fall | OCamlPythonTeX | 4 | +1 | 5 | +1 |
| openai/miniF2F | Objective-C++IsabelleLean | 209 | 0 | 40 | 0 |
| rmcelreath/stat_rethinking_2022 | RStan | 4.1k | 0 | 434 | 0 |
| paul-buerkner/brms | RTeXStan | 1.2k | 0 | 173 | 0 |
| seL4/l4v | IsabelleStandard MLHaskell | 470 | 0 | 100 | 0 |
| dart-lang/language | TeXDartStandard ML | 2.4k | 0 | 195 | 0 |
| returntocorp/ocaml-tree-sitter-core | OCamlShellC | 59 | 0 | 10 | 0 |
| umd-cmsc330/cmsc330spring22 | OCamlRubyStandard ML | 26 | 0 | 24 | 0 |