Alternatives and similar repositories for awesome-HUST-CS-SAT-DPLL

Users that are interested in awesome-HUST-CS-SAT-DPLL are comparing it to the libraries listed below

• fly-lovest / HUST-CS-Computer-Communication-and-Networking
  HUST-CS-2019 计算机网络课程及其实验
  ☆50Updated 2 years ago
• flyleeee / noob_hust_cs_20
  华中科技大学计算机学院20级实验报告/代码——汇编实验；机器学习；计算机系统基础；算法实验；游戏设计；组原；计算机网络；软件工程；数据库；计算机视觉；操作系统课设
  ☆46Updated last year
• liuwenbo0 / hust-csapp
  华中科技大学计算机系统基础实验报告（共64页）
  ☆17Updated last year
• SukunaShinmyoumaru-hust / Hust-opensource-Xuejie
  一个华科计算机学院的资料集合 https://yuhangchen1.github.io/HUST_OPEN_SOURCE/
  ☆362Updated last week
• reKelin / Database-experiment-based-on-MySQL
  华中科技大学 数据库系统原理实践 - 以MySQL为例
  ☆65Updated 2 years ago
• berries-tart / HUST-Principles-of-Imperative-Computation
  华中科技大学2022级命令式计算原理
  ☆12Updated last year
• Oliver-242 / HUST-Operating-System-PKE
  华中科技大学2020级操作系统实验（PKE）
  ☆67Updated 2 years ago
• Oliver-242 / HUST-Compiler-Principles-Experiment
  华中科技大学2020级编译原理educoder实验
  ☆68Updated 2 years ago
• LouJunKing / HUST-Database
  华科计算机数据库实验-2022
  ☆24Updated 2 years ago
• Nuyoahwjl / HUST-CS
  华中科技大学计算机学院23级课程存档
  ☆19Updated last week
• Bduoluoluo / HUST-OS-lab-riscv-pke
  华中科技大学计算机科学与技术学院操作系统实验/课设
  ☆11Updated last year
• Starrylay / awesome-HUST-CS-MIPS-CPU
  HUST CS 19级组原课设/华中科技大学计算机组成原理课程设计/MIPS五段流水CPU/华中科技大学计算机组成原理课程设计/华科组原课设/MIPS-CPU/单周期/流水线/分支预测。来自学长的溺爱x，让你copy的明白。
  ☆128Updated 2 years ago
• Billy1900 / DPLL-Algorithm
  华中科技大学数据结构课程设计2018 An algorithm to solve SAT problem
  ☆40Updated 6 years ago
• Oye7z / HUST-Computer-Networking
  华中科技大学计算机网络实验
  ☆16Updated 4 years ago
• Ilosyi / Hust-CS-Learning-Library
  华中科技大学计算机个人资料合集:课设/实验报告等。tag:数电实验交通灯，C++实验华为，C语言实验，数据结构实验，洛谷算法实验，数据结构课设SAT数独求解器，电路理论，Java，计基实验
  ☆61Updated 2 weeks ago
• GoodGap / HUSTCS-BigData-2021
  华中科技大学计算机学院2021级大数据专业课程资料（2021-2024）
  ☆35Updated 5 months ago
• Oliver-242 / HUST-database-opengauss
  华中科技大学2020级数据库（opengauss版）educoder
  ☆47Updated 2 years ago
• CubeLander / hust-pke-docs
  华中科技大学 riscv-pke 操作系统实验课设
  ☆15Updated 6 months ago
• gushouchuanzhi1 / 2024_hust_BigDataProcess
  2024年春，华中科技大学大数据处理课程实验
  ☆13Updated 2 months ago
• xiong35 / HUST-MachineLearning
  华中科技大学机器学习作业&课设. Solutions to HUST ML class tasks.
  ☆85Updated 3 years ago
• Zhou-David / HUST-DataStructure-CourseDesign
  华中科技大学数据结构课程设计，基于SAT的二进制数独求解
  ☆12Updated 4 years ago
• liuxynb / HUST_OS_PKE
  ☆25Updated last year
• HUSTERGS / HUSTCS
  华中科技大学CS文件存留，包含相关资料，代码以及报告
  ☆163Updated 4 years ago
• Wind0121 / HUST-Operating-System-PKE
  华中科技大学操作系统实验
  ☆20Updated last year
• walkalone20 / HUST_RISCV-CPU
  华中科技大学计算机组成原理课程设计
  ☆34Updated 2 years ago
• darzz0 / HUST-operating-system-lab
  华中科技大学操作系统实验 (Operating System lab of HUST) 包括课设内容
  ☆15Updated 2 years ago
• zz12138zz / HUST_Computer_Organization
  华中科技大学计算机学院计算机组成原理实验
  ☆12Updated 3 years ago
• yali-hzy / PIC-in-HUST
  华中科技大学命令式计算原理作业
  ☆13Updated 9 months ago
• jiajingyyyyyy / HUST-SAT_solver_embedded_in_hanidoku
  华中科技大学程序设计综合课设，基于DPLL算法的SAT求解器+蜂窝数独 / stater
  ☆14Updated 2 years ago
• fly-lovest / HUST-CS-Comprehensive-hardware-training
  HUST-CS-2019 硬件综合训练-组原课设-riscv实现
  ☆17Updated 2 years ago