Extensible binary data format, like JSON but faster
Repository Index
47,133 repositories indexed
49–67 of 67 · Most stars
LexiFi runtime types
A dumb OCaml logger
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
Minimalist OCaml library for command line parsing
- ocaml-library
- command-line-interface
- cli
- minimalist
An HTML documentation generator for Coq source files
OCaml/MPI interface
Unicode text normalization for OCaml
Unicode text segmentation for 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)"]
The repository host gives no description.
- ocaml
- hacktoberfest
- toplevel
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
Import and export CommonJS modules in js_of_ocaml
The dumb OCaml key-value store
- ocaml-library
- nosql
- persistent-storage
- hash-table
Minimalistic monad syntax for OCaml.
A PlantUML to XML converter
- automation
- converter
- document
- ocaml