The iTask framework for developing Task-Oriented Programs.

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

The project solves Einstein equations coupled to matter field with one non-diagonal component of metric as well as Dirac equations on that background.

There’s an App for Everything

Make Thalia-website great again.

The Clean language search engine

Tight-binding Propagation Simulator for python 3.

Clean compiler

Clean language report

An interpreter for the ABC language with Clean bindings to allow cross-platform communication of lazy expressions

Generic test tools for testing Clean programs

The G∀ST testing framework for Clean