Explore projects

C

CIP-Admins / cip-foxtemp

0

Updated May 07, 2022

0 0 0 0

Updated May 07, 2022
P

syswcec / platin

0

Updated May 29, 2018

0 0 0 0

Updated May 29, 2018
O

Lehrstuhl für Informatik 4 (Systemsoftware) / obinex

0

Updated Apr 27, 2022

0 1 4 5

Updated Apr 27, 2022
E

soft-errors / EMSOFT2017

0

Updated Oct 17, 2017

0 0 0 0

Updated Oct 17, 2017
V

Patrick Kanzler / vorlagen-basis

von allen Vorlagen gemeinsam genutzte Dateien

0

Updated Nov 13, 2017

0 0 0 0

Updated Nov 13, 2017
G

Lehrstuhl für Informatik 4 (Systemsoftware) / PASST / git-bisect-demo

Demo repo for git bisect.

0

Updated Nov 30, 2017

0 0 0 0

Updated Nov 30, 2017
R

StuveFAU / rrze-univis

0

Updated Dec 28, 2017

0 0 0 0

Updated Dec 28, 2017
C

Hans-Peter Deifel / cool-artifacts

0

Updated Feb 23, 2018

0 0 0 0

Updated Feb 23, 2018
S

Vasu Kolli / StarCraft2-protoss

0

Updated May 23, 2018

0 0

Updated May 23, 2018
S

Simon Ruderich / sandkasten
GNU General Public License v3.0 only

a seccomp-based user sandbox to restrict file and process access (Masterprojekt)

0

Updated Jul 20, 2018

0 0 0 0

Updated Jul 20, 2018
G

ceddral / gitlab-runner
MIT License

rkt executor for gitlab-runner

0

Updated Mar 15, 2018

0 0 0 1

Updated Mar 15, 2018
C

Markus Opolka / cqp-converter

A text to CQP converter

0

Updated Jun 16, 2018

0 0 0 0

Updated Jun 16, 2018
H

StuveFAU / heinzelmann-3000

0

Updated Dec 17, 2022

0 0 0 2

Updated Dec 17, 2022
L

Felix Kraus / latexandmore

Inoffizielle Sammlung von Materialien zu diversen Veranstaltungen Tags: RK, AuD, FFI, Forensik, GTI, IDB, KonzMod, Mathe, C1, C4, Spring, SupCom, ThProg, Skript

0

Updated Mar 17, 2018

0 0 0 0

Updated Mar 17, 2018
E

syswcec / ecrts18-artifact-evaluation
GNU General Public License v3.0 only

Repository for the ECRTS 2018 artifact evaluation

0

Updated May 27, 2018

0 0 0 0

Updated May 27, 2018
O

Jonas Schreiner / oc-skript

2

Updated Jul 25, 2018

2 1 0 0

Updated Jul 25, 2018
B

Jonathan Krebs / bashrc

my bashrc

0

Updated Apr 13, 2018

0 0 0 0

Updated Apr 13, 2018
G

Michael Sammler / GQM-Coq
MIT License

1

Updated Jul 06, 2018

1 0 0 0

Updated Jul 06, 2018
C

Christian Vögl / cpu

0

Updated Apr 26, 2018

0 0 0 0

Updated Apr 26, 2018
L

Andreas Ziegler / librarytrader
GNU General Public License v3.0 only

0

Updated Oct 18, 2022

0 1 0 0

Updated Oct 18, 2022