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.
  ☆28Updated 5 years ago
• YAVGroup / Verilog-OJ
  Online judge server for Verilog | verilogoj.ustc.edu.cn
  ☆80Updated last year
• TrivialCompiler / TrivialCompiler
  A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.
  ☆143Updated 4 years ago
• decaf-lang / minidecaf
  The MiniDecaf compilers.
  ☆67Updated 4 years ago
• thu-cs-lab / thinpad_top
  Project template for Artix-7 based Thinpad board
  ☆51Updated last week
• TheLitFire / USTC-CS-CheatPapers
  Cheat papers for CS courses in USTC. USTC计算机半开卷大抄
  ☆41Updated 4 years ago
• Lyncien / USTC-CS-Exam
  ☆114Updated 6 years ago
• decaf-lang / minidecaf-tests
  The MiniDecaf test cases.
  ☆18Updated 4 months ago
• thu-cs-lab / supervisor-rv
  计算机组成原理课程 RISC-V 监控程序，支持 32 位和 64 位
  ☆121Updated 2 weeks ago
• z4yx / supervisor-mips32
  计算机组成原理课程32位监控程序
  ☆50Updated 5 years ago
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler targeting armv7 and risc-v32
  ☆61Updated 7 months ago
• zzh1996 / ustccas-revproxy
  支持 USTC 统一身份认证系统鉴权的反向代理，让你的网站只有科大人可以访问
  ☆26Updated 4 years ago
• jiegec / Projects
  A summary of my projects
  ☆49Updated 2 months ago
• ziyueqiu / USTC-CS-Resources
  USTC 18 计算机学院 个人资源分享
  ☆23Updated 4 years ago
• Summer-Summer / ComputerArchitectureLab
  This repository is used to release the experimental assignments of Computer Architecture Course from USTC
  ☆39Updated 6 years ago
• S4Plus / QuantumCourse
  ☆23Updated 2 years ago
• USTC-vlab / docs
  USTC Vlab 远程教学云桌面平台的使用文档
  ☆46Updated 2 months ago
• sakura0423 / USTC_Graph_Theory
  This is a repository for graph theory course in USTC
  ☆48Updated 2 years ago
• VariantConst / Marchkov-Helper
  新燕园人的私人班车助手（非官方）。
  ☆65Updated 2 months ago
• huang-jl / LLCL-MIPS
  LLCL-MIPS is a superscalar MIPS processor, which supports MIPS Release 1 instructions and is capable of booting linux kernel. （第五届龙芯杯特等奖作…
  ☆37Updated 3 years ago
• taoky / container-slides
  2023/12/22 电三 420 每周会议技术分享：「容器」的 slides 和附件
  ☆10Updated last year
• Engineev / ravel
  A RISC-V simulator
  ☆36Updated 2 years ago
• howardlau1999 / autograder-server
  ☆23Updated last year
• pku-minic / open-test-cases
  Open test cases of PKU compiler course.
  ☆27Updated 3 years ago
• mlzeng / CSC2020-USTC-FlammingMyCompiler
  全国大学生计算机系统能力大赛编译系统设计赛项目
  ☆243Updated 4 years ago
• AlwenXXD / nscscc2021
  龙芯杯21个人赛作品
  ☆35Updated 4 years ago
• libreliu / USTC-CG
  写的快糙猛的课程作业（躺
  ☆10Updated 5 years ago
• segviol / indigo
  A compiler for a C-like toy language (named "SysY") into ARMv7a assembly, written in C++17
  ☆46Updated 5 years ago
• thu-cs-lab / jieplag
  Plagiarism detection tool in Rust (inspired by Stanford Moss)
  ☆52Updated 2 weeks ago
• thu-cs-lab / verilog-coding-standard
  Recommended coding standard of Verilog and SystemVerilog.
  ☆35Updated 3 years ago