OCaml

ORaftkomamitsu/oraft

An OCaml implementation of the Raft consensus algorithm for building fault-tolerant distributed systems.

benchmarkChris00/ocaml-benchmark

A module for measuring and comparing the run-time performance of OCaml functions.

Inspectkrohrer/caml-inspect

A library to inspect OCaml values and their object graph, outputting S-expressions or Graphviz DOT format.

MinicliUnixJunkie/minicli

A minimalist OCaml library for parsing command-line arguments with strict validation and clear error messages.

mCoqEngineeringSoftware/mcoq

Mutation analysis tool for Coq verification projects to detect incomplete specifications.

Mczifymath-comp/mczify

Extends Coq's zify tactic to support Mathematical Components library definitions for arithmetic solving.

Genprintprogman1/genprintlib

An OCaml PPX extension and library for general value printing within compiled programs, not just the REPL.

NprocMyLifeLabs/nproc

A process pool implementation for OCaml that enables parallel task execution across multiple cores using message-passing.

Dummjambon/dum

A debugging tool that prints OCaml values by inspecting their runtime memory representation.

ISO8601sagotch/ISO8601.ml

An OCaml library for parsing and printing date-times in ISO 8601 and RFC 3339 formats with permissive input handling.

Vim plugindef-lkb/ocp-indent-vim

Vim plugin that integrates ocp-indent for automatic OCaml code formatting.

MPIxavierleroy/ocamlmpi

OCaml bindings for the Message Passing Interface (MPI) library, enabling distributed-memory parallel programming in OCaml.

oasis2opamocaml/oasis2opam

Converts OASIS metadata to OPAM package descriptions for OCaml projects.

Cordova pluginsdannywillems/ocaml-cordova-plugin-list

A collection of OCaml bindings for Apache Cordova plugins, enabling typed mobile app development with OCaml.

Humane-rergrinberg/humane-re

A human-friendly OCaml regex library providing an easy interface for common string operations without C dependencies.

Coinductiondamien-pous/coinduction

A Coq library providing enhanced coinductive proof methods based on the 'companion' concept from coinduction theory.

cmonlet-def/cmon

An OCaml library for printing values with explicit sharing detection, mimicking OCaml syntax for debugging and logging.

Bignumscoq/bignums

A Coq library providing arbitrarily large integer and rational numbers (BigN, BigZ, BigQ) for formal verification.

cborygrek/ocaml-cbor

A native OCaml implementation of CBOR (Concise Binary Object Representation) decoder and encoder compliant with RFC 7049.

Uusegdbuenzli/uuseg

An OCaml library implementing Unicode text segmentation algorithms for grapheme cluster, word, sentence, and line break detection.

ocaml-fatmirage/ocaml-fat

Pure OCaml library for reading and writing FAT filesystems, primarily for creating bootable Mirage kernel disk images.

Uunfdbuenzli/uunf

An OCaml library for Unicode text normalization supporting all Unicode normalization forms.

tpfpqwy/tpf

A minimalist library for datatype-generic programming in OCaml, enabling functions that work across unrelated data types without runtime overhead.

Uucpdbuenzli/uucp

An OCaml library providing efficient access to Unicode character properties from the Unicode character database.

bencodergrinberg/bencode

A pure OCaml library for reading and writing Bencode format, used in .torrent files.

odatehhugo/odate

A simple OCaml library for date and duration manipulation with format-based duration printing.

mikmatchmjambon/mikmatch

OCaml pattern-matching library extended with regular expressions for expressive text processing.

algomlpetitnau/algoml

A domain-specific language for specifying Algorand smart contracts, compiling to TEAL with declarative syntax and static checks.

OCaml Yeoman Generatormabrasil/generator-ocaml

A Yeoman generator that scaffolds OCaml modules with integrated build, test, and documentation tools.

RoosterizeEngineeringSoftware/roosterize

A neural network-based tool that suggests lemma names for Coq verification projects by analyzing serialized statements and elaborated terms.

Autosubst-ocamluds-psl/autosubst-ocaml

Generates Coq boilerplate code for handling binders, renaming, and substitutions in formal language metatheory.

Duffmirage/duff

Pure OCaml implementation of libXdiff for generating binary diffs, used by ocaml-git for storage optimization.

Sudokucoq-community/sudoku

A certified Sudoku solver implemented in Coq using a formalized Davis-Putnam procedure.

ghimsamoht/ghim

A command-line tool to manage GitHub issues by mapping them to a local git-based filesystem.

ocp-index-topreynir/ocp-index-top

A toplevel directive for looking up OCaml documentation using ocp-index.

Object detection convolutional neural network with OCaml (based on Owl)owlbarn/owl_mask_rcnn

An OCaml implementation of Mask R-CNN for object detection, segmentation, and classification using the Owl numerical library.