kit-ty-kate

harrop-minml

Origin: https://groups.google.com/forum/#!msg/fa.caml/i6IgSFX8XkY/4khF8z1V7loJ

ocaml-timeout

WIP

exn.st

https://exn.st

xml-light

fork of Xml-light

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

csexp

Minimal support for Canonical S-expressions

dune

A composable build system for OCaml.

eliom

Framework for programming web sites in OCaml.

inquirer_oc

libinput

mirror of https://gitlab.freedesktop.org/libinput/libinput

libinput-no-palm-exclusion-zones

The libinput package but without the annoying cursor freeze on macbooks (see https://gitlab.freedesktop.org/libinput/libinput/-/issues/433)

lwt

A cooperative threads library for OCaml.

ocaml-ci

A CI for OCaml projects

ocaml-cid

Content-addressed identifiers in OCaml

ocaml-dns

OCaml implementation of the DNS protocol

ocaml-uri

RFC3986 URI parsing library for OCaml

ocaml-version

Library to parse and enumerate releases of the OCaml compiler

ocamlformat

Auto-formatter for OCaml code

ocp-index

Easy access to the interface information of installed OCaml libraries for editors like Emacs and Vim.

ocurrent

Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)

opam-file-format

Parser and printer for the opam file syntax

opam-monorepo

Assemble dune workspaces to build your project and its dependencies as a whole

opam-repository-1

Opam repository for the development version of Jane Street packages

paf-le-chien

Port of HTTP/AF & H2 with Mirage and mimic

ppx_interact

Interactive breakpoints!

ppx_minidebug

A poor man's version of `ppx_debug`: trace selected code if it has type annotations

ppxlib

Base library and tools for ppx rewriters

solo5

A sandboxed execution environment for unikernels

togglelog

A PPX writer which lets you compile out logging statements in release builds

vcfloat

VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations