Explore projects
-
Updated
-
-
Updated
-
i4 / SPiC / comlyzer
GNU General Public License v3.0 onlyLogic Analyzer für SPiCboard Kommunikation
Updated -
Max Ole Elliger / Coq Exercises
GNU General Public License v3.0 or laterKleine Sammlung an Coq-Aufgaben zum Üben auf Einstiegsniveau.
Updated -
Maximilian Beetz / Coq Exercises
GNU General Public License v3.0 or laterKleine Sammlung an Coq-Aufgaben zum Üben auf Einstiegsniveau.
Updated -
-
-
Lukas Wegmann / crazyflie-clients-python
GNU General Public License v2.0 or laterHost applications and library for Crazyflie written in Python.
Updated -
Lukas Wegmann / crazyflie-lib-python
GNU General Public License v2.0 or laterPython library to communicate with Crazyflie
Updated -
Updated
-
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 -
-
i4 / PASST / ds1820tousb
GNU General Public License v2.0 or lateroriginal design & software: http://www.poempelfox.de/ds1820tousb/
Updated -
syswcec / ecrts18-artifact-evaluation
GNU General Public License v3.0 onlyRepository for the ECRTS 2018 artifact evaluation
Updated -
Tool to shrink the tailored ELF files to a smaller size
Updated -
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 -
Florian Fischer / emper-echo-server
GNU General Public License v3.0 or laterArchived 0Updated