A static analyzer for Java, C, C++, and Objective-C

A library of generic data structures for the C language.

An SMT solver frontend for OCaml

Frama-C plugin for shape analysis using separation logic

Prototype implementation of a proof search algorithm for inductive predicate entailments.

Documentation compiler for OCaml

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

GitHub Action for the OCaml programming language

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

Awesome autocompletion, static analysis and refactoring library for python

QuickCheck inspired property-based testing for OCaml.

Sloth: a solver for Separation LOgic modulo THeories

Collection of Verification Tasks (MOVED, please follow the link)

Resources for the SL-COMP 2019 edition

A VIM-inspired filemanager for the console

πfs - the data-free filesystem!

OCaml version of Category Theory For Programmers