Explore projects
-
Simon Ruderich / passt-mac
GNU General Public License v2.0 or laterUpdated -
Frederik / passt-mac
GNU General Public License v2.0 or laterUpdated -
Updated
-
Michael Sammler / GQM-Coq
MIT LicenseUpdated -
faumachine / faumachine
GNU Lesser General Public License v2.1 onlyUpdated -
-
Historische i4Beamervorlage aus dem 18. Jahrhundert (oder so)
Updated -
Collection of useful things I build while playing with the linux kernel
Updated -
-
-
neo soll ein einfacher und moderner Ersatz für die (optisch) in die Jahre gekommenen i7 Latex-Beamertheme werden.
Updated -
Updated
-
AnyCall (bpftask) evaluation scripts and build environment.
Updated -
-
the 2018 iteration of the hawotempdevice, used for east-temp.hawo since Nov. 2018
Updated -
-
Updated
-
-
Luci Project / Luci
GNU Affero General Public License v3.0A linker/loader daemon experiment for academic purposes with hackability (not performance!) in mind
Updated