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
-
487
Packages
-
17
New packages this month
-
15
Updates this week
packages
Most Used
coq-mathcomp-ssreflect
Small Scale Reflection
coq-mathcomp-algebra
Mathematical Components Library on Algebra
coq-flocq
A formalization of floating-point arithmetic for the Coq system
coq-ext-lib
A library of Coq definitions, theorems, and tactics
coq-hierarchy-builder
High level commands to declare and evolve a hierarchy based on packed classes
New Packages
rocq-vellvm
Rocq library implementing (executable) semantics for LLVM IR
rocq-yalla
Yalla library
rocq-metarocq-common
The common library of Template Rocq and PCUIC
rocq-metarocq-erasure-plugin
Implementation and verification of an erasure procedure for Rocq
rocq-metarocq-erasure
Implementation and verification of an erasure procedure for Rocq
Recently Updated
rocq-vellvm
Rocq library implementing (executable) semantics for LLVM IR
rocq-yalla
Yalla library
rocq-metarocq-common
The common library of Template Rocq and PCUIC
rocq-metarocq-erasure-plugin
Implementation and verification of an erasure procedure for Rocq
rocq-metarocq-erasure
Implementation and verification of an erasure procedure for Rocq
community
Start Contributing
Learn how to publish your first Opam package today and make it available to the rest of the community.
