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:
- Tool for loading and testing native shaders translated from crosstl☆13Updated last year
- ☆31Updated this week
- A Python-like programming language for testing and experimenting with concurrent programs.☆32Updated 3 months ago
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆41Updated this week
- Superscalar RISC-V processor written in Clash.☆35Updated 3 years ago
- Embedded Universal DSL: a good DSL for us, by us☆60Updated this week
- Tenstorrent system interface library☆33Updated 3 weeks ago
- ☆24Updated last year
- Fork of LLVM adding CHERI support☆61Updated this week
- Reference Hardware Implementations of Bit Extract/Deposit Instructions☆24Updated 8 years ago
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆25Updated 4 months ago
- Nautilus Aerokernel☆48Updated 3 years ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆16Updated 4 years ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆115Updated 5 months ago
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research☆17Updated last week
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- ☆17Updated last year
- ☆27Updated 3 years ago
- An experimental optimizing compiler for Bril using egglog☆82Updated last month
- A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one☆83Updated 3 weeks ago
- A determinizing tracer using Ptrace☆39Updated 5 years ago
- egraphs-good website☆18Updated last year
- Tracing JIT compiler and runtime for a subset of the JVM☆26Updated 2 years ago
- A lighweight and parallel snapshot testing framework in rust☆37Updated 2 years 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…☆38Updated last week
- Microkit - A simple operating system framework for the seL4 microkernel☆165Updated this week
- CS 380D Distributed Systems at UT Austin with Vijay Chidambaram☆12Updated 2 years ago
- 💻 A 5-stage pipeline MIPS CPU design in Haskell.☆36Updated 5 years ago
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆20Updated 2 months ago
- ☆24Updated 2 months ago