Shlw / Books-and-ExercisesLinks
Book reading
☆16Updated 5 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:
- A router IP written in Verilog.☆12Updated 6 years ago
- Open test cases of PKU compiler course.☆28Updated 4 years ago
- An Automatic Theorem Prover for Hilbert System, generating nearly-minimal proofs.☆14Updated 11 months ago
- 🛠Robust SSH: auto-reconnect SSH session that preserves your running shell and command. Intuitive, no server-side setup, aimed at simplic…☆13Updated last month
- MiniVM is a virtual machine for executing Eeyore/Tigger IR.☆35Updated 4 years ago
- Utilities for paper writing.☆12Updated 8 months ago
- Graphiler is a compiler stack built on top of DGL and TorchScript which compiles GNNs defined using user-defined functions (UDFs) into ef…☆59Updated 3 years ago
- Major CS conference publication stats (including accepted and submitted) by year.☆165Updated 2 weeks ago
- PyTorch compilation tutorial covering TorchScript, torch.fx, and Slapo☆17Updated 2 years ago
- A tool for cross-checking Verilog compilers☆14Updated 8 months ago
- 兆京大学班车预约 for Humans™☆30Updated last month
- Artifact for "Apparate: Rethinking Early Exits to Tame Latency-Throughput Tensions in ML Serving" [SOSP '24]☆25Updated last year
- 🔪Mx-Star Compiler Project☆14Updated 5 years ago
- Proposal for the next generation of course-oriented IR.☆10Updated 4 years ago
- The MiniDecaf compilers.☆67Updated 4 years ago
- ☆13Updated 2 years ago
- Some CS notes during Jiawei's undergrad.☆33Updated 4 years ago
- Course Project. PKU Compiler Design. Spring, 2020.☆52Updated 5 years ago
- Take your first step in writing a compiler.☆29Updated 4 years ago
- Documentation for TCP Lab☆12Updated 7 months ago
- A hybrid partitioner based quantum circuit simulation system on GPU☆48Updated 3 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆70Updated 2 years ago
- Supplemental materials for The ASPLOS 2025 / EuroSys 2025 Contest on Intra-Operator Parallelism for Distributed Deep Learning☆24Updated 7 months ago
- Official resporitory for "IPDPS' 24 QSync: Quantization-Minimized Synchronous Distributed Training Across Hybrid Devices".☆20Updated last year
- Project template for Artix-7 based Thinpad board☆52Updated 3 months ago
- Course website for Advanced Operating Systems☆13Updated 3 years ago
- ☆14Updated 2 months ago
- ☆17Updated 4 years ago
- 北京大学本科生毕业论文 latex 模版,基于 pkuthss 1.9.0 修改☆26Updated 3 years ago
- Code released to accompany the ISCA paper: "T4: Compiling Sequential Code for Effective Speculative Parallelization in Hardware"☆28Updated 3 years ago