- Denmark
- https://janmidtgaard.dk
Stars
Explore OCaml is a centralised source of workflows for being productive with OCaml using the OCaml Platform
Library for binding to C libraries using pure OCaml
An implementation of the Transmission Control Protocol in OCaml
Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel
YOCaml is a static site generator, mostly written in OCaml
Ppx_deriving plugin for generating command line interfaces from types (Cmdliner.Term.t)
Library for declaratively building software-defined modular synthesizers in OCaml
Runtime assertion checking based on Gospel specifications
Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
Multi-platform CI for the OCaml compiler
Model_quickcheck: Model-based testing for imperative OCaml code
Realtime grep for OCaml/Coq sources available on opam
Experimental analyses for ReScript and OCaml: globally dead values/types, exception analysis, and termination analysis.
Detect operating system, distribution, version and architecture in OCaml