Explore projects
-
Philip KALUĐERČIĆ / Trip
GNU General Public License v3.0 or laterAn experimental, small utility for intentionally triggering the failure of libc function calls.
Updated -
UpdatedUpdated
-
Luis Gerhorst / bpf-spectre
GNU General Public License v2.0 or laterUpdated -
Max Ole Elliger / Coq Exercises
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalKleine Sammlung an Coq-Aufgaben zum Üben auf Einstiegsniveau.
Topics: CoqUpdated -
-
Updated
-
Updated
-
Stefan Gehr / arduino-block-course
GNU Affero General Public License v3.0Updated -
Updated
-
Exam Protocol Advanced Experimental Physics: Particle and Astroparticle Physics (EV-B)
Updated -
-
-
-
LaTeX template for elaborations at the i7.
Updated -
Project repository for advanced discretization methods Spring term 2022
Updated -
Inoffizielle Sammlung von Materialien zu diversen Veranstaltungen Tags: RK, AuD, FFI, Forensik, GTI, IDB, KonzMod, Mathe, C1, C4, Spring, SupCom, ThProg, Skript
Updated -
Hung Nguyen Truong Thanh / mlts-crypto-predict
Apache License 2.0Updated