Explore projects

The Clean platform is a collection of multi-platform general purpose libraries for Clean.

Hybrid adaptive distinguishing sequences for FSM-based complete testing

Hands on Matlab tutorial for single cell data analysis

C++ crash reporting library for UNIX systems (macOS/Linux/FreeBSD)

Some of the scripts used for the RERS challenge 2016

Implementation of PEP primitives including zero knowledge proofs, based on the Ristretto version of libsodium.

The Perception and Action Toolbox

Scripts and tools to compile Clean for multiple platforms (e.g. Linux, Windows and Android).

MQTTClient implementation for iTasks using WolfMQTT

Implementation of PEP primitives including zero knowledge proofs, based on the Ristretto version of libsodium.

Some implementations of the Ramanujan Pi algorithm.