| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| storopoli/Bayesian-Statistics | TeXStanJulia | 304 | 0 | 50 | 0 |
| monero-project/gitian.sigs | Standard MLPython | 26 | 0 | 60 | 0 |
| chrisamaphone/interactive-lp | Standard MLVim Script | 261 | 0 | 21 | 0 |
| bobzhang/fan | OCamlStandard MLHTML | 65 | 0 | 4 | 0 |
| TheLortex/mirage-monorepo | OCamlPerlC | 14 | 0 | 3 | 0 |
| chris-wood/Tidbits | Standard ML | 0 | 0 | 0 | 0 |
| julianfaraway/rexamples | Stan | 107 | 0 | 19 | 0 |
| fraidev/tornado | OCamlStandard MLNix | 57 | 0 | 0 | 0 |
| T-Brick/molasses | Standard MLMakefile | 17 | 0 | 1 | 0 |
| RenaLio/Mux2sub | DIGITAL Command LanguageStandard MLC++ | 195 | 0 | 98 | 0 |
| berkeley-cs164-2022/class-compiler-f22 | OCamlNewLispC | 5 | 0 | 1 | 0 |
| umd-cmsc330/fall2022 | OCamlRubyStandard ML | 29 | 0 | 22 | 0 |
| facebook/prophet | PythonRStan | 17k | 0 | 4.4k | 0 |
| mukul-rathi/bolt | OCamlC++Standard ML | 484 | 0 | 48 | 0 |
| art-w/mcset | OCamlStandard ML | 31 | 0 | 0 | 0 |
| computational-psychiatry-course/cpc2022 | MATLABRStan | 24 | 0 | 8 | 0 |
| pgRouting/pgrouting | C++CPLpgSQL | 1k | 0 | 362 | 0 |
| rshepherd/sml-boolsat | Standard ML | 0 | 0 | 0 | 0 |
| rems-project/sail | IsabelleStandard MLCoq | 477 | 0 | 72 | 0 |
| dib-lab/2022-donut-ibd-classified-sra-search | Standard ML | 1 | 0 | 0 | 0 |
| bitbart/lip | OCamlStandard ML | 0 | 0 | 44 | +42 |
| AeneasVerif/aeneas | OCamlStandard MLF* | 65 | 0 | 8 | 0 |
| Inria-Prosecco/treesync | OCamlStandard MLF* | 3 | 0 | 0 | 0 |
| MPLLang/mpl | Standard MLCClojure | 214 | 0 | 12 | 0 |
| inpla/inpla | YaccCStandard ML | 204 | 0 | 8 | 0 |