TUM-DSE / sys-labLinks
Computer Systems Lab
☆11Updated last month
Alternatives and similar repositories for sys-lab
Users that are interested in sys-lab are comparing it to the libraries listed below
Sorting:
- ☆28Updated last week
- Tool for loading and testing native shaders translated from crosstl☆12Updated 11 months ago
- seL4 Device Driver Framework☆22Updated last year
- Tenstorrent system interface library☆32Updated this week
- Embedded Universal DSL: a good DSL for us, by us☆56Updated this week
- Course website for Advanced Operating Systems☆13Updated 3 years ago
- Introduction to homotopy type theory (reading course), LP2 2023, offered via DAT235/DIT577: Research-oriented course in Computer Science …☆14Updated last year
- A Python-like programming language for testing and experimenting with concurrent programs.☆31Updated last month
- Microkit - A simple operating system framework for the seL4 microkernel☆158Updated this week
- ☆14Updated last year
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆38Updated last month
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆18Updated 3 years ago
- Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF…☆114Updated this week
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆37Updated this week
- Many Threads Operating System☆17Updated 3 years ago
- musl: A C standard library☆15Updated 2 months ago
- 💻 A 5-stage pipeline MIPS CPU design in Haskell.☆35Updated 5 years ago
- Integrate WasmEdge with seL4☆43Updated 3 years ago
- String diagram visualiser☆15Updated last week
- A virtual machine monitor for the seL4 microkernel☆45Updated last week
- A lighweight and parallel snapshot testing framework in rust☆37Updated 2 years ago
- Tenstorrent Blackhole P100/P150 card RISC-V Linux demo 🐧☆38Updated 2 weeks ago
- A System for Differential Debugging☆22Updated 7 months ago
- A collection of study materials for AI compilers and systems.☆46Updated 2 weeks ago
- Superscalar RISC-V processor written in Clash.☆34Updated 3 years ago
- Take your first step in writing a compiler. Implemented in Rust.☆16Updated 2 years ago
- A zero-copy serialization library and networking stack.☆49Updated last year
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 3 years ago
- Gatery, a library for circuit design.☆21Updated 11 months ago
- A command-line interface tool for creating, managing, and verifying Content Provenance and Authenticity (C2PA) manifests for machine lear…☆19Updated this week