The imagelib library implements image formats such as PNG or PPM

TUI multiline fuzzy document finder

Audit your opam switch for vulnerable packages

Faster, simpler and more portable implementation of jq-inspired language in OCaml

Algebraic structures in OCaml.

OCaml - Oxidized!

Contextual Ocaml DEPendencies Tool: alternative ocaml dependency analyzer

An in-memory datalog implementation for OCaml.

Pidgin is a common language for describing and validating complex data structures

Lunar is a very small (and portable) date management library

Datalog with support for SMT queries and first-order functional programming

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

Test framework for OCaml

Wrapper around the OCaml `lsp` library to make it easier to write LSP servers

Language server and VS Code extension for Menhir and Ocamllex

Execute code blocks inside your documentation

Embeddable Lambda Prolog Interpreter

A sandboxed execution environment for unikernels

A Simple Profiling Library for OCaml

Context sensitive completion for OCaml in Vim and Emacs

An SMT solver frontend for OCaml

A modular sat/smt solver with proof output.

EGraphs in OCaml

QuickCheck inspired property-based testing for OCaml.

A lightweight and colourful test framework

Runtime assertion checking based on Gospel specifications

The Gillian Platform main repository

Sail architecture definition language

Multi-engine SMT-based automatic model checker for safety properties of Lustre programs

🔎 Static code analysis engine to find security issues in code.