Pretty-printing library for OCaml
Repository Index
47,133 repositories indexed
25–38 of 38 · Most stars
A dumb OCaml logger
Non-blocking streaming Unicode codec for OCaml
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
Minimalist OCaml library for command line parsing
- ocaml-library
- command-line-interface
- cli
- minimalist
Parser and printer for date-times in ISO8601
- ocaml
- iso8601
- datetime
- parser
Unicode text normalization for OCaml
Unicode text segmentation for OCaml
Unicode character properties for OCaml
Unicode character database decoder for OCaml
Test::Simple, for OCaml
- ocaml
- testing
- unit-testing
Official OCaml port of Sqids. Generate short unique IDs from numbers.
- id-generator
- ocaml
- sqids
- hashids
The dumb OCaml key-value store
- ocaml-library
- nosql
- persistent-storage
- hash-table
Declarative terminal graphics for OCaml