# Dépôts OCaml, page 7 [Accueil](https://repo.masters-masters.com/) › [Langages](https://repo.masters-masters.com/languages) › [OCaml](https://repo.masters-masters.com/languages/ocaml) Les 447 dépôts OCaml open source de RepoMasters, du plus étoilé au moins étoilé : étoiles GitHub, rang et carte à collectionner de chacun. Page 7 sur 15 ## Dépôts OCaml, page 7 447 dépôts OCaml au catalogue, du plus étoilé au moins étoilé. - [janestreet/patdiff · ★ 253 · OCaml · Alpha](https://repo.masters-masters.com/repos/janestreet/patdiff) - [backtracking/ocamlgraph · ★ 253 · OCaml · Alpha](https://repo.masters-masters.com/repos/backtracking/ocamlgraph) - [rescript-lang/syntax · ★ 253 · OCaml · Alpha](https://repo.masters-masters.com/repos/rescript-lang/syntax) - [nlsandler/nqcc2 · ★ 253 · OCaml · Alpha](https://repo.masters-masters.com/repos/nlsandler/nqcc2) - [RedPRL/cooltt · ★ 251 · OCaml · Alpha](https://repo.masters-masters.com/repos/RedPRL/cooltt) - [lukaszcz/coqhammer · ★ 249 · OCaml · Prototype](https://repo.masters-masters.com/repos/lukaszcz/coqhammer) - [Zilliqa/scilla · ★ 249 · OCaml · Prototype](https://repo.masters-masters.com/repos/Zilliqa/scilla) - [arthaud/c2bf · ★ 248 · OCaml · Prototype](https://repo.masters-masters.com/repos/arthaud/c2bf) - [anmonteiro/reason-graphql-fullstack · ★ 245 · OCaml · Prototype](https://repo.masters-masters.com/repos/anmonteiro/reason-graphql-fullstack) - [alavrik/piqi · ★ 244 · OCaml · Prototype](https://repo.masters-masters.com/repos/alavrik/piqi) - [bsansouci/bsb-native · ★ 244 · OCaml · Prototype](https://repo.masters-masters.com/repos/bsansouci/bsb-native) - [awslabs/s2n-bignum · ★ 242 · OCaml · Prototype](https://repo.masters-masters.com/repos/awslabs/s2n-bignum) - [Deducteam/Dedukti · ★ 241 · OCaml · Prototype](https://repo.masters-masters.com/repos/Deducteam/Dedukti) - [mirage/qubes-mirage-firewall · ★ 240 · OCaml · Prototype](https://repo.masters-masters.com/repos/mirage/qubes-mirage-firewall) - [montyly/gueb · ★ 238 · OCaml · Prototype](https://repo.masters-masters.com/repos/montyly/gueb) - [g2p/git-fs · ★ 237 · OCaml · Prototype](https://repo.masters-masters.com/repos/g2p/git-fs) - [hackwaly/ocamlearlybird · ★ 237 · OCaml · Prototype](https://repo.masters-masters.com/repos/hackwaly/ocamlearlybird) - [mirage/mirage-skeleton · ★ 236 · OCaml · Prototype](https://repo.masters-masters.com/repos/mirage/mirage-skeleton) - [jnavila/plotkicadsch · ★ 234 · OCaml · Prototype](https://repo.masters-masters.com/repos/jnavila/plotkicadsch) - [ocaml-community/lambda-term · ★ 232 · OCaml · Prototype](https://repo.masters-masters.com/repos/ocaml-community/lambda-term) - [dysinger/restack · ★ 231 · OCaml · Prototype](https://repo.masters-masters.com/repos/dysinger/restack) - [janestreet/bonsai\_term · ★ 231 · OCaml · Prototype](https://repo.masters-masters.com/repos/janestreet/bonsai_term) - [johnwhitington/camlpdf · ★ 230 · OCaml · Prototype](https://repo.masters-masters.com/repos/johnwhitington/camlpdf) - [frenetic-lang/frenetic · ★ 229 · OCaml · Prototype](https://repo.masters-masters.com/repos/frenetic-lang/frenetic) - [janestreet/core\_kernel · ★ 228 · OCaml · Prototype](https://repo.masters-masters.com/repos/janestreet/core_kernel) - [pirapira/coq2rust · ★ 226 · OCaml · Prototype](https://repo.masters-masters.com/repos/pirapira/coq2rust) - [rescript-labs/decco · ★ 225 · OCaml · Prototype](https://repo.masters-masters.com/repos/rescript-labs/decco) - [inhabitedtype/ocaml-webmachine · ★ 224 · OCaml · Prototype](https://repo.masters-masters.com/repos/inhabitedtype/ocaml-webmachine) - [RedPRL/redtt · ★ 224 · OCaml · Prototype](https://repo.masters-masters.com/repos/RedPRL/redtt) - [jordwalke/rehp · ★ 223 · OCaml · Prototype](https://repo.masters-masters.com/repos/jordwalke/rehp) ## Page 7 sur 15 - [Page précédente](https://repo.masters-masters.com/languages/ocaml?page=6) - [Page suivante](https://repo.masters-masters.com/languages/ocaml?page=8) --- Données : GitHub