Awesome List

Awesome Ocaml

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

ocaml-community/awesome-ocaml #awesome #ocaml #programming-language #resources
List stars
3,131
README repos
226
Indexed repos
223
List commits
639
Forks
177
Open issues
5

Tracked list growth

GitHub stars and default-branch commits for ocaml-community/awesome-ocaml.

Latest scan 2026-11-03 10:50

Likes history

GitHub stars

Commits history

Default branch commits

Indexed repositories

223 repos currently saved from this list.

No filters applied
Latest repo push 2026-11-03

Filter this list

Search within Awesome Ocaml or narrow by ecosystem and project health.

Search mode
Tune results
More filters Topics, tags, stack, license, files, age, archive status, and growth.
Ecosystem

Exact stored GitHub label, not a license audit. Verify terms upstream. NOASSERTION is unclassified, not permission to reuse. See a worked license-evidence example.

Files

Choose a suggestion or use commas to require multiple files.

Health

Uses known first-commit dates.

Momentum
Filters by observed commit-count growth over the repository's latest 7-day capture window. Repositories without a recent baseline are excluded.
Filters by observed GitHub star growth over the repository's latest 7-day capture window. Repositories without a recent baseline are excluded.

A smaller starting count can mean a larger percentage. Compare star-growth baselines before setting a threshold.

Reset filters
Highlighted

Open highlighted repo slot

Put your repository first

Promote a GitHub repo at the top of Awesome repository list views for 7 days.

microsoft/SLAyer

SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.

Archived
Stack
Updated
2016-07-14
Lists
1 list mention
First commit
2016-01-13
License
NOASSERTION
Issues
4 open
Forks
24
Commits
9 commits
Star growth, last 7 days
0 0.0%
Commit velocity, last 7 days
0 0.0%
OCamlPro/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.

Stack
Updated
2025-10-27
Lists
1 list mention
First commit
2020-08-17
License
NOASSERTION
Issues
51 open
Forks
24
Commits
353 commits
Star growth, last 7 days
0 0.0%
Commit velocity, last 7 days
0 0.0%
semgrep/pfff

pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source-to-source transformations such as refactorings on source code.

Archived
Updated
2026-02-05
Lists
1 list mention
First commit
2010-09-23
License
NOASSERTION
Issues
6 open
Forks
25
Commits
10,061 commits
Star growth, last 7 days
0 0.0%
Commit velocity, last 7 days
0 0.0%
LexiFi/gen_js_api

Easy OCaml bindings for Javascript libraries

Stack
Updated
2026-07-15
Lists
1 list mention
First commit
2015-03-27
License
MIT
Issues
12 open
Forks
30
Commits
556 commits
Star growth, last 7 days
0 0.0%
Commit velocity, last 7 days
0 0.0%
nrnrnr/qc--

Quick C-- compiler (no longer maintained)

Archived
Stack
Updated
2014-01-24
Lists
1 list mention
First commit
1999-08-18
License
Unknown
Issues
0 open
Forks
19
Commits
4,050 commits
Star growth, last 7 days
0 0.0%
Commit velocity, last 7 days
0 0.0%
stevenvar/OMicroB

An OCaml generic virtual machine for microcontrollers

Stack
Updated
2026-06-02
Lists
1 list mention
First commit
2017-04-11
License
NOASSERTION
Issues
8 open
Forks
27
Commits
493 commits
Star growth, last 7 days
0 0.0%
Commit velocity, last 7 days
0 0.0%
andrenth/sequoia

OCaml type-safe query builder with syntax tree extension

Stack
Updated
2022-12-23
Lists
1 list mention
First commit
2015-06-23
License
Unknown
Issues
10 open
Forks
16
Commits
77 commits
Star growth, last 7 days
0 0.0%
Commit velocity, last 7 days
0 0.0%
rleonid/oml

OCaml Math Library

Stack
Updated
2018-02-01
Lists
2 list mentions
First commit
2015-03-12
License
Apache-2.0
Issues
24 open
Forks
9
Commits
680 commits
Star growth, last 7 days
0 0.0%
Commit velocity, last 7 days
0 0.0%
mirage/ocaml-cow

Caml on the Web (COW) is a set of parsers and syntax extensions to let you manipulate HTML, CSS, XML, JSON and Markdown directly from OCaml code.

Stack
Updated
2023-12-07
Lists
1 list mention
First commit
2012-06-22
License
NOASSERTION
Issues
4 open
Forks
23
Commits
359 commits
Star growth, last 7 days
0 0.0%
Commit velocity, last 7 days
0 0.0%
xavierleroy/cryptokit

A library of cryptographic primitives (ciphers, hashes, etc) for OCaml

Stack
C
Updated
2026-09-07
Lists
1 list mention
First commit
2002-03-31
License
NOASSERTION
Issues
5 open
Forks
28
Commits
214 commits
Star growth, last 7 days
0 0.0%
Commit velocity, last 7 days
0 0.0%
dkim/rwo-lwt

Lwt Translations of the Async Code Examples in Real World OCaml

Stack
GitHub topics
Updated
2017-06-04
Lists
1 list mention
First commit
2017-05-01
License
CC0-1.0
Issues
0 open
Forks
6
Commits
28 commits
Star growth, last 7 days
0 0.0%
Commit velocity, last 7 days
0 0.0%