Shlw / Books-and-Exercises
Book reading
☆15Updated 4 years ago
Alternatives and similar repositories for Books-and-Exercises
Users that are interested in Books-and-Exercises are comparing it to the libraries listed below
Sorting:
- 🔪Mx-Star Compiler Project☆14Updated 4 years ago
- Main project, Compiler design PKU 2019 Spring☆8Updated 5 years ago
- An Automatic Theorem Prover for Hilbert System, generating nearly-minimal proofs.☆11Updated 3 months ago
- A router IP written in Verilog.☆13Updated 5 years ago
- Project template for Artix-7 based Thinpad board☆46Updated 2 years ago
- The MiniDecaf compilers.☆67Updated 4 years ago
- A RISC-V simulator☆36Updated last year
- Artifact for "Apparate: Rethinking Early Exits to Tame Latency-Throughput Tensions in ML Serving" [SOSP '24]☆24Updated 5 months ago
- A summary of my projects☆49Updated last month
- ☆23Updated 2 years ago
- Graphiler is a compiler stack built on top of DGL and TorchScript which compiles GNNs defined using user-defined functions (UDFs) into ef…☆61Updated 2 years ago
- Backend & Frontend for JieLabs☆22Updated 2 years ago
- 2022 USTC 011705 (OSH) Course Project of Runikraft Group☆12Updated 2 years ago
- Personal course notes (in Chinese) for THU CST.☆14Updated 6 years ago
- ☆17Updated 3 years ago
- A hybrid partitioner based quantum circuit simulation system on GPU☆47Updated 2 years ago
- The MiniDecaf test cases.☆17Updated last year
- ICS seminar 6, 2019 Fall☆11Updated 5 years ago
- ☆13Updated 5 months ago
- Some CS notes during Jiawei's undergrad.☆31Updated 3 years ago
- ☆14Updated 2 years ago
- 兆京大学班车预约 for Humans™☆27Updated last week
- Supplemental materials for The ASPLOS 2025 / EuroSys 2025 Contest on Intra-Operator Parallelism for Distributed Deep Learning☆23Updated this week
- Being a full-stack hacker, RISCV, LLVM, and more.☆17Updated 3 years ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆17Updated 2 years ago
- General system research material (not limited to paper) reading notes.☆21Updated 4 years ago
- http://spider.oscardhc.com☆12Updated 4 years ago
- Major CS conference publication stats (including accepted and submitted) by year.☆124Updated 3 weeks ago
- Utilities for paper writing.☆11Updated 3 weeks ago
- 🛠Robust SSH: auto-reconnect SSH session that preserves your running shell and command. Intuitive, no server-side setup, aimed at simplic…☆13Updated last year