Projects in Awesome Lists tagged with opam-repository
A curated list of projects in awesome lists tagged with opam-repository .
https://github.com/rocq-prover/opam
Archive for all Rocq and Coq-related opam packages organized in various repositories
coq opam opam-repository rocq-prover
Last synced: 12 Apr 2025
https://github.com/tweag/opam-nix
Turn opam-based OCaml projects into Nix derivations
nix ocaml opam opam-repository
Last synced: 01 May 2025
https://github.com/coq/opam
Archive for all Coq related OPAM packages organized in various repositories
Last synced: 25 Mar 2025
https://github.com/na4zagin3/satyrographos-repo
Custom OPAM repository for SATySFi libraries managed by Satyrographos
Last synced: 14 Apr 2025
https://github.com/gfngfn/satysfi-external-repo
Custom OPAM repository for external libraries of SATySFi
ocaml opam opam-repository satysfi
Last synced: 13 Feb 2025
