Alternatives and similar repositories for x-DisGraFS

Users that are interested in x-DisGraFS are comparing it to the libraries listed below

• YuantianDing / HilbertProver
  An Automatic Theorem Prover for Hilbert System, generating nearly-minimal proofs.
  ☆11Updated 5 months ago
• yuxguo / USTC-ComputerArchitecture-2020S
  Code for "Computer Architecture" in 2020 Spring.
  ☆28Updated 5 years ago
• OSH-2020 / x-dontpanic
  team dontpanic in ustc-osh-2020
  ☆9Updated 4 years ago
• adsl-rg / adsl-rg.github.io
  ☆12Updated this week
• sakura0423 / USTC_Graph_Theory
  This is a repository for graph theory course in USTC
  ☆46Updated 2 years ago
• zzh1996 / ustccas-revproxy
  支持 USTC 统一身份认证系统鉴权的反向代理，让你的网站只有科大人可以访问
  ☆25Updated 4 years ago
• taoky / container-slides
  2023/12/22 电三 420 每周会议技术分享：「容器」的 slides 和附件
  ☆10Updated last year
• TheLitFire / USTC-CS-CheatPapers
  Cheat papers for CS courses in USTC. USTC计算机半开卷大抄
  ☆41Updated 4 years ago
• sysartifacts / sysartifacts.github.io
  Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC
  ☆44Updated 2 weeks ago
• wildoranges / MahoShojo
  2021年华为毕昇杯中国科学技术大学Maho_Shojo队二等奖作品
  ☆27Updated 2 years ago
• OSH-2022 / x-runikraft
  2022 USTC 011705 (OSH) Course Project of Runikraft Group
  ☆12Updated 2 years ago
• Lyncien / USTC-CS-Exam
  ☆114Updated 6 years ago
• MasterJH5574 / Mx-Compiler
  🔪Mx-Star Compiler Project
  ☆14Updated 5 years ago
• xlab-uiuc / reading-system-verification-papers
  A reading group for system verification papers
  ☆10Updated last year
• ACMClassCourses / MS108-2020
  ☆17Updated 3 years ago
• OrderLab / TrainCheck
  A Framework for Automated Validation of Deep Learning Training Tasks
  ☆26Updated this week
• YAVGroup / Verilog-OJ
  Online judge server for Verilog | verilogoj.ustc.edu.cn
  ☆80Updated last year
• huang-jl / LLCL-MIPS
  LLCL-MIPS is a superscalar MIPS processor, which supports MIPS Release 1 instructions and is capable of booting linux kernel. （第五届龙芯杯特等奖作…
  ☆36Updated 3 years ago
• lyc0930 / Database-Homework
  Homework assignments of An Introduction to Database System (USTC 2020 spring)
  ☆26Updated 4 years ago
• OSH-2021 / osh-2021.github.io
  OSH-2021
  ☆6Updated 3 years ago
• S4Plus / QuantumCourse
  ☆23Updated 2 years ago
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆21Updated 3 years ago
• SJTU-IPADS / PipeLLM
  ☆19Updated 6 months ago
• pkuzengqi / how-to-begin-phd-CN
  ☆75Updated 2 years ago
• systems-seminar-uiuc / systems-seminar-uiuc.github.io
  website for systems seminar at UIUC
  ☆20Updated last month
• ACMClassCourses / RISCV-CPU
  MS108 Course Project, SJTU ACM Class.
  ☆31Updated 2 years ago
• iBug / USTC-home-jekyll
  使用 Jekyll 和 GitHub Actions 快速在 home.ustc.edu.cn 上部署一个漂亮的个人主页
  ☆15Updated 2 years ago
• Engineev / ravel
  A RISC-V simulator
  ☆36Updated last year
• volltin / vpack
  Utilities for Python developing and debugging.
  ☆22Updated 3 years ago
• ant-research / ace-compiler
  ANT-ACE: Advanced Compiler Ecosystem for Fully Homomorphic Encryption and Domain Specific Computing
  ☆34Updated 3 weeks ago