LexiFi runtime types
Repository Index
47,133 repositories indexed
145–168 of 207 · Most stars
A dumb OCaml logger
OCaml library for combinatorics
nanomsg bindings for ocaml
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
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)
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