TUM-DSE / sys-labLinks
Computer Systems Lab
☆11Updated 2 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:
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆40Updated this week
- Tenstorrent system interface library☆33Updated this week
- Embedded Universal DSL: a good DSL for us, by us☆58Updated this week
- ☆29Updated this week
- egraphs-good website☆18Updated last year
- A Python-like programming language for testing and experimenting with concurrent programs.☆32Updated 2 months ago
- String diagram visualiser☆16Updated last week
- Simple library for decoding RISC-V instructions☆24Updated last month
- Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels☆116Updated 3 weeks ago
- KernelFaRer: Replacing Native-Code Idioms with High-Performance Library Calls☆12Updated 3 months ago
- A Hardware Description Language that doesn't make you want to pull your hair out | read-only mirror of https://gitlab.com/spade-lang/spad…☆35Updated last week
- WebAssembly AOT compiler with cross-CPU checkpoint/restore support☆20Updated 6 months ago
- 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…☆123Updated 2 weeks ago
- benchmarking e-graph extraction☆48Updated 7 months ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆16Updated 3 years ago
- A collection of study materials for AI compilers and systems.☆46Updated last month
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆112Updated 4 months ago
- Superscalar RISC-V processor written in Clash.☆35Updated 3 years ago
- A lighweight and parallel snapshot testing framework in rust☆37Updated 2 years ago
- Verilog AST☆21Updated 2 years ago
- The Shine compiler for the RISE language☆83Updated last week
- A case for representing data collections and objects in the LLVM IR☆21Updated last month
- embedding MLIR in LEAN☆48Updated last year
- MimIR is my Intermediate Representation☆84Updated this week
- An attempt at safe imperative GPU programming.☆60Updated 4 months ago
- ☆37Updated 3 months ago
- Easy SMT solver interaction☆34Updated 4 months ago
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆20Updated 2 months ago
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago