Explore projects

THIS IS A MIRROR!!!

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

Implementation of ECC signature verification for curve 255-19 on an ARM board

Assembly DSL for why3

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

Clean codegenerator

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

LaTeX repository for thesis document

Spark project accompanying thesis document

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

ARM implementation of the ChaCha20 block cipher