GTK4 bindings for OCaml

A Rocq translation of various database systems

OCaml bindings for libdrm

OCaml bindings for gbm

Generate Dune rules for building a client/server application or library

X11 rogloglo toolkit

HTML generation combinators for OCaml

OCaml bindings for libinput

Direct-style parser combinator library for OCaml 5

A simple DNS resolver as an unikernel

A simple KV-store as an unikernel

A minimal toolkit for everyday OCaml programs

A set of data models that can be used with YOCaml to build rich pages

Zero heap allocation HTTP server using OxCaml. v experimental!

Server administration DSL

A tiny build system for OCaml

Type-safe Tailwind CSS in OCaml - A lightweight utility-first CSS generation library with prose typography support, responsive modifiers, and minimal bundle size for js_of_ocaml.

A BDD library with theory support

A simple compiler for a small subset of Java 1.3

Tooling for the OCaml security advisory database

Old-school audio player with decent music library management

Package URL in OCaml

A simple unikernel which provides a search engine from an emails archive

Mirror

Multi-Exchange Streaming Abstraction Framework in Ocaml

Rust-like syntax for WebAssembly featuring a full toolchain for conversion, type-checking, and auto-formatting.

Pure OCaml implementation of Apache Avro

API for imandrax

Class instances for Coq inductive types with little boilerplate