Sign in
← All awesome lists Search these repos

Awesome List

Awesome Ocaml

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

ocaml-community/awesome-ocaml #awesome #ocaml #programming-language #resources
Open GitHub
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

1 repo matching these filters.

Topic: dependent-types
Latest repo push 2026-11-03

Filter this list

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

Clear 1 refinement
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.

rocq-prover/rocq

The Rocq Prover is an interactive theorem prover, or proof assistant. 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.

Stack
OCaml
GitHub topics
#coq #dependent-types #proof-assistant #theorem-proving
Updated
2026-11-03
Lists
1 list mention
First commit
1999-08-16
License
LGPL-2.1
Issues
2,201 open
Sign in to like rocq-prover/rocq
5,656
stars
Forks
771
Commits
49,305 commits
Star growth, last 7 days
0 0.0%
Commit velocity, last 7 days
0 0.0%
Website GitHub