gospel
A tool-agnostic formal specification language for OCaml
opam install gospel More in OCaml packages
All 500- OCADml Types and functions for building CAD packages in OCaml
- 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
- bark Unofficial OCaml port of elm/parser (v1.1.0)
- 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