Archive for all Rocq and Coq-related opam packages organized in various repositories
-
Updated
Sep 29, 2026 - OCaml
#
opam-repository
Here are 12 public repositories matching this topic...
Turn opam-based OCaml projects into Nix derivations
-
Updated
Sep 17, 2026 - Nix
Custom OPAM repository for SATySFi libraries managed by Satyrographos
-
Updated
Apr 29, 2026 - Shell
A repository of MetaOCaml packages
-
Updated
Jan 25, 2026
Custom OPAM repository for external libraries of SATySFi
-
Updated
Apr 12, 2026
OCaml SDK for the Datastar hypermedia framework
-
Updated
Apr 12, 2026 - OCaml
Main public package repository for OPAM, the source package manager of OCaml
-
Updated
Nov 15, 2024
Design of 2nd Order Active HPF and LPF using LTspice.
-
Updated
Apr 11, 2026
-
Updated
Sep 21, 2026 - OCaml
2 Stage OPAM with Miller compensation using Skywater 130nm
-
Updated
Sep 26, 2024
Add this topic to your repo
To associate your repository with the opam-repository topic, visit your repo's landing page and select "manage topics."