TUM-DSE / sys-lab
Computer Systems Lab
☆10Updated last month
Related projects ⓘ
Alternatives and complementary repositories for sys-lab
- lean-related presentations☆16Updated 9 months ago
- A Python-like programming language for testing and experimenting with concurrent programs.☆15Updated this week
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 2 years ago
- ☆11Updated 3 months ago
- Compiling finite generators to digital logic. WIP☆14Updated 4 years ago
- A Lean 4 package for heavy numerical computations☆17Updated 2 years ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆15Updated 2 years ago
- embedding MLIR in LEAN☆47Updated 5 months ago
- Quantum circuits compiler with staging and continuations☆15Updated this week
- ☆13Updated last year
- ☆8Updated 3 months ago
- Repository for the course Logical Verification 2019–2020 at VU Amsterdam☆13Updated 4 years ago
- ☆11Updated 3 years ago
- An experimental modular OS written in Rust.☆13Updated 4 months ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆16Updated 2 years ago
- An LLVM interface for Lean 4. (WIP)☆15Updated last year
- SIGPLAN website☆10Updated this week
- ls for the BSc course "Analysis, Design, and Software Architecture" at IT University of Copenhagen☆28Updated this week
- Experiments with some ways of automating reasoning in lean 4☆15Updated 7 months ago
- ☆21Updated 2 years ago
- Wrapper for ETH Ariane Core☆19Updated 3 months ago
- benchmarking e-graph extraction☆36Updated 2 weeks ago
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆17Updated this week
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Updated 8 months ago
- ☆10Updated 3 years ago
- GPU based Compressed Graph Traversal☆16Updated last year
- egraphs-good website☆15Updated last month
- Calculus of Constructions Implementation☆14Updated 4 years ago
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆13Updated last year