Explore projects

Sources of the Abstract Categorial Development toolkit.

An actor library for OCaml 5

An OCaml library that helps deal with binding constructs in abstract syntax trees.

An OCaml library that helps deal with binding constructs in abstract syntax trees.

Automatic PArallelizer for C

Abstract Requirement Extraction for Systems

Immutable arrays and mutability-polymorphic arrays for OCaml.

Secure implementation of the cryptographic operation involved in SAE(-PT)

Verifiable online voting system http://www.belenios.org

Verifiable online voting system http://www.belenios.org

Verifiable online voting system http://www.belenios.org