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.
  ☆12Updated last month
• TheLitFire / USTC-CS-CheatPapers
  Cheat papers for CS courses in USTC. USTC计算机半开卷大抄
  ☆40Updated 4 years ago
• ACMClassCourses / RISCV-CPU
  MS108 Course Project, SJTU ACM Class.
  ☆29Updated 2 years ago
• wildoranges / MahoShojo
  2021年华为毕昇杯中国科学技术大学Maho_Shojo队二等奖作品
  ☆27Updated 2 years ago
• OSH-2020 / x-dontpanic
  team dontpanic in ustc-osh-2020
  ☆9Updated 4 years ago
• sakura0423 / USTC_Graph_Theory
  This is a repository for graph theory course in USTC
  ☆46Updated 2 years ago
• adsl-rg / adsl-rg.github.io
  ☆9Updated last month
• yuxguo / USTC-ComputerArchitecture-2020S
  Code for "Computer Architecture" in 2020 Spring.
  ☆29Updated 4 years ago
• zzh1996 / ustccas-revproxy
  支持 USTC 统一身份认证系统鉴权的反向代理，让你的网站只有科大人可以访问
  ☆25Updated 3 years ago
• taoky / container-slides
  2023/12/22 电三 420 每周会议技术分享：「容器」的 slides 和附件
  ☆10Updated last year
• VariantConst / Marchkov-Helper
  新燕园人的私人班车助手（非官方）。
  ☆52Updated this week
• sysartifacts / sysartifacts.github.io
  Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC
  ☆34Updated 2 weeks ago
• ACMClassCourses / Compiler-Design-Implementation
  ☆76Updated 6 months ago
• Lyncien / USTC-CS-Exam
  ☆112Updated 5 years ago
• ZYHowell / YPU
  YPU is a part of RISCV pipelined CPU for demo-use
  ☆5Updated 4 years ago
• lyc0930 / Online-Judge
  Codes of BaiLian (POJ), Luogu, LeetCode & Course OJ
  ☆17Updated 5 years ago
• SiriusNEO / Masterball
  A Compiler from "Mx* language" (A C++ & Java like language) to RV32I Assembly, with optimizations on LLVM IR. SJTU CS2966 Project.
  ☆11Updated 2 years ago
• lcpu-club / overleaf
  PKU LaTeX
  ☆48Updated last month
• myl7 / compiler-2020-labs
  Compiler 2020 cource of USTC labs
  ☆9Updated 4 years ago
• ACMClassCourses / MS108-2020
  ☆17Updated 3 years ago
• MasterJH5574 / Mx-Compiler
  🔪Mx-Star Compiler Project
  ☆14Updated 4 years ago
• YAVGroup / Verilog-OJ
  Online judge server for Verilog | verilogoj.ustc.edu.cn
  ☆77Updated 7 months ago
• Chivier / enview
  ☆15Updated 2 years ago
• OSH-2022 / x-runikraft
  2022 USTC 011705 (OSH) Course Project of Runikraft Group
  ☆12Updated 2 years ago
• glarer / UserspaceBypass
  ☆51Updated 9 months ago
• ziyueqiu / USTC-CS-Resources
  USTC 18 计算机学院 个人资源分享
  ☆22Updated 3 years ago
• volltin / USTC-CAS-Redirect
  A simple html page to help your application use USTC CAS.
  ☆20Updated 7 years ago
• S4Plus / QuantumCourse
  ☆23Updated 2 years ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台
  ☆202Updated 2 years ago