OCaml

repotechsstarsweeklyforksweekly
janestreet/baseOCamlOther740+31020
facebook/hhvmC++HackOCaml17.8k+33.2k+1
robur-coop/miouOCamlPerl56+320
MinaProtocol/minaOCamlGoRust1.8k+2468+3
comby-tools/combyOCamlShellStandard ML2.2k+2570
WebAssembly/gcWebAssemblyPythonOCaml810+2550
MetaCoq/metacoqCoqOCamlMakefile301+2710
sampsyo/brilRustTypeScriptPython398+21720
ToposInstitute/polyttOCamlEmacs LispMakefile25+22+1
dmmulroy/ocaml-playlist-transferOCamlHTML42+210
FStarLang/karamelOCamlF*C367+1560
onivim/oni2ReasonCJavaScript7.7k+1276+1
udem-dlteam/ribbitSchemeShellC392+1400
Veridise/circom-coqCoqMakefileOCaml31+130
ocaml-multicore/eioOCamlCOther461+1540
facebookresearch/miniF2FObjective-C++IsabelleLean35+190
o1-labs/snarkyOCamlJavaScriptCSS462+1720
ocurrent/ocaml-ciOCamlJavaScriptCSS102+168+1
ocaml-gospel/gospelOCamlRakuSourcePawn94+1150
abrown/thread-spawnWebAssemblyPythonOCaml3+100
ocaml-wasm/wasm_of_ocamlOCamlJavaScriptWebAssembly141+120
hwxi/CS320-2023-FallOCamlPythonTeX4+15+1
openai/miniF2FObjective-C++IsabelleLean2090400
ocaml/merlinOCamlPerlEmacs Lisp1.5k02260
WebAssembly/specWebAssemblyPythonOCaml3k04560
< PreviousNext >