TUM-DSE / sys-lab
Computer Systems Lab
☆10Updated 4 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:
- ls for the BSc course "Analysis, Design, and Software Architecture" at IT University of Copenhagen☆30Updated 5 months ago
- scrapper for various science databases☆11Updated last year
- embedding MLIR in LEAN☆47Updated 10 months ago
- Embedded Universal DSL: a good DSL for us, by us☆36Updated this week
- egraphs-good website☆17Updated 7 months ago
- Binomial model☆12Updated 5 years ago
- UB-aware interpreter for LLVM debugging☆27Updated last week
- A Python-like programming language for testing and experimenting with concurrent programs.☆18Updated last week
- Introduction to homotopy type theory (reading course), LP2 2023, offered via DAT235/DIT577: Research-oriented course in Computer Science …☆14Updated last year
- Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book☆25Updated 7 years ago
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 2 years ago
- Tool for loading and testing native shaders translated from crosstl☆13Updated 4 months ago
- A Lean 4 package for heavy numerical computations☆18Updated 3 years ago
- A enumerator for MLIR, relying on the information given by IRDL.☆19Updated last month
- ☆10Updated last year
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆42Updated last week
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated 8 months ago
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆18Updated this week
- Compiling finite generators to digital logic. WIP☆14Updated 4 years ago
- Data Visualization Course☆25Updated 7 months ago
- Cycle-level, trace-driven, parallel GPU simulator for NVIDIA Pascal.☆13Updated last year
- ☆11Updated 2 weeks ago
- ☆12Updated 9 months ago
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research☆13Updated 6 months ago
- ☆39Updated last year
- ☆12Updated 2 years ago
- BERT Sentiment Classification on the IMDb Large Movie Review Dataset.☆16Updated 2 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 3 years ago
- Utilities for constructing a large dataset of LLVM IR☆19Updated 9 months ago
- FPGA synthesis tool powered by program synthesis☆46Updated last week