Explore projects

S

Daniel Nelle / sicherheitskernel-ryu
Apache License 2.0

0

Updated Aug 16, 2016

0 0 0 0

Updated Aug 16, 2016
R

Daniel Nelle / ryu
Apache License 2.0

0

Updated Aug 20, 2016

0 0 0 0

Updated Aug 20, 2016
B

Wolf-Jörgen Stange / benchmark

1

Updated Jan 06, 2022

1 0 0 0

Updated Jan 06, 2022
P

Vera Clemens / PdP

0

Updated May 13, 2022

0 0 0 0

Updated May 13, 2022
M

Florian Nowotny / MyDiningTable

TestProject for the Kurs^^

0

Updated May 26, 2023

0 0 0 0

Updated May 26, 2023
Ü

Briec Gärtner / Übung 0 Stack Live

0

Updated Oct 22, 2023

0 0 0 0

Updated Oct 22, 2023
Ü

Angelina Kuschmierz / Übung 0 Stack Live

0

Updated Nov 02, 2023

0 1 0 0

Updated Nov 02, 2023
O

ATP / Omega-Library
BSD 2-Clause "Simplified" License

The Omega Decision Procedure Library

0

Updated Nov 06, 2023

0 0 0 0

Updated Nov 06, 2023
Ü

Nils Wiemer / Übung 2 Fork

0

Updated Nov 17, 2023

0 0 0 0

Updated Nov 17, 2023
V

Fabian Patrick Lampe / VR-TestRoomUnity

Repository for the VR Tutorial of Unity

0

Updated Aug 01, 2024

0 0 0 0

Updated Aug 01, 2024
C

RSA / compilers / certicoq
MIT License

A Verified Compiler for Gallina, Written in Gallina

0

Updated Sep 20, 2024

0 0 0 0

Updated Sep 20, 2024
Ü

GBR Vorlagen / Übung 0 Stack

3

Updated Oct 18, 2024

3 58 0 0

Updated Oct 18, 2024
Ü

Ludwig Valentin Anubis Janaka Hohenberg / Übung 0 Stack hbg

0

Updated Oct 18, 2024

0 0 0 0

Updated Oct 18, 2024
U

Matti Kahlke / Uebung 1 CoFee

0

Updated Nov 03, 2024

0 0 0 0

Updated Nov 03, 2024
U

GBR Vorlagen / Uebung 1 CoFee

0

Updated Nov 03, 2024

0 27 1 0

Updated Nov 03, 2024
U

Mhd Baraa Taleb / Uebung 1 CoFee

0

Updated Nov 03, 2024

0 0 0 0

Updated Nov 03, 2024
S

CRC1294 / B03 / SEAM 2023 Paper
GNU General Public License v3.0 or later

0

Updated Nov 09, 2024

0 0 0 0

Updated Nov 09, 2024
U

GBR Vorlagen / Uebung 2 Scheduling

0

Updated Nov 17, 2024

0 23 0 0

Updated Nov 17, 2024
Ü

GBR Vorlagen / Übung 3 Pthreads

0

Updated Dec 01, 2024

0 46 0 0

Updated Dec 01, 2024
H

Dorian Stoll / HPC Benchmark Game

2

Updated Dec 05, 2024

2 1 0 0

Updated Dec 05, 2024