TUM-DSE / sys-labLinks
Computer Systems Lab
☆11Updated 3 months ago
Alternatives and similar repositories for sys-lab
Users that are interested in sys-lab are comparing it to the libraries listed below
Sorting:
- Tool for loading and testing native shaders translated from crosstl☆13Updated last year
- ☆26Updated 2 months ago
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆43Updated 3 weeks ago
- Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels☆124Updated last month
- Tenstorrent system interface library☆33Updated last week
- ☆13Updated last year
- ☆33Updated this week
- A Python-like programming language for testing and experimenting with concurrent programs.☆32Updated 4 months ago
- Microkit - A simple operating system framework for the seL4 microkernel☆170Updated this week
- embedding MLIR in LEAN☆48Updated last year
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 3 years ago
- Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book☆25Updated 8 years ago
- A System for Differential Debugging☆22Updated 10 months ago
- Superscalar RISC-V processor written in Clash.☆35Updated 3 years ago
- An attempt at safe imperative GPU programming.☆61Updated 2 weeks ago
- Embedded Universal DSL: a good DSL for us, by us☆66Updated this week
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆20Updated 3 months ago
- Small KVM-based hypervisor, boots Linux (WIP)☆13Updated last year
- Website for CS 265☆33Updated last year
- ☆25Updated last year
- A memory allocator verified with Verus☆29Updated last month
- seL4 Device Driver Framework☆23Updated 2 years ago
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆41Updated this week
- String diagram visualiser☆16Updated last week
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆65Updated 9 months ago
- A enumerator for MLIR, relying on the information given by IRDL.☆22Updated 2 weeks ago
- MimIR is my Intermediate Representation☆89Updated last week
- Always-Correct and Fast Incremental Builds from Simple Specifications☆92Updated last year
- A minimal development of SSA theory☆207Updated last week
- ☆38Updated 2 weeks ago