Statistics for language OCaml

RepositoryStats tracks 584,785 Github repositories, of these 705 are reported to use a primary language of OCaml.

Most starred repositories for language OCaml (view more)

facebook
flow facebook
1.9k
22.1k
mit
386
Adds static typing to JavaScript to improve developer productivity and code quality.
Created 2014-10-28
18,517 commits to main branch, last one 16 hours ago
facebook
infer facebook
2.0k
15.0k
mit
602
A static analyzer for Java, C, C++, and Objective-C
c cpp java objective-c code-quality static-analysis static-code-analysis
Created 2015-01-26
14,399 commits to main branch, last one 20 hours ago
semgrep
semgrep semgrep
626
10.7k
lgpl-2.1
104
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
c go r2c java ruby sast python semgrep javascript typescript static-analysis static-code-analysis
Created 2019-12-13
8,076 commits to develop branch, last one a day ago
reasonml
reason reasonml
428
10.2k
mit
169
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
ocaml reason reasonml javascript programming-language
Created 2015-11-16
2,115 commits to master branch, last one 4 days ago
facebook
pyre-check facebook
437
6.9k
mit
114
Performant type-checking for python.
ocaml python security type-check typechecker code-quality taint-analysis static-analysis program-analysis control-flow-analysis abstract-interpretation
Created 2017-11-10
17,017 commits to main branch, last one 22 hours ago
astrada
google-drive-ocamlfuse astrada
354
5.6k
mit
147
FUSE filesystem over Google Drive
fuse ocaml filesystem google-drive
Created 2012-06-19
681 commits to beta branch, last one about a month ago

Trending repositories for language OCaml (view more)

Last 3 days (new repositories)
no newly created repositories trending in the last 3 days
Last 3 days (absolute gain)
janestreet
janestreet/magic-trace

magic-trace collects and displays high-resolution traces of what a process is doing

4,674 (+21)
mit
semgrep
semgrep/semgrep

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

10,669 (+14)
lgpl-2.1
bcpierce00
bcpierce00/unison

Unison file synchronizer

4,187 (+12)
gpl-3.0
ocaml
ocaml/ocaml

The core OCaml system: compilers, runtime system, base libraries

5,499 (+8)
KevenJAntenor
KevenJAntenor/Functional-Dynamics-in-OCaml

The project includes a variety of recursive functions to compute and manipulate sequences, count specific occurrences within lists, and apply transformations, demonstrating the elegance and power of f...

46 (+4)
Last 3 days (relative gain)
terrateamio
terrateamio/terrateam

Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, and Terragrunt operations via pull reque...

41 (+64%)
mpl-2.0
KevenJAntenor
KevenJAntenor/Functional-Dynamics-in-OCaml

The project includes a variety of recursive functions to compute and manipulate sequences, count specific occurrences within lists, and apply transformations, demonstrating the elegance and power of f...

46 (+10%)
rizo
rizo/helix

Build reactive web interfaces in OCaml.

63 (+3%)
chshersh
chshersh/github-tui

🌒 A TUI for GitHub

71 (+3%)
mpl-2.0
tjdevries
tjdevries/octane.ml

The fastest, hottest

76 (+3%)
Last week (new repositories)
no newly created repositories trending in the last week
Last week (absolute gain)
janestreet
janestreet/magic-trace

magic-trace collects and displays high-resolution traces of what a process is doing

4,674 (+39)
mit
semgrep
semgrep/semgrep

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

10,669 (+28)
lgpl-2.1
bcpierce00
bcpierce00/unison

Unison file synchronizer

4,187 (+20)
gpl-3.0
ocaml
ocaml/ocaml

The core OCaml system: compilers, runtime system, base libraries

5,499 (+19)
mazeppa-dev
mazeppa-dev/mazeppa

A modern supercompiler for call-by-value functional languages

393 (+14)
mit
Last week (relative gain)
terrateamio
terrateamio/terrateam

Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, and Terragrunt operations via pull reque...

41 (+116%)
mpl-2.0
KevenJAntenor
KevenJAntenor/Functional-Dynamics-in-OCaml

The project includes a variety of recursive functions to compute and manipulate sequences, count specific occurrences within lists, and apply transformations, demonstrating the elegance and power of f...

46 (+28%)
rossberg
rossberg/boulder-dash

A Boulder Dash clone in OCaml

27 (+17%)
gridbugs
gridbugs/climate

A declarative command-line parser for OCaml

28 (+12%)
mit
faldor20
faldor20/jj_tui

A TUI for the Jujutsu version control system

38 (+9%)
mit
Last month (new repositories)
rossberg
rossberg/boulder-dash

A Boulder Dash clone in OCaml

27
Last month (absolute gain)
semgrep
semgrep/semgrep

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

10,669 (+142)
lgpl-2.1
janestreet
janestreet/magic-trace

magic-trace collects and displays high-resolution traces of what a process is doing

4,674 (+77)
mit
bcpierce00
bcpierce00/unison

Unison file synchronizer

4,187 (+67)
gpl-3.0
ocaml
ocaml/ocaml

The core OCaml system: compilers, runtime system, base libraries

5,499 (+45)
tjdevries
tjdevries/octane.ml

The fastest, hottest

76 (+37)
Last month (relative gain)
terrateamio
terrateamio/terrateam

Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, and Terragrunt operations via pull reque...

41 (+128%)
mpl-2.0
tjdevries
tjdevries/octane.ml

The fastest, hottest

76 (+95%)
rossberg
rossberg/boulder-dash

A Boulder Dash clone in OCaml

27 (+93%)
KevenJAntenor
KevenJAntenor/Functional-Dynamics-in-OCaml

The project includes a variety of recursive functions to compute and manipulate sequences, count specific occurrences within lists, and apply transformations, demonstrating the elegance and power of f...

46 (+70%)
faldor20
faldor20/jj_tui

A TUI for the Jujutsu version control system

38 (+23%)
mit
Last 12-months (new repositories)
mazeppa-dev
mazeppa-dev/mazeppa

A modern supercompiler for call-by-value functional languages

393
mit
leostera
leostera/minttea

A fun little TUI framework for OCaml

364
mit
tjdevries
tjdevries/octane.ml

The fastest, hottest

76
chshersh
chshersh/pragmatic-category-theory

Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples

75
mit
chshersh
chshersh/github-tui

🌒 A TUI for GitHub

71
mpl-2.0
Last 12-months (absolute gain)
semgrep
semgrep/semgrep

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

10,669 (+1,614)
lgpl-2.1
bcpierce00
bcpierce00/unison

Unison file synchronizer

4,187 (+843)
gpl-3.0
panglesd
panglesd/slipshow

An engine for displaying slips, the next-gen version of slides

657 (+635)
mit
ocaml
ocaml/ocaml

The core OCaml system: compilers, runtime system, base libraries

5,499 (+602)
facebook
facebook/infer

A static analyzer for Java, C, C++, and Objective-C

14,988 (+540)
mit
Last 12-months (relative gain)
panglesd
panglesd/slipshow

An engine for displaying slips, the next-gen version of slides

657 (+2,886%)
mit
nlsandler
nlsandler/nqcc2

Reference implementation for Writing a C Compiler

122 (+2,340%)
mit
dmmulroy
dmmulroy/create-melange-app

The fastest, friendliest, and most delightful way to get started with OCaml, ReasonML, and Melange, geared towards JavaScript and TypeScript developers

120 (+1,900%)
chshersh
chshersh/pragmatic-category-theory

Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples

75 (+1,775%)
mit
cmsc330spring24
cmsc330spring24/cmsc330spring24

No description

59 (+1,375%)