repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
dfinity/motoko | OCamlSwiftRust | 430 | 0 | 91 | 0 |
lichenscript/lichenscript | OCamlCJavaScript | 64 | 0 | 3 | 0 |
hmemcpy/milewski-ctfp-pdf | TeXReasonOCaml | 10.4k | 0 | 556 | 0 |
project-everest/everparse | F*OCamlRoff | 224 | 0 | 8 | 0 |
yallop/ocaml-charset | OCamlMakefilePython | 19 | 0 | 0 | 0 |
marigold-dev/deku | OCamlTypeScriptShell | 82 | 0 | 16 | 0 |
returntocorp/ocaml-tree-sitter-core | OCamlShellC | 59 | 0 | 10 | 0 |
grain-lang/grain | ReasonOCamlOther | 3k | 0 | 110 | 0 |
colis-anr/morbig | OCamlShellC | 183 | 0 | 8 | 0 |
goblint/analyzer | OCamlCPerl | 135 | 0 | 61 | 0 |
umd-cmsc330/cmsc330spring22 | OCamlRubyStandard ML | 26 | 0 | 24 | 0 |
mirage/irmin | OCamlCHTML | 1.7k | 0 | 157 | 0 |
mirage/mirage | OCamlPerlOther | 2.2k | 0 | 243 | 0 |
mmmdbybyd/CLNC | OCaml | 384 | 0 | 148 | 0 |
geocaml/ocaml-geojson | OCaml | 35 | 0 | 9 | 0 |
LPCIC/elpi | PrologOCamlAMPL | 242 | 0 | 29 | 0 |
airbus-seclab/bincat | OCamlPythonC | 1.5k | 0 | 167 | 0 |
revery-ui/revery | ReasonCC++ | 8.1k | 0 | 207 | 0 |
moby/vpnkit | OCamlGoC | 1k | 0 | 205 | 0 |
groupoid/alonzo | OCaml | 14 | 0 | 1 | 0 |
math-comp/math-comp | CoqTeXOCaml | 509 | 0 | 106 | 0 |
doomeer/kalandralang | OCamlMakefile | 54 | 0 | 4 | 0 |
jardon-u/miniprojs | AssemblyTeXC++ | 1 | 0 | 0 | 0 |
owlbarn/owl | OCamlC | 1.1k | 0 | 121 | 0 |
binsec/binsec | OCamlPythonC | 282 | 0 | 30 | 0 |