Programming language for literate programming law specification

Implementations of various type systems in OCaml.

Experimental analyses for ReScript and OCaml: globally dead values/types, exception analysis, and termination analysis.

The Sparrow Static Analyzer

Dead-code analyzer for OCaml

Realtime grep for OCaml/Coq sources available on opam

OCaml linter

An OCaml mutation tester

A simple state-machine framework for OCaml based on QCheck

A fully-modular OCaml style linter

A small library to output memory graph for ocaml values

A not-quite-so-simple Binary Decision Diagrams implementation for OCaml

An OCaml library for manipulating Labeled Transition Systems

Code style checker for Jane Street Packages

Regular languages in types

Get [@@deriving]-style generation of type-directed values without writing a ppx

QUICr parametric abstract domain for sets

A secret project to produce a Kwisatz Haderach, perfect OCaml code that would bridge time and space, through selective breeding and linting. But mostly linting.

OCaml Library for the drawing of abstract elements (Polyhedra, Octagon, Boxes)

Abstract domain library for sets

A library for quickchecking lattice modules and associated operations

AAA528 Computational Logic

Analyser is a static analyser which finds errors and undefinded behaviors in C programs with inline assembly.