opam

opam.ocaml.orgsite

Flexible and Git-friendly package manager for OCaml and Coq with multiple compiler support.

from

Coq

added

2026-10-10

likes

0

similar

1. ▲

   OPAM opam.ocamlpro.com

   site link ↗
   site
2. ▲

   coq-of-ocaml github.com

   tool link ↗
   
3. ▲

   coq github.com

   tool link ↗
   
4. ▲

   MetaOCaml okmij.org

   site link ↗
   site
5. ▲

   CoqOfOCaml github.com

   Tool for generating idiomatic Coq from OCaml code.

   tool link ↗
   
6. ▲

   oml github.com

   tool link ↗
   

Coq › Projects > Package and Build Management: “Flexible and Git-friendly package manager for OCaml and Coq with multiple compiler support.”