Dune

dune.buildsite

Composable and opinionated build system for OCaml and Coq (former jbuilder).

from

Coq

added

2026-10-10

likes

0

similar

1. ▲

   dune github.com

   tool link ↗
   
2. ▲

   coq-of-ocaml github.com

   tool link ↗
   
3. ▲

   obuild github.com

   tool link ↗
   
4. ▲

   coq github.com

   tool link ↗
   
5. ▲

   composable query builder github.com

   site link ↗
   site
6. ▲

   CoqOfOCaml github.com

   Tool for generating idiomatic Coq from OCaml code.

   tool link ↗
   

Coq › Projects > Package and Build Management: “Composable and opinionated build system for OCaml and Coq (former jbuilder).”