bark

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

• dkml-dune-dsl-show An interpreter for the embedded DSL of Dune that shows the DSL as a real Dune file
• stele User-friendly syntax-error messages for any Menhir grammar
• ppx_hardcaml Rewrite OCaml records for use as Hardcaml Interfaces
• mirage-btrees An implementation of BTrees designed for use with MirageOS's BLOCK interface
• ocaml-src Compiler sources
• gospel A tool-agnostic formal specification language for OCaml
• osx-keychain Typed OCaml bindings to the macOS Keychain
• gettext Internationalization library (i18n)
• yaml Parse and generate YAML 1.1/1.2 files
• tofn Typed ordered fuzzy numbers
• mirage-clock-xen A Mirage-compatible Clock library for Xen
• rocq-runtime The Rocq Prover -- Core Binaries and Tools