Basic learner setup, using learnlib/automatalib, containing an example SUL and a socket-interface to connect a SUL over TCP.

Thesis info and data index

Clean IDE

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

Tight-binding Propagation Simulator for python 3.

An R implementation of the BCCD algorithm for causal discovery.

Clean inotify wrapper