kit-ty-kate

spdx_licenses

ocaml-timeout

WIP

xml-light

fork of Xml-light

alpine

:earth_africa: `alpine` Docker image for multiple architectures

cohost-dedup

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.

dune

A composable build system for OCaml.

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-cid

Content-addressed identifiers in OCaml

ocaml-dns

OCaml implementation of the DNS protocol

ocaml-dockerfile

OCaml interface for creating Dockerfiles

ocaml-solo5

Freestanding OCaml runtime

ocamlformat

Auto-formatter for OCaml code

ocluster

Distribute CI builds to worker nodes over Cap'n Proto

ocurrent

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

ocurrent-deployer

A pipeline that deploys unikernels and other services

opam-detect-constraints

EXPERIMENTAL

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-source-archives

mirror of precious opam repository packages whose source websites have disappeared

opam-test-repository

paf-le-chien

Port of HTTP/AF & H2 with Mirage and mimic

ppx_interact

Interactive breakpoints!

semgrep

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

stb_truetype

OCaml bindings to stb_truetype, a public domain truetype font rasterizer

sway

i3-compatible Wayland compositor

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