Explore projects

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

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

Practical assignment for the course Cryptographic Engineering (of the TRU/e Security Master), by Matthias Ghering and Wouter van der Linde

LaTeX repository for thesis document

Authors: Rauf Mahmudlu, Halim Munawar, Moritz Neikes, Niels Samwel

This project contains the Qhasm implementation I used in my Bachelor thesis

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