Alternatives and similar repositories for Books-and-Exercises

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

• S4Plus / QuantumCourse
  ☆23Updated 2 years ago
• ganler / ResearchReading
  General system research material (not limited to paper) reading notes.
  ☆22Updated 4 years ago
• jiegec / naiverouter
  A router IP written in Verilog.
  ☆13Updated 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…
  ☆60Updated 2 years ago
• thu-pacman / HyQuas
  A hybrid partitioner based quantum circuit simulation system on GPU
  ☆47Updated 2 years ago
• pku-minic / MiniVM
  MiniVM is a virtual machine for executing Eeyore/Tigger IR.
  ☆35Updated 3 years ago
• Engineev / quintet
  An implementation of the Raft consensus protocol.
  ☆14Updated 6 years ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆128Updated this week
• ACMClassCourses / MS108-2020
  ☆17Updated 3 years ago
• thu-cs-lab / thinpad_top
  Project template for Artix-7 based Thinpad board
  ☆46Updated 2 years ago
• twd2 / roload
  My DAC '21 work open-sourced.
  ☆14Updated 4 years ago
• Engineev / compiler-offline-judge
  The offline version of acm-compiler-judge
  ☆13Updated 6 years ago
• MasterJH5574 / Mx-Compiler
  🔪Mx-Star Compiler Project
  ☆14Updated 5 years ago
• Engineev / ravel
  A RISC-V simulator
  ☆36Updated last year
• ACM-Class-2016 / probability-theory-lecture-notes
  Lecture notes of Probability Theory.
  ☆50Updated 7 years ago
• jiegec / Projects
  A summary of my projects
  ☆49Updated 3 months ago
• decaf-lang / minidecaf
  The MiniDecaf compilers.
  ☆67Updated 4 years ago
• efeslab / eecs582
  Course website for Advanced Operating Systems
  ☆13Updated 3 years ago
• pku-minic / next-gen-ir-proposal
  Proposal for the next generation of course-oriented IR.
  ☆10Updated 3 years ago
• xuyifangreeneyes / mxcompiler
  Craft a toy compiler
  ☆10Updated 5 years ago
• akothen / Hydride
  A retargetable and extensible synthesis-based compiler for modern hardware architectures
  ☆11Updated last month
• oscardhc / Compiler-Spider
  http://spider.oscardhc.com
  ☆12Updated 4 years ago
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆17Updated 2 years ago
• TrivialCompiler / Talk
  Tex source for talk slide.
  ☆10Updated 4 years ago
• xmcp / pku-eutopia
  兆京大学班车预约 for Humans™
  ☆27Updated last month
• VeriGu / DistAI
  DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols
  ☆16Updated 3 years ago
• ucamrl / xrlflow
  ☆15Updated 2 years ago
• YuantianDing / HilbertProver
  An Automatic Theorem Prover for Hilbert System, generating nearly-minimal proofs.
  ☆11Updated 5 months ago
• OSH-2022 / x-runikraft
  2022 USTC 011705 (OSH) Course Project of Runikraft Group
  ☆12Updated 2 years ago
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 3 years ago