Alternatives and similar repositories for Books-and-Exercises

Users that are interested in Books-and-Exercises are comparing it to the libraries listed below

• wongsingfo / paper-util
  Utilities for paper writing.
  ☆11Updated 3 months ago
• jiegec / naiverouter
  A router IP written in Verilog.
  ☆13Updated 5 years ago
• xmcp / pku-eutopia
  兆京大学班车预约 for Humans™
  ☆27Updated 3 months ago
• gzz2000 / RoSSH
  🛠Robust SSH: auto-reconnect SSH session that preserves your running shell and command. Intuitive, no server-side setup, aimed at simplic…
  ☆13Updated last year
• pku-minic / next-gen-ir-proposal
  Proposal for the next generation of course-oriented IR.
  ☆10Updated 3 years ago
• thu-cs-lab / TCP-Lab-Docs
  Documentation for TCP Lab
  ☆12Updated 2 months ago
• pku-minic / first-step
  Take your first step in writing a compiler.
  ☆29Updated 4 years ago
• pku-minic / open-test-cases
  Open test cases of PKU compiler course.
  ☆27Updated 3 years ago
• decaf-lang / minidecaf
  The MiniDecaf compilers.
  ☆67Updated 4 years ago
• YuantianDing / HilbertProver
  An Automatic Theorem Prover for Hilbert System, generating nearly-minimal proofs.
  ☆11Updated 6 months ago
• OSH-2022 / x-runikraft
  2022 USTC 011705 (OSH) Course Project of Runikraft Group
  ☆12Updated 3 years ago
• jiegec / Projects
  A summary of my projects
  ☆49Updated last month
• efeslab / eecs582
  Course website for Advanced Operating Systems
  ☆13Updated 3 years ago
• dywsjtu / apparate
  Artifact for "Apparate: Rethinking Early Exits to Tame Latency-Throughput Tensions in ML Serving" [SOSP '24]
  ☆25Updated 8 months ago
• were / bfsh
  Being a full-stack hacker, RISCV, LLVM, and more.
  ☆18Updated 3 years ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆134Updated last month
• pku-compiler-design-spring / CompilerProject-2020Spring
  Course Project. PKU Compiler Design. Spring, 2020.
  ☆51Updated 5 years ago
• xiezhq-hermann / graphiler
  Graphiler is a compiler stack built on top of DGL and TorchScript which compiles GNNs defined using user-defined functions (UDFs) into ef…
  ☆59Updated 2 years ago
• yuyangJin / PerFlow-AI
  PerFlow-AI is a programmable performance analysis, modeling, prediction tool for AI system.
  ☆21Updated 3 months ago
• google / iopddl
  Supplemental materials for The ASPLOS 2025 / EuroSys 2025 Contest on Intra-Operator Parallelism for Distributed Deep Learning
  ☆23Updated 2 months ago
• MashPlant / decaf-rs
  Framework of pa code for THU compiler principle course.
  ☆13Updated 5 years ago
• Jiacheng / honeycomb-osdi23-ae
  ☆16Updated 2 years ago
• thu-cs-lab / thinpad_top
  Project template for Artix-7 based Thinpad board
  ☆48Updated 2 years ago
• pku-minic / MiniVM
  MiniVM is a virtual machine for executing Eeyore/Tigger IR.
  ☆35Updated 3 years ago
• thu-cs-lab / JieLabs-Web
  Backend & Frontend for JieLabs
  ☆22Updated 2 years ago
• thu-pacman / HyQuas
  A hybrid partitioner based quantum circuit simulation system on GPU
  ☆47Updated 2 years ago
• ucamrl / xrlflow
  ☆14Updated 2 years ago
• LC-John / MiniC-Compiler
  A PKU-lab aiming for a compiler to compile miniC source code to RISC-V executable
  ☆17Updated 6 years ago
• UofT-EcoSystem / BPPSA-open
  The (open-source part of) code to reproduce "BPPSA: Scaling Back-propagation by Parallel Scan Algorithm".
  ☆12Updated 4 years ago
• VeriGu / DistAI
  DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols
  ☆16Updated 3 years ago