Explore projects
-
crysil / cryptowebapp
European Union Public License 1.2Updated -
crysil / secure_text_collaboration
European Union Public License 1.2Updated -
scos / akdv2016
MIT LicenseAssignment for AKDV 2016: writing theory solvers in the SMT4J framework.
Updated -
Updated
-
This project contains the material for the Verification and Testing practicals.
Updated -
Administrator / Testpro
MIT LicenseExample Hugo site using GitLab Pages: https://pages.gitlab.io/hugo
Updated -
krypto / project_development_work / PSI_old
GNU Affero General Public License v3.0Updated -
Stefan More / Mocca Mirror
Apache License 2.0Mirror of "Modular Open Citizen Card Architecture" from https://git.egiz.gv.at/mocca/
Updated -
Updated
-
Updated