Standard ML

repotechsstarsweeklyforksweekly
Cute-Dress/DressStandard MLRubyPython190+1550+4
facebook/inferOCamlSMTJava14.4k+142.2k+1
bcpierce00/unisonOCamlStandard MLObjective-C3.3k+11207+1
coq/coqOCamlCoqTeX4.4k+76260
facebook/pyre-checkOCamlPythonC6.5k+7458+3
cs3110/textbookOCamlMakefileLua573+7112+1
GoldenCheetah/GoldenCheetahStandard MLC++C1.7k+6470+2
austral/australOCamlTypeScriptPython833+6240
melange-re/melangeCOCamlReason652+541+1
MinaProtocol/minaOCamlGoRust1.8k+2468+3
comby-tools/combyOCamlShellStandard ML2.2k+2570
composer/getcomposer.orgStandard MLPHPTwig515+15420
Veridise/circom-coqCoqMakefileOCaml31+130
riscv/sail-riscvCoqIsabelleStandard ML324+1103+1
facebookresearch/miniF2FObjective-C++IsabelleLean35+190
hwxi/CS320-2023-FallOCamlPythonTeX4+15+1
openai/miniF2FObjective-C++IsabelleLean2090400
seL4/l4vIsabelleStandard MLHaskell47001000
dart-lang/languageTeXDartStandard ML2.4k01950
returntocorp/ocaml-tree-sitter-coreOCamlShellC590100
umd-cmsc330/cmsc330spring22OCamlRubyStandard ML260240
mirage/irminOCamlCHTML1.7k01570
LPCIC/elpiPrologOCamlAMPL2420290
scalameta/scalafmtScalaShellJava1.4k02740
airbus-seclab/bincatOCamlPythonC1.5k01670
Next >

Popular technologies

Popular topics