Explore projects
-
-
Luci Project / Elfo
GNU Affero General Public License v3.0A really lightweight, optimistic & naive parser for the Executable and Linking Format, supporting common GNU extensions.
Updated -
-
Luci Project / Dirty Little Helper
GNU Affero General Public License v3.0Set of tools including the most important syscall wrappers, library functions and containers for creating a static standalone application (without libc / libstdc++ dependencies).
Updated -
-
Yannick Vollmer / sp-quiz
Creative Commons Zero v1.0 UniversalSammlung von Fragen zu SP2 mit Kommentaren.
Updated -
Jan Bayer / sp-quiz
Creative Commons Zero v1.0 UniversalSammlung von Fragen zu SP2 mit Kommentaren.
Updated -
Updated
-
-
Luis Gerhorst / sp-quiz
Creative Commons Zero v1.0 UniversalSammlung von Fragen zu SP2 mit Kommentaren.
Updated -
Philip KALUĐERČIĆ / Trip
GNU General Public License v3.0 or laterAn experimental, small utility for intentionally triggering the failure of libc function calls.
Updated -
faumachine / faumachine
GNU Lesser General Public License v2.1 onlyUpdated -
-
Updated
-
Updated
-
-
Max Ole Elliger / Programming Computable Functions
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalImplementation of PCF (inspired by lecture "Monad-Based Programming") in Coq
Updated -
-
Max Ole Elliger / Numbers
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalFormalization of numbers (Z,Q, ...), inspired by the lecture "Didaktik der Arithmetik"
Updated -
Leon Vatthauer / Koinduktion-coq
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalUpdated