Explore projects
-
-
Luis Gerhorst / Zephyr RTOS
Apache License 2.0Zephyr RTOS with MBS (https://www4.cs.fau.de/Publications/2021/reif_21_sbesc.pdf) and Raspberry Pi 3b+ support.
Updated -
-
Updated
-
Updated
-
Luis Gerhorst / VeriFence
GNU General Public License v2.0 or laterMitigating Spectre-PHT using Speculation Barriers in Linux eBPF (https://sys.cs.fau.de/verifence)
Updated -
It is a software developed for interpolating large datasets generated by simulations or experiments that consist of various scalar and vector fields from an Unstructured grid To a Structured grid(UTS) using the Paraview Python libraries
Updated -
It is a software developed for interpolating large datasets generated by simulations or experiments that consist of various scalar and vector fields from an Unstructured grid To a Structured grid(UTS) using the Paraview Python libraries
Updated -
The repository contains all the raw data that was used in the Usenix ATC paper
Updated -
A relay for UDP with optional artificial delay and loss rate.
Updated -
-
Bachelor's thesis. Analysing a two-level emitter placed in a cavity and simulating it using the continuous time Quantum Monte Carlo method.
Updated -
This project is for the validation of an approximation tree matching algorithm by mapping RNA secondary structures (e.g. Pseudoknots) to their functions.
Updated -
Python Repo for Bachelor Thesis "Transparent SSD Detection"
Updated -
Updated
-
Ferdinand Schober / Text Categorizer
GNU General Public License v3.0 or laterUpdated