Explore projects
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Jonathan Moerman / asm3-why3-plugin
GNU Lesser General Public License v2.1 onlyAssembly DSL for why3
Updated -
THIS IS A MIRROR!!!
Please add issues and pull requests on https://github.com/timjs/clean-core
Updated -
THIS IS A MIRROR!!!
Please add issues and pull requests on https://github.com/timjs/clean-base
Updated -
THIS IS A MIRROR!!!
Please add issues and pull requests on https://github.com/timjs/itasks-ide
Updated -
The Clean platform is a collection of multi-platform general purpose libraries for Clean.
Updated -
Updated
-
-
Updated
-
Practical assignment for the course Cryptographic Engineering (of the TRU/e Security Master), by Matthias Ghering and Wouter van der Linde
UpdatedUpdated -
Authors: Rauf Mahmudlu, Halim Munawar, Moritz Neikes, Niels Samwel
Updated -
Laura Kolijn / Nextcloud mail - PostGuard
GNU Affero General Public License v3.0Updated