Explore projects
-
Templates and instructions for exercise 5: Matrix operations/linear systems
Updated -
Michael Sammler / BBI-Coq
MIT LicenseUpdated -
Updated
-
Das klassische Zweipersonen-Strategiespiel Tic-Tac-Toe für das SPiCboard
Updated -
PragMetis / platin
GNU General Public License v3.0 or laterUpdated -
Stefan Reif / touchpad-config
Creative Commons Zero v1.0 UniversalConfiguration for laptop touchpads
Updated -
Lehrstuhl für Informatik 4 (Systemsoftware) / SPiC / RobotArm
GNU General Public License v3.0 onlyEin Roboter Arm gesteuert über das Xplained Mini des SPiCboard
Updated -
CIP-Admins / goatherd
GNU General Public License v3.0 onlyUpdated -
Braindump der Klausur zur Vorlesung Theorie der Programmierung im SS 2016
Updated -
UpdatedUpdated
-
Updated
-
qronos-state-abstractions / execution-time
GNU General Public License v3.0 onlyUpdated -
Maximilian Beetz / Coq Exercises
GNU General Public License v3.0 or laterKleine Sammlung an Coq-Aufgaben zum Üben auf Einstiegsniveau.
Updated -
-
-
Updated
-
-