TUM-DSE / research-work-info
Thesis info
☆14Updated 2 weeks ago
Alternatives and similar repositories for research-work-info
Users that are interested in research-work-info are comparing it to the libraries listed below
Sorting:
- Practical course: Advanced Systems Programming in C/Rust -- SoSe 2023☆24Updated last year
- What's the best time for lunch in the new Mensa in Garching?☆18Updated 2 years ago
- A P4 compiler☆129Updated this week
- Nix derivations as Dockerfiles (`docker build -f default.nix .`)☆174Updated last year
- ☆14Updated 2 years ago
- ☆13Updated last year
- Native In-Kernel P4-programmable Software Switch for Software-Defined Networking (previously PSA-eBPF)☆48Updated last year
- Shell into a virtualized linux, with your own tools☆153Updated this week
- Programmierparadigmen-Tutorium 2022WS☆28Updated 2 years ago
- ☆12Updated last month
- General purpose container library☆121Updated 2 years ago
- hostCC is a congestion control architecture which handles host congestion, along with in-network congestion☆52Updated 9 months ago
- IPDK Networking Recipe (P4 Control Plane)☆39Updated this week
- A Rust verification tool☆255Updated last week
- A VMM implementation based of rust-vmm components☆152Updated 8 months ago
- Material for paper "Fast Packet Processing with eBPF and XDP: Concepts, Code, Challenges and Applications", ACM CSUR 2019☆25Updated 5 years ago
- Mensas erste nützliche Schlangen-Abmessungssoftware☆29Updated 2 years ago
- A zero-copy serialization library and networking stack.☆46Updated last year
- Lecture material (slides, script) for a distributed systems Bachelor class☆12Updated 9 months ago
- yawol is a Load Balancer solution for OpenStack, based on the Kubernetes controller pattern.☆48Updated last week
- An excellent Discord bot.☆23Updated 7 months ago
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆111Updated this week
- ☆16Updated 6 years ago
- SCIONLab user interface and administration☆10Updated last week
- Keyhouse is a skeleton of general-purpose Key Management System written in Rust.☆164Updated 2 years ago
- The formally verified crypto library for Rust☆123Updated this week
- Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…☆62Updated 2 years ago
- Mock registers of embedded targets on host machines in Rust☆10Updated 7 months ago
- P4 on Raspberry Pi for Networking Education☆126Updated last year
- Public repository for SCION applications☆24Updated last week