pf-qubes
QubesOS firewall ruleset handling library
opam install pf-qubes More in OCaml packages
All 500- rocq-runtime The Rocq Prover -- Core Binaries and Tools
- ocaml-gist A tool to create online OCaml gist experiences for the web
- opam-custom-install An opam plugin to install a package using a custom command
- horned_worm An easy functional Web app micro framework
- cosovo An OCaml library parsing CSV files
- plato Python Library Adapted To OCaml
- conf-rust-wasm Virtual package relying on an installation of standard Rust libraries including development files, needed to cross-compile Rust programs…
- restricted Limit which system operations and which parts of the filesystem your program can access
- rocq-devtools Development tools for Rocq
- rocq-core The Rocq Prover with its prelude
- mpris-clients Client implementations of the MPRIS D-Bus media player interface
- tezos-protocol-020-PsParisC Tezos protocol 020-PsParisC package