Explore projects

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

Clean compiler

Build and CI scripts for Clean

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

Grammatical inference using the Z3 SMT solver