Explore projects

Bhagyasree Palayil Valsala / i7 LaTeX Template

LaTeX template for elaborations at the i7.

0

Updated Nov 19, 2022

0 0 0 0

Updated Nov 19, 2022
E

cp1_ws19 / exercise_2

Template and instructions for second exercise sheet

0

Updated Nov 28, 2019

0 0 0 0

Updated Nov 28, 2019
Florian Guthmann / mmt-mode

Experimental Emacs support for the MMT system

0

Updated Sep 22, 2023

0 0 0 0

Updated Sep 22, 2023
S

Fabian Faust / SIT

Selective Imaging Tool for live Windows system forensics.

0

Updated Dec 03, 2020

0 0 0 0

Updated Dec 03, 2020
S

qronos-state-abstractions / simulation
BSD 3-Clause "New" or "Revised" License

0

Updated Aug 01, 2023

0 0 0 0

Updated Aug 01, 2023
R

Christian Bay / ra_2015

0

Updated Nov 26, 2015

0 0 0 0

Updated Nov 26, 2015
V

Christian Bay / vm_2015

Virtuelle Maschinen WS2015

0

Updated Nov 26, 2015

0 0 0 0

Updated Nov 26, 2015
P

Lukas L / pci_driver

0

Updated Feb 15, 2016

0 0 0 1

Updated Feb 15, 2016
C

CIP-Admins / cip-foxtemp

0

Updated May 07, 2022

0 0 0 0

Updated May 07, 2022
K

Lehrstuhl für Informatik 4 (Systemsoftware) / kss-tablegen

A customizable TableGen for use in "Konfigurierbare Systemsoftware"

0

Updated May 31, 2016

0 4 0 0

Updated May 31, 2016
L

FSI Informatik / Linuxkurs

0

Updated Oct 16, 2024

0 1 0 1

Updated Oct 16, 2024
F

Martin Gräbner / Fehlersuche_U7

0

Updated Jul 25, 2016

0 0 0 0

Updated Jul 25, 2016
R

aorta / rpi-real-time

0

Updated Mar 14, 2017

0 0 0 0

Updated Mar 14, 2017
N

Lehrstuhl für Informatik 4 (Systemsoftware) / manycore / nowa
MIT License

0

Updated Feb 19, 2021

0 1 0

Updated Feb 19, 2021
T

Ferdinand Schober / trottel

0

Updated May 15, 2023

0 0 0 0

Updated May 15, 2023
Lehrstuhl für Informatik 4 (Systemsoftware) / SPiC / Tetris
GNU General Public License v3.0 only

Das Puzzlespiel Tetris auf dem SPiCboard

SPiC SPiCboard Display
+ 3 more

0

Updated Apr 12, 2022

0 0 0 0

Updated Apr 12, 2022
Lehrstuhl für Informatik 4 (Systemsoftware) / SPiC / 2048

Das bekannte Denkspiel für das SPiCboard

2048 SPiC SPiCboard

0

Updated May 24, 2020

0 0 0 0

Updated May 24, 2020
Lehrstuhl für Informatik 4 (Systemsoftware) / SPiC / Pac-Man

Ein weiterer Arcade-Klassiker auf dem SPiCboard

Pacman SPiC SPiCboard

0

Updated May 24, 2020

0 0 0 0

Updated May 24, 2020
L

Lehrstuhl für Informatik 4 (Systemsoftware) / Public / EnergyTimers (SOSP 2019 SRC) / LTC2991 Firmware

EnergyTimers LTC2991 firmware for the ATmega328P

0

Updated Mar 21, 2020

0 0 0 0

Updated Mar 21, 2020
T

Max Ole Elliger / Template Coq-Project
GNU General Public License v3.0 or later

Coq

0

Updated Apr 11, 2024

0 0 0 3

Updated Apr 11, 2024