Bc-Gg / MySat
XMU数理逻辑实验课 我的<sat>工具箱 --DPLL
☆8Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for MySat
- For reference only, please do not plagiarize.☆12Updated 8 months ago
- 长期维护，无需本地部署，在线fork仓库即可使用的厦大Daily Health Report 健康打卡自动填写脚本☆298Updated last year
- 该编译器主要用来将SysY语言编译为arm汇编指令，并且对编译生成的代码进行优化。SysY 语言是 C 语言的一个子集。每个 SysY程序的源码存储在一个扩展名为 sy 的文件中。该文件中有且仅有一个名为 main的主函数定义,还可以包含若干全局变量声明、常量声明和其他函数…☆64Updated 2 years ago
- Optimizing compiler for SysY (C subset)☆39Updated 7 months ago
- 发布23年计算机保研夏令营和预推免通知，往年的保研经验帖；需要带保研或计算机保研资料联系qq：1585601434☆236Updated last year
- ☆86Updated 3 years ago
- 关于2021年CS保研夏令营通知公告的汇总。欢迎大家积极分享夏令营信息，资瓷一下互联网精神吼不吼啊？☆768Updated 2 years ago
- 简化的c语言（SysY）编译器☆32Updated 2 years ago
- 关于2021年CS保研预推免通知公告的汇总☆395Updated 2 years ago
- 计算机保研交流群（QQ群号：605176069）☆694Updated 3 years ago
- Computer Graphics course in Fudan University 复旦大学《计算机图形学》课程☆8Updated 3 years ago
- SQL database written in C++, based on the course Stanford CS 346 and redbase.☆10Updated 8 years ago
- 学生成绩管理系统☆5Updated 3 years ago
- ☆11Updated 5 months ago
- This is the NKU's edition of NJU ICS Programming Assignment(aka ics-pa)☆22Updated 5 years ago
- 关于2022年CS保研实验室/导师招生广告的汇总。欢迎想要打广告的小伙伴积极pr，资瓷一下互联网精神吼不吼啊 ？☆284Updated last year
- 关于2022年CS保研预推免通知公告的汇总，欢迎大家积极分享预推免信息，资瓷一下互联网精神吼不吼啊？☆627Updated 2 years ago
- 南京大学编译原理实验☆100Updated 2 years ago
- 国科大2021秋季学期计算机算法设计与分析（陈玉福老师）课程作业相关代码以及说明☆29Updated 2 years ago
- 2021年中国科学技术大学编译原理(H)课程实验项目☆24Updated last year
- ZJU 编译原理大作业☆2Updated 4 years ago
- Database system project based on CMU 15-445/645 (FALL 2020) https://15445.courses.cs.cmu.edu/fall2020/assignments.html☆49Updated 2 years ago
- 关于2022年CS保研夏令营通知公告的汇总。欢迎大家积极分享夏令营信息，资瓷一下互联网精神吼不吼啊？☆1,280Updated 2 years ago
- 厦门大学本科毕业论文 LaTeX 模版和毕业答辩幻灯片 LaTeX 模版☆65Updated 2 years ago
- 不保证全面且真实，个人使用。排序的 https://github.com/LinghaoChan/CSSummerCamp2022 https://github.com/CS-BAOYAN/CSYuTuiMian2022☆25Updated 2 years ago
- 南京大学计算机系2021秋季学期数字逻辑与计算机组成课程实验☆14Updated 2 years ago
- A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.☆137Updated 3 years ago
- A simple compiler for compiling SysY language into ARMv7-A instructions.☆12Updated 3 years ago
- MiniSQL database engine and Library Management System, based on Python and UWP design.☆41Updated 5 years ago