Rocq Packages
Explore hundreds of open-source Rocq packages with their documentation
Publish a Package
opam
The OCaml and Rocq Package Manager
Opam is a source-based package manager for OCaml and Rocq. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow
-
506
Packages
-
8
New packages this month
-
3
Updates this week
packages
Most Used
coq-mathcomp-ssreflect
Compatibility package for rocq-mathcomp-ssreflect
coq-mathcomp-algebra
Compatibility package for rocq-mathcomp-algebra
coq-flocq
A formalization of floating-point arithmetic for the Coq system
coq-hierarchy-builder
Compatibility package for rocq-hierarchy-builder
coq-ext-lib
A library of Coq definitions, theorems, and tactics
New Packages
rocq-parseque
Total parser combinators in Rocq/Coq
rocq-num-analysis-algebra
Algebraic structures for numerical analysis in Rocq
rocq-num-analysis-fem
The finite element method
rocq-num-analysis-lax-milgram
Lax-Milgram theorem
rocq-num-analysis-lebesgue
Lebesgue integral
community
Start Contributing
Learn how to publish your first Opam package today and make it available to the rest of the community.
