TUM-DSE / sys-lab
Computer Systems Lab
☆10Updated 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
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 2 years ago
- Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book☆25Updated 7 years ago
- egraphs-good website☆16Updated 5 months ago
- Introduction to homotopy type theory (reading course), LP2 2023, offered via DAT235/DIT577: Research-oriented course in Computer Science …☆14Updated 11 months ago
- A Python-like programming language for testing and experimenting with concurrent programs.☆17Updated 3 weeks ago
- A new language for optimization☆13Updated 3 years ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆32Updated last week
- Advanced Operating Systems project☆20Updated 6 months ago
- ls for the BSc course "Analysis, Design, and Software Architecture" at IT University of Copenhagen☆30Updated 3 months ago
- SIGPLAN website☆11Updated 2 weeks ago
- RISC-V BSV Specification☆20Updated 5 years ago
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆31Updated this week
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Updated last year
- A framework for managing daemons from Haskell and libraries for use with postgresql and nix☆20Updated last month
- MLIR tools and dialect for GraphBLAS☆18Updated 3 years ago
- lean-related presentations☆16Updated last year
- Compiling finite generators to digital logic. WIP☆14Updated 4 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆13Updated last month
- Columnar database on SSD NVMe☆13Updated 3 years ago
- Binomial model☆12Updated 5 years ago
- Iodine: Verifying Constant-Time Execution of Hardware☆12Updated 4 years ago
- RISC-V instruction set CPUs in HardCaml☆15Updated 8 years ago
- Embedded Universal DSL: a good DSL for us, by us☆34Updated this week
- Reinforcement learning framework to find and analyze the likeliest failures of a system under test.☆13Updated 11 months ago
- embedding MLIR in LEAN☆47Updated 9 months ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆11Updated 3 years ago
- ☆11Updated 4 years ago
- FPGA synthesis tool powered by program synthesis☆41Updated 4 months ago
- Quantum circuits compiler with staging and continuations☆16Updated 4 months ago
- Foundations of Computer Science notebooks☆16Updated 5 months ago