| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| mirage/irmin | OCamlCHTML | 1.7k | 0 | 157 | 0 |
| bgoodri/APSTA-GE-2123_2022 | StanRTeX | 2 | 0 | 10 | 0 |
| LPCIC/elpi | PrologOCamlAMPL | 242 | 0 | 29 | 0 |
| scalameta/scalafmt | ScalaShellJava | 1.4k | 0 | 274 | 0 |
| airbus-seclab/bincat | OCamlPythonC | 1.5k | 0 | 167 | 0 |
| moby/vpnkit | OCamlGoC | 1k | 0 | 205 | 0 |
| binsec/binsec | OCamlPythonC | 282 | 0 | 30 | 0 |
| mdsol/mauth-protocol-test-suite | Standard ML | 2 | 0 | 0 | 0 |
| AthenaFoundation/athena | Standard MLHTMLEmacs Lisp | 55 | 0 | 3 | 0 |
| batsh-dev-team/Batsh | OCamlBatchfileShell | 4.2k | 0 | 187 | 0 |
| spl/ivy | OCamlCPerl | 14 | 0 | 1 | 0 |
| fastpack/fastpack | OCamlJavaScriptStandard ML | 2.3k | 0 | 46 | 0 |
| logseq/mldoc | OCamlStandard MLJavaScript | 209 | 0 | 14 | 0 |
| rescript-lang/rescript-vscode | ReScriptOCamlTypeScript | 299 | 0 | 49 | 0 |
| GaloisInc/semmc | HaskellCPython | 35 | 0 | 7 | 0 |
| CakeML/cakeml | Standard MLOCamlHaskell | 855 | 0 | 76 | 0 |
| BohemiaInteractive/Arma-Reforger-Samples | Standard MLCSmalltalk | 218 | 0 | 46 | 0 |
| jtimonen/odemodeling | RStan | 24 | 0 | 1 | 0 |
| teikalang/teika | OCamlStandard MLNix | 284 | 0 | 5 | 0 |
| 15-150/sml-ast-checker | Standard MLShell | 2 | 0 | 0 | 0 |
| mmasztalerczuk/Others | AssemblyCPython | 1 | 0 | 0 | 0 |
| JuanLopezMartin/MRPCaseStudy | TeXStanCSS | 28 | 0 | 10 | 0 |
| seL4/isabelle | IsabelleStandard MLScala | 111 | 0 | 42 | 0 |
| shmmy/ProgLang1 | Standard MLJavaOCaml | 1 | 0 | 0 | 0 |
| davito0203/Undecimo_Semestre | TeXStandard MLF# | 0 | 0 | 1 | 0 |