package compiler and linker metadata toolkit

OCaml - Oxidized!

A lightweight keyboard for Android

Convert a C Standard Draft PDF into HTML or Markdown

Scripts for setting up and running MSVC in Wine on Linux

An overlay on Eglot for editing OCaml code using LSP

The core OCaml system: compilers, runtime system, base libraries

Code that renders an image as a series of lines connecting pins around a circular frame (for more detail, see my Medium page).

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