Standard ML

repotechsstarsweeklyforksweekly
dart-lang/languageTeXDartStandard ML2.4k+29195+2
bcpierce00/unisonOCamlStandard MLObjective-C3.2k+142060
facebook/inferOCamlSMTJava14.3k+132.2k+5
facebook/pyre-checkOCamlPythonC6.5k+74480
GoldenCheetah/GoldenCheetahStandard MLC++C1.6k+5460+1
coq/coqOCamlCoqTeX4.4k+36270
seL4/l4vIsabelleStandard MLHaskell469+2990
composer/getcomposer.orgStandard MLPHPTwig514+25430
hwayne/lets-prove-leftpadSystemVerilogCommon LispIsabelle579+2560
janestreet/hardcamlOCamlCStandard ML557+233+1
cil-project/cilOCamlCPerl334+2104+3
returntocorp/ocaml-tree-sitter-coreOCamlShellC57+190
batsh-dev-team/BatshOCamlBatchfileShell4.2k+11870
mukul-rathi/boltOCamlC++Standard ML477+148+1
pgRouting/pgroutingC++CPLpgSQL1k+13620
openai/miniF2FObjective-C++IsabelleLean2060390
MinaProtocol/minaOCamlGoRust1.8k04620
umd-cmsc330/cmsc330spring22OCamlRubyStandard ML260240
mirage/irminOCamlCHTML1.7k01570
LPCIC/elpiPrologOCamlAMPL2420290
scalameta/scalafmtScalaShellJava1.4k02760
airbus-seclab/bincatOCamlPythonC1.5k01660
moby/vpnkitOCamlGoC1k02050
comby-tools/combyOCamlShellStandard ML2.2k0570
austral/australOCamlTypeScriptPython8210240
Next >

Popular technologies

Popular topics