Explore projects
-
Thorsten Wißmann / Action Codes in Coq
GNU Lesser General Public License v2.1 onlyUpdated -
Updated
-
sovereign / c-monad
BSD 3-Clause "New" or "Revised" LicenseUpdated -
sovereign / ReLoC-2
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Updated
-
Orpheas van Rooij / Haffel
GNU General Public License v3.0 or laterUpdated -
Updated
-
Updated
-
Updated
-
Orpheas van Rooij / Hazel
GNU General Public License v3.0 or laterUpdated -
program-verification / course-2023-2024
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Thomas Somers / session-channels-linking-sources
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Marijn van Wezel / course-2023-2024
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Edoardo Putti / incorrectness
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-