repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
returntocorp/semgrep | OCamlPythonJava | 7.9k | +17 | 447 | -1 |
bcpierce00/unison | OCamlStandard MLObjective-C | 2.9k | +14 | 195 | 0 |
astrada/google-drive-ocamlfuse | OCamlOther | 5k | +14 | 349 | -2 |
tweag/topiary | OCamlSchemeRust | 126 | +12 | 0 | 0 |
HaxeFoundation/haxe | HaxeOCamlC | 5.4k | +9 | 641 | -1 |
reasonml/reason | OCamlReasonRaku | 9.8k | +9 | 445 | 0 |
facebook/flow | OCamlJavaScriptShell | 22k | +8 | 1.9k | 0 |
WebAssembly/spec | WebAssemblyPythonOCaml | 2.9k | +8 | 437 | +1 |
ocaml/ocaml | OCamlCShell | 4.3k | +8 | 986 | -1 |
facebook/infer | OCamlSMTJava | 13.9k | +6 | 1.9k | +5 |
onivim/oni2 | ReasonCJavaScript | 7.5k | +6 | 276 | 0 |
coq/coq | OCamlCoqTeX | 4.1k | +4 | 598 | +1 |
MinaProtocol/mina | OCamlReasonRust | 1.7k | +2 | 389 | +6 |
ocaml/opam | OCamlShellC++ | 1.1k | +2 | 330 | 0 |
dfinity/motoko | OCamlSwiftRust | 379 | +1 | 77 | +1 |
openai/miniF2F | Objective-C++IsabelleLean | 182 | 0 | 34 | 0 |
ocaml/merlin | OCamlPerlEmacs Lisp | 1.5k | 0 | 220 | 0 |
facebook/pyre-check | PythonOCamlC | 6.3k | 0 | 421 | 0 |
BinaryAnalysisPlatform/bap | OCamlCommon LispC++ | 1.8k | 0 | 268 | 0 |
ocaml/dune | OCamlPowerShellC | 1.3k | 0 | 337 | 0 |
FStarLang/FStar | F*OCamlPython | 2.4k | 0 | 226 | 0 |
rescript-lang/rescript-compiler | OCamlJavaScriptReScript | 6.1k | 0 | 422 | 0 |
FStarLang/karamel | OCamlF*C | 349 | 0 | 56 | 0 |
lichenscript/lichenscript | OCamlCJavaScript | 62 | 0 | 2 | 0 |
hmemcpy/milewski-ctfp-pdf | TeXReasonOCaml | 10.1k | 0 | 532 | 0 |