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:
- Tool for loading and testing native shaders translated from crosstl☆12Updated 8 months ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆15Updated 3 years ago
- Embedded Universal DSL: a good DSL for us, by us☆44Updated this week
- A enumerator for MLIR, relying on the information given by IRDL.☆19Updated last week
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆104Updated 3 weeks ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 3 years ago
- Microkit - A simple operating system framework for the seL4 microkernel☆132Updated this week
- Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF…☆87Updated this week
- Superscalar RISC-V processor written in Clash.☆34Updated 3 years ago
- Tenstorrent system interface library☆31Updated last week
- The Shine compiler for the RISE language☆83Updated last month
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆31Updated 3 weeks ago
- A memory allocator verified with Verus☆24Updated last month
- Verification and optimization tool for concurrent code☆25Updated last month
- A Python-like programming language for testing and experimenting with concurrent programs.☆26Updated last month
- An attempt at safe imperative GPU programming.☆49Updated 2 weeks ago
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- seL4 Device Driver Framework☆21Updated last year
- ☆29Updated 2 weeks ago
- embedding MLIR in LEAN☆47Updated last year
- A System for Differential Debugging☆21Updated 4 months ago
- Nix Expressions for Altera(Intel) Quartus☆16Updated 4 years ago
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- Course website for Advanced Operating Systems☆13Updated 3 years ago
- WebAssembly AOT compiler with cross-CPU checkpoint/restore support☆20Updated 2 months ago
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆64Updated last month
- Easy SMT solver interaction☆35Updated last month
- 💻 A 5-stage pipeline MIPS CPU design in Haskell.☆36Updated 5 years ago
- ☆13Updated last month
- An experimental optimizing compiler for Bril☆74Updated last week