OCaml library for reporting metrics to a Prometheus server
- metrics
- mirageos
- ocaml
Repository Index
47,133 repositories indexed
97–120 of 154 · Most stars
Multilingualization for the OCaml source code
Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.
- liquid
- ocaml
- parser-combinators
- shopify
Type-safe library for building parallel applications, built on top of Async's Rpc module.
A library to build and execute typed scientific workflows
Pure OCaml implementation of the "vchan" shared-memory communication protocol
Path-based dispatching for client- and server-side applications.
- web
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
Pretty-printing library for OCaml
The repository host gives no description.
RSS and Atom feed parsing
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
A library for printing OCaml values with sharing