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

a dlopen-like API for Windows

Context sensitive completion for OCaml in Vim and Emacs

An OpenAPI 3 to OCaml client generator.

A Grub Theme in the style of Minecraft!

An engine for displaying slips, the next-gen version of slides

Render ASCII art as SVG diagrams

⚡ Energy consumption metrology agent. Let "scaph" dive and bring back the metrics that will help you make your systems and applications more sustainable !

Emulate huge mobile ad-hoc mesh networks using Linux network namespaces.

A small library for convenient printf debugging and function tracing

Probabilistic music composition in Idris2

A simple library for manipulating Master Boot Records

Realtime grep for OCaml/Coq sources available on opam

A hands-on tutorial on the new parallelism features in OCaml 5

Native OCaml bindings to Gitlab REST API v4

Pure OCaml Wayland protocol implementation

Ocaml modular spam filter

Use Lwt libraries from within Eio

Multicore OCaml

collect activity and format as markdown for a journal

A small set of Python functions to draw pretty maps from OpenStreetMap data. Based on osmnx, matplotlib and shapely libraries.

Show the internal dependencies in your OCaml/Reason/Dune project

The Galène videoconference server

Command-line copy/paste utilities for Wayland

Qui possède quoi ?