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 |