Explore projects
-
Implementing the L* learning algorithm for nominal automata, using the ONS library
Updated -
Updated
-
The Clean platform is a collection of multi-platform general purpose libraries for Clean.
Updated -
-
Implementation of elliptic curve cryptography using the Renes-Costello-Batine addition laws
Updated -
-
-
-
-
Updated
-
Updated
-
IRMA / Github mirrors / irmago
Apache License 2.0Updated -
clean-and-itasks / clean-libraries
BSD 2-Clause FreeBSD LicenseClean libraries and examples
Updated -
sovereign / c-monad
BSD 3-Clause "New" or "Revised" LicenseUpdated -
sovereign / ReLoC-2
BSD 3-Clause "New" or "Revised" LicenseUpdated