Explore projects

Implementing the L* learning algorithm for nominal automata, using the ONS library

Build and CI scripts for Clean

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

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

A collection of shell scripts or commands