Extensible binary data format, like JSON but faster
Repository Index
47,133 repositories indexed
73–96 of 107 · Most stars
Pretty-printing library for OCaml
RSS and Atom feed parsing
OCaml library for combinatorics
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
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
- ocaml
- pcre
- pattern-matching
- string-matching
Inspection of internal value representations and the object graph
An HTML documentation generator for Coq source files
Print OCaml values based on their runtime representation
Parser and printer for date-times in ISO8601
- ocaml
- iso8601
- datetime
- parser
Unicode text normalization for OCaml
Tool to convert OASIS metadata to OPAM package descriptions
Unicode text segmentation for OCaml
Read and write FAT format filesystems from OCaml
Bencode (.torrent file format) reader/writer in OCaml
date and duration in ocaml
OCaml pattern-matching extended with regexps (unmaintained)
Pure OCaml implementation of libXdiff (Rabin's fingerprint)
A simple OCaml ppx filter to support string interpolation like [%str "value of foo is $(foo)"]
OCaml implementation of the MQTT pubsub protocol.
OCaml library designed to streamline the process of validating records, variants, lists, or values. It primarily operates through a PPX deriver that automatically generates validators.
- validation
Implementation of the Mask R-CNN model using OCaml's numerical library Owl.
CUID generator for OCaml. :id: :camel: :1234: :gear:
- cuid
- ocaml
Unicode character database decoder for OCaml