Alternatives and similar repositories for HilbertProver:

Users that are interested in HilbertProver are comparing it to the libraries listed below

• yuxguo / USTC-ComputerArchitecture-2020S
  Code for "Computer Architecture" in 2020 Spring.
  ☆29Updated 4 years ago
• TheLitFire / USTC-CS-CheatPapers
  Cheat papers for CS courses in USTC. USTC计算机半开卷大抄
  ☆40Updated 3 years ago
• YAVGroup / Verilog-OJ
  Online judge server for Verilog | verilogoj.ustc.edu.cn
  ☆77Updated 7 months ago
• OSH-2020 / x-dontpanic
  team dontpanic in ustc-osh-2020
  ☆9Updated 4 years ago
• Lyncien / USTC-CS-Exam
  ☆112Updated 5 years ago
• ziyueqiu / USTC-CS-Resources
  USTC 18 计算机学院 个人资源分享
  ☆22Updated 3 years ago
• zzh1996 / ustccas-revproxy
  支持 USTC 统一身份认证系统鉴权的反向代理，让你的网站只有科大人可以访问
  ☆25Updated 3 years ago
• lyc0930 / Database-Homework
  Homework assignments of An Introduction to Database System (USTC 2020 spring)
  ☆22Updated 4 years ago
• decaf-lang / minidecaf
  The MiniDecaf compilers.
  ☆67Updated 4 years ago
• iBug / backTCP-python
  backTCP is a course lab of « Computer Networking » in fall 2019 of USTC
  ☆17Updated 5 years ago
• decaf-lang / minidecaf-tests
  The MiniDecaf test cases.
  ☆17Updated last year
• OSH-2021 / x-DisGraFS
  Distributed Graph Filesystem
  ☆9Updated 3 years ago
• SmartHypercube / fpga_csgo
  Counter Strike: Global Offensive FPGA Version (LOL)
  ☆15Updated 7 years ago
• jiegec / Projects
  A summarize of my projects.
  ☆47Updated 7 months ago
• iBug / USTC-home-jekyll
  使用 Jekyll 和 GitHub Actions 快速在 home.ustc.edu.cn 上部署一个漂亮的个人主页
  ☆15Updated 2 years ago
• lyc0930 / Online-Judge
  Codes of BaiLian (POJ), Luogu, LeetCode & Course OJ
  ☆17Updated 5 years ago
• thu-cs-lab / thinpad_top
  Project template for Artix-7 based Thinpad board
  ☆45Updated last year
• sakura0423 / USTC_Graph_Theory
  This is a repository for graph theory course in USTC
  ☆46Updated 2 years ago
• S4Plus / QuantumCourse
  ☆23Updated 2 years ago
• lcpu-club / overleaf
  PKU LaTeX
  ☆48Updated 2 weeks ago
• OSH-2018 / OSH-2018.github.io
  课程主页
  ☆23Updated 5 years ago
• volltin / USTC-CAS-Redirect
  A simple html page to help your application use USTC CAS.
  ☆20Updated 6 years ago
• USTC-vlab / docs
  USTC Vlab 远程教学云桌面平台的使用文档
  ☆43Updated last week
• ustc-compiler / 2018fall
  Compiler Course at USTC in 2018 Fall
  ☆23Updated 6 years ago
• OSH-2019 / OSH-2019.github.io
  Course Homepage
  ☆15Updated 5 years ago
• ACMClassCourses / MS108-2020
  ☆17Updated 3 years ago
• myl7 / compiler-2020-labs
  Compiler 2020 cource of USTC labs
  ☆9Updated 4 years ago
• OSH-2022 / x-runikraft
  2022 USTC 011705 (OSH) Course Project of Runikraft Group
  ☆12Updated 2 years ago
• wangchang327 / latex-templates
  日常事务 LaTeX 懒人包
  ☆35Updated 2 years ago
• VariantConst / Marchkov-Helper
  新燕园人的私人班车助手（非官方）。
  ☆51Updated 3 weeks ago