TUM-DSE / sys-labLinks
Computer Systems Lab
☆11Updated 2 weeks 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 7 months ago
- scrapper for various science databases☆11Updated last year
- Repository for the HARDENS project☆25Updated 7 months ago
- 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
- Contract-Based Goal Graph Implementation. Combining LTL synthesis and contract-based design to model and analysis complex systems☆11Updated 2 years ago
- work in progress, playing around with btor2 in rust☆11Updated 3 weeks ago
- Iodine: Verifying Constant-Time Execution of Hardware☆13Updated 4 years ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆12Updated 2 years ago
- BERT Sentiment Classification on the IMDb Large Movie Review Dataset.☆16Updated 2 years ago
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 3 years ago
- Lecture notes on Introduction to Galois Theory by Ekaterina Amerik (Higher School of Economics / Coursera)☆15Updated 2 years ago
- lean-related presentations☆16Updated last year
- Code repo for paper: ICML 2020 paper Natural lottery ticket winner: RL for ordinary neural circuits☆13Updated 5 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Updated last year
- Welcome to the ultimate list of resources for formal verification techniques and tools. This repository aims to provide an organized coll…☆43Updated 5 months ago
- Reinforcement learning framework to find and analyze the likeliest failures of a system under test.☆14Updated last year
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆18Updated last month
- A Python-like programming language for testing and experimenting with concurrent programs.☆23Updated last week
- A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏☆35Updated 5 months ago
- Data Visualization Course☆25Updated 9 months ago
- Module 9 : Open Educational Resources☆12Updated 5 years ago
- ☆17Updated last year
- README-filen er selvskrevet kompendium i Kommunikasjon, Tjenester og nettverk - TTM4100☆8Updated 7 years ago
- ☆24Updated last year
- egraphs-good website☆17Updated 9 months ago
- MIT IEEE URTC 2023. GSET 2023. Repository for "SeBRUS: Mitigating Data Poisoning in Crowdsourced Datasets with Blockchain". Using Ethere…☆10Updated last year
- embedding MLIR in LEAN☆47Updated last year
- Tools for reasoning about circuits in Rosette/Racket 🔌☆19Updated 5 months ago
- FPGA synthesis tool powered by program synthesis☆51Updated last week