OCaml bindings to MariaDB, supporting the nonblocking API
Repository Index
47,133 repositories indexed
49–72 of 78 · Most stars
OCaml library for reporting metrics to a Prometheus server
- metrics
- mirageos
- ocaml
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
RSS and Atom feed parsing
OCaml library for combinatorics
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
An HTML documentation generator for Coq source files
Tool to convert OASIS metadata to OPAM package descriptions
The human friendly interface to ocaml-re
Bencode (.torrent file format) reader/writer in OCaml
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language
A simple OCaml ppx filter to support string interpolation like [%str "value of foo is $(foo)"]
OCaml implementation of the MQTT pubsub protocol.
The repository host gives no description.
- ocaml
- hacktoberfest
- toplevel
A command-line tool to manage Github Issues
OCaml library designed to streamline the process of validating records, variants, lists, or values. It primarily operates through a PPX deriver that automatically generates validators.
- validation
CUID generator for OCaml. :id: :camel: :1234: :gear:
- cuid
- ocaml
OCaml library for forking child processes to perform work on multiple cores
OCaml implementation of MySQL/MariaDB protocol with the Bitstring library
Official OCaml port of Sqids. Generate short unique IDs from numbers.
- id-generator
- ocaml
- sqids
- hashids