incr_select
Handling of large set of incremental outputs from a single input
opam install incr_select More in OCaml packages
All 500- 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
- octez-smart-rollup-node-PtParisB Protocol specific (for 019-PtParisB) library for smart rollup node
- tallgeese Enhanced SSH on OS X
- htmlfromtexbooks From TeX To Human-Readable HTML
- conf-gtksourceview3 Virtual package relying on a GtkSourceView-3 system installation
- decoders-msgpck Msgpck backend for decoders
- dune-rpc-lwt Communicate with dune using rpc and Lwt
- ppx_bsx ReasonReact JSX for OCaml