Rocq Packages

Explore hundreds of open-source Rocq packages with their documentation

Publish a Package

Learn how to publish your first opam package today and make it available to the rest of the community

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

467

Packages
1

New packages this month
3

Updates this week

packages

Most Used

coq-mathcomp-ssreflect

Small Scale Reflection

Used by 41 other packages

coq-mathcomp-algebra

Mathematical Components Library on Algebra

Used by 29 other packages

coq-flocq

A formalization of floating-point arithmetic for the Coq system

Used by 16 other packages

coq-hierarchy-builder

High level commands to declare and evolve a hierarchy based on packed classes

Used by 13 other packages

coq-ext-lib

A library of Coq definitions, theorems, and tactics

Used by 12 other packages

New Packages

coq-hol-light-real-with-N

Definition of HOL-Light real numbers in Coq using N

5 days ago

Focus on Your Code and Formal Artifacts, opam Takes Care of Distributing Them

Our users have the highest standards for the OCaml and Rocq ecosystems to run mission-critical applications across a variety of operating systems and to maintain consistency of Rocq formal artifacts. They expect that a package that compiles today will still work a decade from now

Continuous Integration

Before any package update, we run sandboxed matrix builds for boundaries of the dependencies and for each of the dependent packages. A package publication will never break the rest of the ecosystem.

State of the Art

Opam supports publishing multiple versions of packages simultaneously to specify the version constraints, so only compatible revisions are chosen for a build. It comes with a performant constraint solver, a flexible CLI, a well-specified metadata format, and an easy access to the package manager logic via OCaml libraries.

Package Stability

The opam project and package repository is maintained by a team of developers who ensure that everything is not only running smoothly, but also curated to maintain a high degree of metadata quality. This makes it one of the most stable package repositories available today.

community

Start Contributing

Learn how to publish your first Opam package today and make it available to the rest of the community.