Repository Index

OCaml library for reporting metrics to a Prometheus server

• metrics
• mirageos
• ocaml

OCaml PPX deriver for reflection

Multilingualization for the OCaml source code

Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.

• liquid
• ocaml
• parser-combinators
• shopify

OpenID Connect implementation in OCaml. Currently only the RP (client) parts are polished.

• ocaml
• oidc
• oidc-client

Type-safe library for building parallel applications, built on top of Async's Rpc module.

A library to build and execute typed scientific workflows

• ocaml
• bioinformatics
• computational-biology
• workflow

Type and doc on hover for OCaml and Reason in emacs

• emacs
• ocaml
• reasonml

Pure OCaml implementation of the "vchan" shared-memory communication protocol

A fully-modular OCaml style linter

Path-based dispatching for client- and server-side applications.

• web

Old Coq plugin for parametricity [maintainer=@ppedrot]

• parametricity
• coq-plugin
• coq
• docker-coq-action

Extensible binary data format, like JSON but faster

Pretty-printing library for OCaml

The repository host gives no description.

OCaml build rules for Bazel

• ocaml
• bazel
• skylark
• bazel-rules

RSS and Atom feed parsing

LexiFi runtime types

A dumb OCaml logger

• minimalist
• logging
• ocaml-library
• logger

OCaml library for combinatorics

scikit-learn for OCaml

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