TUM-DSE / sys-lab
Computer Systems Lab
☆10Updated last month
Related projects ⓘ
Alternatives and complementary repositories for sys-lab
- ls for the BSc course "Analysis, Design, and Software Architecture" at IT University of Copenhagen☆28Updated last week
- egraphs-good website☆15Updated last month
- A Python-like programming language for testing and experimenting with concurrent programs.☆15Updated last week
- Documentation and links about the course☆24Updated last year
- [CF ’20] Verified Instruction-Level Energy Consumption Measurement for NVIDIA GPUs☆15Updated 3 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆12Updated 6 years ago
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆23Updated this week
- BERT Sentiment Classification on the IMDb Large Movie Review Dataset.☆13Updated 2 years ago
- FPGA-based HyperLogLog Accelerator☆12Updated 4 years ago
- Python Overleaf API and simple CLI☆19Updated last year
- Regex Engine using SIMD and Roaring-Bitmaps☆8Updated last year
- MLIR tools and dialect for GraphBLAS☆16Updated 2 years ago
- ☆11Updated 3 years ago
- A lightweight MLIR Python frontend with support for PyTorch☆20Updated 2 months ago
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆12Updated 6 months ago
- A memory profiler for NVIDIA GPUs to explore memory inefficiencies in GPU-accelerated applications.☆22Updated last month
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆11Updated last year
- Collection of toolchains built from source☆15Updated last week
- Article Analysis Assistant☆16Updated 3 weeks ago
- Reinforcement learning framework to find and analyze the likeliest failures of a system under test.☆11Updated 6 months ago
- Real time, high throughput digital holography software☆17Updated this week
- Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book☆23Updated 7 years ago
- Course website for Advanced Operating Systems☆12Updated 2 years ago
- The Cubicle model checker☆13Updated 8 months ago
- Linux source code for ISCA 2020 paper "Enhancing and Exploiting Contiguity for Fast Memory Virtualization"☆17Updated 4 years ago
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆17Updated this week
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆27Updated 2 weeks ago
- ☆16Updated 4 months ago
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆13Updated last year
- An ssh server that creates new users on-the-fly, great for letting users participate in a demo☆16Updated 10 months ago