Extra Credit
farith
Floating point numbers library extracted from the Flocq Coq Library
Official docs outline
Extra Credit builds an outline of farith's docs the first time your work uses it. Until then, start at the official documentation.
More in OCaml packages
All 500- loc Representing ranges of lexing positions from parsed files
- volgo-git-backend An IO-free library that parses the output of Git commands
- dump_ocamlformat Dump preset configuration files for ocamlformat
- mirage-bootvar-solo5 Solo5 implementation of MirageOS Bootvar interface
- proc-smaps Proc-smaps: An ocaml parser of /proc/[pid]/smaps
- note Declarative events and signals for OCaml
- conf-tcl Virtual package relying on tcl
- dbm Binding to the NDBM/GDBM Unix "databases"
- xapi-stdext-threads Xapi's standard library extension, Threads
- tezos-012-Psithaca-test-helpers Tezos/Protocol: protocol testing framework
- opam2web Tool to generate the opam.ocaml.org website
- octez-baker-PtParisB Tezos/Protocol: baker binary