Explore projects
-
-
-
IRMA / Github mirrors / pbdf-website
MIT LicenseUpdated -
IRMA / Github mirrors / irmatube
Apache License 2.0Updated -
IRMA / Github mirrors / irma-demos
Apache License 2.0Updated -
-
Updated
-
Updated
-
IRMA / Github mirrors / irma_js
BSD 3-Clause "New" or "Revised" LicenseUpdated -
IRMA / Github mirrors / irma_ideal_webclient
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Thorsten Wißmann / Action Codes in Coq
GNU Lesser General Public License v2.1 onlyUpdated -
-
Updated