OCADml
Types and functions for building CAD packages in OCaml
opam install OCADml More in OCaml packages
All 500- mstruct A mutable interface to Cstruct buffers
- capnp OCaml code generation plugin for the Cap'n Proto serialization framework
- ortac-dune Generate dune rules for other ortac plugins
- conf-mesa Virtual package relying on an mesa system installation
- posix-types Bindings for the types defined in <sys/types.h>
- combine Combine is a library for combinatorics problem solving.
- 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