mnotty

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

• noise An OCaml implementation of the Noise Protocol Framework (rev 34)
• solo5-bindings-spt Solo5 sandboxed execution environment (spt target)
• nunchaku A counter-example finder for higher-order logic, designed to be used from various proof assistants
• search Simple, in-memory search library in pure OCaml
• ppx_typed_fields GADT-based field accessors and utilities
• lpd A Line Printer Daemon (LPD) server library written entirely in OCaml.
• pplumbing-pp-tty Build pretty printed documents for the user with [pp]
• zarr-eio Eio-aware API for Zarr
• sociaml-vcard vCard library for OCaml
• ppx_format Interpolate format strings
• dune-expand Tool to view ppx-expanded OCaml source files
• mirage-mtime Libraries and module types for a monotonic clock