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

  • 6

    Updates this week

community

Start Contributing

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