| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| facebook/prophet | PythonRStan | 16.4k | +33 | 4.4k | +1 |
| dart-lang/language | TeXDartStandard ML | 2.4k | +19 | 195 | +3 |
| bcpierce00/unison | OCamlStandard MLObjective-C | 3.2k | +15 | 206 | 0 |
| facebook/infer | OCamlSMTJava | 14.3k | +14 | 2.2k | +2 |
| Dress-backup/Dress | Standard MLRubyPython | 161 | +8 | 45 | +1 |
| facebook/pyre-check | OCamlPythonC | 6.5k | +7 | 449 | 0 |
| GoldenCheetah/GoldenCheetah | Standard MLC++C | 1.6k | +5 | 461 | +1 |
| cs3110/textbook | OCamlMakefileLua | 557 | +4 | 110 | +1 |
| MPLLang/mpl | Standard MLCClojure | 214 | +4 | 12 | 0 |
| coq/coq | OCamlCoqTeX | 4.4k | +3 | 627 | 0 |
| teikalang/teika | OCamlStandard MLNix | 278 | +3 | 5 | 0 |
| inpla/inpla | YaccCStandard ML | 200 | +3 | 8 | -1 |
| janestreet/hardcaml | OCamlCStandard ML | 559 | +3 | 34 | +2 |
| chshersh/zbg | OCamlStandard ML | 121 | +3 | 7 | +1 |
| stan-dev/rstan | RC++Makefile | 965 | +3 | 262 | +1 |
| composer/getcomposer.org | Standard MLPHPTwig | 514 | +2 | 543 | 0 |
| ocamllabs/vscode-ocaml-platform | OCamlJavaScriptCSS | 305 | +2 | 67 | 0 |
| cil-project/cil | OCamlCPerl | 334 | +2 | 105 | +4 |
| avehtari/BDA_course_Aalto | TeXRLua | 2.1k | +2 | 548 | 0 |
| openai/miniF2F | Objective-C++IsabelleLean | 206 | +1 | 39 | 0 |
| returntocorp/ocaml-tree-sitter-core | OCamlShellC | 57 | +1 | 9 | 0 |
| scalameta/scalafmt | ScalaShellJava | 1.4k | +1 | 276 | 0 |
| CakeML/cakeml | Standard MLOCamlHaskell | 854 | +1 | 76 | 0 |
| MatsuuraKentaro/Bayesian_Statistical_Modeling_with_Stan_R_and_Python | RPythonStan | 80 | +1 | 23 | 0 |
| imteekay/programming-language-research | ClojureJavaScriptPython | 111 | +1 | 6 | 0 |