Explore projects
-
Updated
-
-
-
Clone of https://cal8.cs.fau.de/redmine/projects/cool
For my own testing
Updated -
The repository contains all the raw data that was used in the Usenix ATC paper
Updated -
-
Updated
-
-
-
osek-v / dosek
OtherdOSEK used for OSEK-V in the LCTES'17 Publication "OSEK-V: Application-Specific RTOS Instantiation in Hardware"
Updated -
StuveFAU / old-terminklick
GNU General Public License v3.0 onlyThe old @StuveFAU instance of https://github.com/opatut/dudel.git and our local modifications/patches
Archived 1Updated -
dario / Cipmap
GNU General Public License v3.0 onlyUpdated -
Updated
-
-
-
-
A python "interpreter" for random access machine instructions. Useful for the lecture "Berechenbarkeit und formale Sprachen" at the Chair for Hardware-Software-Co-Design.
Updated -
-
CIP-Admins / pkgsync-ng
GNU General Public License v2.0 or latersync installed packages on a Debian system (or derivative) with a list of packages which should be installed or removed
Updated