| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| 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 |
| mukul-rathi/bolt | OCamlC++Standard ML | 484 | 0 | 48 | 0 |
| art-w/mcset | OCamlStandard ML | 31 | 0 | 0 | 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 |
| PLSysSec/FaCT | OCamlCStandard ML | 188 | 0 | 12 | 0 |
| informatica-unica/lip | OCamlStandard ML | 1 | 0 | 45 | 0 |
| hwayne/lets-prove-leftpad | SystemVerilogCommon LispIsabelle | 580 | 0 | 56 | 0 |
| apache/netbeans | JavaStandard MLHTML | 2.4k | 0 | 802 | 0 |
| avsm/eeww | OCamlCShell | 23 | 0 | 4 | 0 |
| bcc32/advent-of-code | OCamlRubyStandard ML | 5 | 0 | 0 | 0 |
| janestreet/hardcaml | OCamlCStandard ML | 562 | 0 | 35 | 0 |
| skolemlabs/ppx_expjs | OCamlJavaScriptStandard ML | 10 | 0 | 0 | 0 |
| RoiTief/Compi_HW2_tester | Standard MLOCaml | 0 | 0 | 3 | 0 |
| remixlabs/wasicaml | OCamlCShell | 127 | 0 | 3 | 0 |
| mattmight/advent-of-code-2022 | LuaStandard MLC++ | 50 | 0 | 4 | 0 |