OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
- ocaml
- pcre
- pattern-matching
- string-matching
Repository Index
47,133 repositories indexed
169–192 of 234 · Most stars
Benchmarking module for OCaml
IO for Gallina
- coq
- ocaml
- extraction
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
Process pools for OCaml
Print OCaml values based on their runtime representation
Parser and printer for date-times in ISO8601
- ocaml
- iso8601
- datetime
- parser
OCaml/MPI interface
The repository host gives no description.
Runtime types for OCaml (beta version)
The MemCAD static analyzer
- abstract-interpretation
- static-analysis
- c
- shape-analysis
List of bindings in OCaml to cordova plugins.
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/
Trivial/Tagless Polytypic Functions