Explore projects

THIS IS A MIRROR!!!

Please add issues and pull requests on https://github.com/timjs/clean-base

THIS IS A MIRROR!!!

Please add issues and pull requests on https://github.com/timjs/itasks-ide

THIS IS A MIRROR!!!

Please add issues and pull requests on https://github.com/timjs/clean-core

LaTeX repository for thesis proposal

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

Spark project accompanying thesis document

LaTeX repository for thesis document

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

Build and CI scripts for Clean

A mirror of ReLoC - Relational logic for fine-grained concurrency

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

gimp plugin dcamnoise,

https://cs.ru.nl/~dfrumin/wpc/index.html

https://gitlab.mpi-sws.org/iris/reloc/

Implementation of elliptic curve cryptography using the Renes-Costello-Batine addition laws