Explore projects
-
Das öffentliche Evaluationsportal der FSI Informatik
Updated -
Updated
-
Updated
-
Simon Ruderich / sandkasten
GNU General Public License v3.0 onlya seccomp-based user sandbox to restrict file and process access (Masterprojekt)
Updated -
Andreas Ziegler / kbuildparser
GNU General Public License v3.0 onlyUpdated -
gene / gene-setup
GNU General Public License v3.0 onlyBootstrapping scripts - clone this repo for initial installation
Updated -
Updated
-
Updated
-
Michael Sammler / GQM-Coq
MIT LicenseUpdated -
Updated
-
-
Updated
-
-
Updated
-
Florian Jung / katarakt
BSD 2-Clause "Simplified" LicenseDevelopment repo for the decolumnize-patches for the katarakt PDF viewer. See decolumnize branch.
Updated -
-
Updated