volgo-git-backend
An IO-free library that parses the output of Git commands
opam install volgo-git-backend More in OCaml packages
All 500- orthologic-coq A plugin to add orthologic-based tactics to Coq
- unix-dirent ocaml-unix-dirent provides access to the features exposed in dirent.h
- ahrocksdb A binding to RocksDB
- channel MirageOS channels
- gitlab-unix GitLab APIv4 OCaml library
- loc Representing ranges of lexing positions from parsed files
- 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
- farith Floating point numbers library extracted from the Flocq Coq Library
- conf-tcl Virtual package relying on tcl