Top 50 Trending OCaml Projects
-
-
-
-
-
bincat
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
-
-
-
-
-
-
-
semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
-
-
-
-
-
-
Zarith
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.
-
-
-
-
-
GeneWeb
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.
-
-
drom
drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.
-
-
liquidsoap
Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.
-
-
-
-
-
-
-
-
-
-
-
-
-
mina
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security. (by MinaProtocol)
-
-
-
opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
-
-
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
-
-
-
-
Index
What are some of the trending open-source OCaml projects? This list will help you:
Project | Growth | |
---|---|---|
1 | riot | 21.9% |
2 | wasm_of_ocaml | 5.5% |
3 | saturn | 5.3% |
4 | austral | 3.9% |
5 | alcotest | 3.6% |
6 | bincat | 3.5% |
7 | melange | 3.4% |
8 | coq-of-ocaml | 3.4% |
9 | hardcaml | 3.3% |
10 | ocaml5-tutorial | 2.6% |
11 | owl | 2.6% |
12 | domainslib | 2.5% |
13 | semgrep | 2.4% |
14 | lem | 2.4% |
15 | motoko | 2.3% |
16 | ocaml-lsp | 2.3% |
17 | ocaml-re | 2.3% |
18 | vult | 1.9% |
19 | Zarith | 1.9% |
20 | dune | 1.9% |
21 | eioio | 1.8% |
22 | mldoc | 1.8% |
23 | bonsai | 1.8% |
24 | GeneWeb | 1.8% |
25 | sedlex | 1.7% |
26 | drom | 1.7% |
27 | 0install | 1.7% |
28 | liquidsoap | 1.7% |
29 | yojson | 1.6% |
30 | incremental | 1.6% |
31 | FaCT | 1.6% |
32 | ocaml | 1.5% |
33 | ocamlformat | 1.5% |
34 | ocurrent | 1.5% |
35 | easycrypt | 1.5% |
36 | stanc3 | 1.5% |
37 | ppx_deriving | 1.4% |
38 | patdiff | 1.4% |
39 | binsec | 1.4% |
40 | mirage | 1.3% |
41 | mina | 1.3% |
42 | tis-interpreter | 1.2% |
43 | magic-trace | 1.2% |
44 | opam | 1.2% |
45 | ocaml-cohttp | 1.2% |
46 | coq | 1.2% |
47 | mlang | 1.1% |
48 | ocaml-ctypes | 1.1% |
49 | comby | 1.1% |
50 | utop | 1.1% |