OCaml

languages / OCaml
16,116Developers

Top ranked

RankDeveloperReposStars
1gravatar for facebookfacebook342,854
2gravatar for janestreetjanestreet23812,877
3gravatar for reasonmlreasonml310,511
4gravatar for miragemirage1679,871
5gravatar for returntocorpreturntocorp98,942
6gravatar for rescript-langrescript-lang56,583
7gravatar for astradaastrada155,499
8gravatar for coqcoq44,507
9gravatar for batsh-dev-teambatsh-dev-team24,260
10gravatar for ocaml-multicoreocaml-multicore293,310
30,299Repos

Top ranked

RankRepoStarsDeveloper
facebook/flow on Github1flow22,019facebook
facebook/infer on Github2infer14,353facebook
reasonml/reason on Github3reason9,937reasonml
returntocorp/semgrep on Github4semgrep8,844returntocorp
facebook/pyre-check on Github5pyre-check6,482facebook
rescript-lang/rescript-compiler on Github6rescript-compiler6,254rescript-lang
astrada/google-drive-ocamlfuse on Github7google-drive-ocamlfuse5,146astrada
coq/coq on Github8coq4,373coq
batsh-dev-team/Batsh on Github9Batsh4,230batsh-dev-team
janestreet/magic-trace on Github10magic-trace4,163janestreet
0Topics

Most popular

TopicReposStars