repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
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 |
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 |
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 |
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 |
fraidev/tornado | OCamlStandard MLNix | 57 | 0 | 0 | 0 |
T-Brick/molasses | Standard MLMakefile | 17 | 0 | 1 | 0 |