Shlw / Books-and-Exercises

Related projects: ⓘ

• VeriGu / DistAI
  DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols
  ☆13Updated 2 years ago
• jiegec / naiverouter
  A router IP written in Verilog.
  ☆13Updated 4 years ago
• gcc17 / ics196
  ICS seminar 6, 2019 Fall
  ☆11Updated 4 years ago
• ganler / ResearchReading
  General system research material (not limited to paper) reading notes.
  ☆20Updated 3 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…
  ☆58Updated last year
• Engineev / quintet
  An implementation of the Raft consensus protocol.
  ☆15Updated 6 years ago
• ise-uiuc / tzer
  Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.
  ☆70Updated last year
• gzz2000 / RoSSH
  🛠Robust SSH: auto-reconnect SSH session that preserves your running shell and command. Intuitive, no server-side setup, aimed at simplic…
  ☆13Updated 9 months ago
• DnailZ / WangProver
  An Automatic Theorem Prover for L(X) in Wang's Book (数理逻辑 第2版 汪芳庭) in Scala.
  ☆12Updated 2 years ago
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆16Updated last year
• decaf-lang / minidecaf
  The MiniDecaf compilers.
  ☆66Updated 3 years ago
• MasterJH5574 / Mx-Compiler
  🔪Mx-Star Compiler Project
  ☆14Updated 4 years ago
• ACM-Class-2016 / probability-theory-lecture-notes
  Lecture notes of Probability Theory.
  ☆48Updated 6 years ago
• wangchang327 / latex-templates
  日常事务 LaTeX 懒人包
  ☆33Updated 2 years ago
• wongsingfo / paper-util
  Utilities for paper writing.
  ☆11Updated 3 weeks ago
• oscardhc / Compiler-Spider
  http://spider.oscardhc.com
  ☆12Updated 4 years ago
• zhaoyu-li / NSNet
  [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"
  ☆18Updated last year
• ganler / GanlerCS
  Some CS notes during Jiawei's undergrad.
  ☆31Updated 2 years ago
• heheda12345 / MagPy
  ☆14Updated 3 months ago
• S4Plus / QuantumCourse
  ☆23Updated last year
• xmcp / pku-eutopia
  兆京大学班车预约 for Humans™
  ☆27Updated last month
• thu-cs-lab / thinpad_top
  Project template for Artix-7 based Thinpad board
  ☆45Updated last year
• TrivialCompiler / Talk
  Tex source for talk slide.
  ☆10Updated 3 years ago
• Haicang / fdu20fall
  ☆24Updated this week
• efeslab / eecs582
  Course website for Advanced Operating Systems
  ☆12Updated 2 years ago
• Engineev / mocker
  A compiler for course Compiler 2019
  ☆16Updated 4 years ago
• thu-pacman / HyQuas
  A hybrid partitioner based quantum circuit simulation system on GPU
  ☆46Updated 2 years ago
• NoMoreHurt / NoMoreHurt
  ☆19Updated 3 years ago
• systems-seminar-uiuc / systems-seminar-uiuc.github.io
  website for systems seminar at UIUC
  ☆17Updated this week
• wongsingfo / pku-grad-thesis
  北京大学本科生毕业论文 latex 模版，基于 pkuthss 1.9.0 修改
  ☆23Updated 2 years ago