plato

Extra Credit builds an outline of plato's docs the first time your work uses it. Until then, start at the official documentation.

• mirage-clock-xen A Mirage-compatible Clock library for Xen
• 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
• pf-qubes QubesOS firewall ruleset handling library
• conf-rust-wasm Virtual package relying on an installation of standard Rust libraries including development files, needed to cross-compile Rust programs to
• 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