Statistics for language OCaml

RepositoryStats tracks 596,221 Github repositories, of these 714 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,631 commits to main branch, last one a day 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,528 commits to main branch, last one a day ago
semgrep
semgrep semgrep
635
10.8k
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,170 commits to develop branch, last one 3 days ago
reasonml
reason reasonml
428
10.2k
mit
168
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
ocaml reason reasonml javascript programming-language
Created 2015-11-16
2,124 commits to master branch, last one 19 days ago
facebook
pyre-check facebook
438
6.9k
mit
115
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,598 commits to main branch, last one a day ago
astrada
google-drive-ocamlfuse astrada
356
5.6k
mit
147
FUSE filesystem over Google Drive
fuse ocaml filesystem google-drive
Created 2012-06-19
682 commits to beta branch, last one 14 days ago

Trending repositories for language OCaml (view more)

Last 3 days (new repositories)
moonbitlang
moonbitlang/moonbit-compiler

No description

354
Last 3 days (absolute gain)
moonbitlang
moonbitlang/moonbit-compiler

No description

354 (+169)
semgrep
semgrep/semgrep

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

10,819 (+9)
lgpl-2.1
bcpierce00
bcpierce00/unison

Unison file synchronizer

4,247 (+7)
gpl-3.0
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...

416 (+5)
mpl-2.0
yawaramin
yawaramin/dream-html

Render HTML, SVG, MathML, htmx markup from your OCaml app

166 (+3)
gpl-3.0
Last 3 days (relative gain)
moonbitlang
moonbitlang/moonbit-compiler

No description

354 (+91%)
mirage
mirage/capnp-rpc

Cap'n Proto RPC implementation

104 (+2%)
yawaramin
yawaramin/dream-html

Render HTML, SVG, MathML, htmx markup from your OCaml app

166 (+2%)
gpl-3.0
chshersh
chshersh/github-tui

🌒 A TUI for GitHub

80 (+1%)
mpl-2.0
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...

416 (+1%)
mpl-2.0
Last week (new repositories)
moonbitlang
moonbitlang/moonbit-compiler

No description

354
Last week (absolute gain)
moonbitlang
moonbitlang/moonbit-compiler

No description

354 (+169)
semgrep
semgrep/semgrep

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

10,819 (+29)
lgpl-2.1
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...

416 (+14)
mpl-2.0
bcpierce00
bcpierce00/unison

Unison file synchronizer

4,247 (+12)
gpl-3.0
MinaProtocol
MinaProtocol/mina

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

2,013 (+9)
apache-2.0
Last week (relative gain)
moonbitlang
moonbitlang/moonbit-compiler

No description

354 (+91%)
chshersh
chshersh/pragmatic-category-theory

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

87 (+5%)
mit
chshersh
chshersh/github-tui

🌒 A TUI for GitHub

80 (+4%)
mpl-2.0
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...

416 (+3%)
mpl-2.0
ocaml-multicore
ocaml-multicore/saturn

Lock-free data structures for multicore OCaml

219 (+2%)
isc
Last month (new repositories)
moonbitlang
moonbitlang/moonbit-compiler

No description

354
Last month (absolute 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...

416 (+346)
mpl-2.0
moonbitlang
moonbitlang/moonbit-compiler

No description

354 (+169)
janestreet
janestreet/bonsai

A library for building dynamic webapps, using Js_of_ocaml

523 (+156)
mit
semgrep
semgrep/semgrep

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

10,819 (+143)
lgpl-2.1
janestreet
janestreet/magic-trace

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

4,736 (+60)
mit
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...

416 (+494%)
mpl-2.0
moonbitlang
moonbitlang/moonbit-compiler

No description

354 (+91%)
janestreet
janestreet/bonsai

A library for building dynamic webapps, using Js_of_ocaml

523 (+43%)
mit
UChicago-PL
UChicago-PL/smyth

Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.

53 (+29%)
mit
chshersh
chshersh/pragmatic-category-theory

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

87 (+13%)
mit
Last 12-months (new repositories)
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...

416
mpl-2.0
mazeppa-dev
mazeppa-dev/mazeppa

A modern supercompiler for call-by-value functional languages

396
mit
moonbitlang
moonbitlang/moonbit-compiler

No description

354
chshersh
chshersh/pragmatic-category-theory

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

87
mit
tjdevries
tjdevries/octane.ml

The fastest, hottest

82
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,819 (+1,627)
lgpl-2.1
bcpierce00
bcpierce00/unison

Unison file synchronizer

4,247 (+850)
gpl-3.0
panglesd
panglesd/slipshow

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

663 (+641)
mit
ocaml
ocaml/ocaml

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

5,548 (+594)
facebook
facebook/infer

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

15,033 (+512)
mit
Last 12-months (relative gain)
panglesd
panglesd/slipshow

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

663 (+2,914%)
mit
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...

416 (+2,211%)
mpl-2.0
chshersh
chshersh/pragmatic-category-theory

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

87 (+2,075%)
mit
nlsandler
nlsandler/nqcc2

Reference implementation for Writing a C Compiler

126 (+1,475%)
mit
cmsc330spring24
cmsc330spring24/cmsc330spring24

No description

59 (+1,375%)