tallgeese
Enhanced SSH on OS X
opam install tallgeese More in OCaml packages
All 500- 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
- incr_select Handling of large set of incremental outputs from a single input
- 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
- base-implicits Dummy base package for compilers with modular implicits support.