repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
janestreet/base | OCamlOther | 740 | +3 | 102 | 0 |
facebook/hhvm | C++HackOCaml | 17.8k | +3 | 3.2k | +1 |
robur-coop/miou | OCamlPerl | 56 | +3 | 2 | 0 |
MinaProtocol/mina | OCamlGoRust | 1.8k | +2 | 468 | +3 |
comby-tools/comby | OCamlShellStandard ML | 2.2k | +2 | 57 | 0 |
WebAssembly/gc | WebAssemblyPythonOCaml | 810 | +2 | 55 | 0 |
MetaCoq/metacoq | CoqOCamlMakefile | 301 | +2 | 71 | 0 |
sampsyo/bril | RustTypeScriptPython | 398 | +2 | 172 | 0 |
ToposInstitute/polytt | OCamlEmacs LispMakefile | 25 | +2 | 2 | +1 |
dmmulroy/ocaml-playlist-transfer | OCamlHTML | 42 | +2 | 1 | 0 |
FStarLang/karamel | OCamlF*C | 367 | +1 | 56 | 0 |
onivim/oni2 | ReasonCJavaScript | 7.7k | +1 | 276 | +1 |
udem-dlteam/ribbit | SchemeShellC | 392 | +1 | 40 | 0 |
Veridise/circom-coq | CoqMakefileOCaml | 31 | +1 | 3 | 0 |
ocaml-multicore/eio | OCamlCOther | 461 | +1 | 54 | 0 |
facebookresearch/miniF2F | Objective-C++IsabelleLean | 35 | +1 | 9 | 0 |
o1-labs/snarky | OCamlJavaScriptCSS | 462 | +1 | 72 | 0 |
ocurrent/ocaml-ci | OCamlJavaScriptCSS | 102 | +1 | 68 | +1 |
ocaml-gospel/gospel | OCamlRakuSourcePawn | 94 | +1 | 15 | 0 |
abrown/thread-spawn | WebAssemblyPythonOCaml | 3 | +1 | 0 | 0 |
ocaml-wasm/wasm_of_ocaml | OCamlJavaScriptWebAssembly | 141 | +1 | 2 | 0 |
hwxi/CS320-2023-Fall | OCamlPythonTeX | 4 | +1 | 5 | +1 |
openai/miniF2F | Objective-C++IsabelleLean | 209 | 0 | 40 | 0 |
ocaml/merlin | OCamlPerlEmacs Lisp | 1.5k | 0 | 226 | 0 |
WebAssembly/spec | WebAssemblyPythonOCaml | 3k | 0 | 456 | 0 |