nanomsg bindings for ocaml
Repository Index
47,133 repositories indexed
121–144 of 170 · Most stars
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
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
- ocaml
- pcre
- pattern-matching
- string-matching
Benchmarking module for OCaml
Library of Raft consensus algorithm implemented in OCaml
- ocaml
- raft-consensus-algorithm
- raft
- consensus-algorithm
Inspection of internal value representations and the object graph
Minimalist OCaml library for command line parsing
- ocaml-library
- command-line-interface
- cli
- minimalist
general value printing within compiled programs
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
The repository host gives no description.
Unicode text normalization for OCaml
A library for printing OCaml values with sharing
Tool to convert OASIS metadata to OPAM package descriptions
Unicode text segmentation for OCaml
Read and write FAT format filesystems from OCaml
The human friendly interface to ocaml-re
OCaml CBOR generic decoder/encoder, RFC 7049, http://cbor.io/
Bencode (.torrent file format) reader/writer in OCaml
Unicode character properties for OCaml
date and duration in ocaml
OCaml pattern-matching extended with regexps (unmaintained)