magic-trace collects and displays high-resolution traces of what a process is doing

MirageOS is a library operating system that constructs unikernels

Binary Analysis Platform

Tidy, feature-complete Web framework

Owl - OCaml Scientific Computing @ https://ocaml.xyz

A toolkit for embedding VPN capabilities in your application

A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

OCaml DSL for verifiable computation

Library for binding to C libraries using pure OCaml

Multi-tier framework for programming web and mobile applications in OCaml.

A compiler for a tiny (but growing!) subset of C, written in OCaml.

OCaml library for reading, writing and modifying PDF files

[wip] bindings to Dear Imgui for OCaml.

[wip] A LCF-style kernel of trust intended for certified ATP and proof checking for FOL/HOL.

Image processing library in OCaml