Explore projects
-
Updated
-
Updated
-
Updated
-
Jacopo Moretti / Stainless verifier
Apache License 2.0Program verifier for Scala. Documentation, sources on GitHub
Updated -
SPC / LHdatabase
Creative Commons Attribution 4.0 InternationalUpdated -
Updated
-
Updated
-
SISB PUBLIC / archived_projects / Open Access Compliance Check Tool Oacct
GNU Affero General Public License v3.0Source code for the OACCT project https://www.swissuniversities.ch/fr/p-5-services/oa-compliance-check-tool
Updated -
Updated
-
Updated