Explore projects
-
thalia / concrexit
GNU Affero General Public License v3.0This repo has been migrated to GitHub: https://github.com/thaliawww/concrexit
Archived 7Updated -
Thorsten Wißmann / Action Codes in Coq
GNU Lesser General Public License v2.1 onlyUpdated -
Updated
-
clean-and-itasks / iTasks SDK
BSD 2-Clause FreeBSD LicenseThis project has been moved to GitLab.com.
Archived 1UpdatedArchived 1Updated -
Updated
-
IRMA / Github mirrors / attribute-index
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Updated
-
IRMA / Github mirrors / irmatube
Apache License 2.0Updated -
-
-
-
Example plain HTML site using GitLab Pages: https://pages.gitlab.io/plain-html
Updated -
IRMA / Github mirrors / irma_js
BSD 3-Clause "New" or "Revised" LicenseUpdated -
IRMA / Github mirrors / irma-website
MIT LicenseUpdated