ARM implementation of the ChaCha20 block cipher
Assembly DSL for why3
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
Build and CI scripts for Clean
Please add issues and pull requests on https://github.com/timjs/clean-core
Clean libraries and examples
The Clean platform is a collection of multi-platform general purpose libraries for Clean.