langyaMK / USTC_SSE_FMF

Related projects ⓘ

Alternatives and complementary repositories for USTC_SSE_FMF

• WYGNG / USTC_SSE_Algorithm
  中国科学技术大学软件学院算法设计与分析课程
  ☆78Updated 4 years ago
• fragile0 / formal-method
  中科大软院形式化方法（华保健老师）
  ☆15Updated 2 years ago
• WYGNG / USTC_SSE_Model
  中国科学技术大学软件学院系统建模课程
  ☆30Updated 4 years ago
• ZRZ-Unknow / os-workbench
  2020春季学期jyy的操作系统课程的实验
  ☆31Updated 4 years ago
• WYGNG / USTC_SSE_CSAPP
  中国科学技术大学软件学院程序设计与计算机系统课程
  ☆12Updated 5 years ago
• chetanyabansal2002 / Poolgame
  ☆10Updated last year
• MingStudentSE / ustcse_courses
  ☆53Updated 3 years ago
• outman123 / USTC-SSE-Courses
  中科大软件学院研究生部分课程，持续更新。仅用于学习，禁止商用
  ☆127Updated 4 years ago
• YuanTao1995 / USTC_SSE_Algorithm
  中科大徐云老师软件学院算法导论课程
  ☆23Updated 4 years ago
• ejunjsh / bustub
  Database practice on cmu15-445 2022
  ☆200Updated last year
• bvanjoi / FMF-homework-2020spring
  FMF, Formal Methods Foundation. 形式化方法2020春，作业
  ☆18Updated 4 years ago
• YXG520 / MIT6.824-6.5840
  Lab2A-D, Lab3A-B, and Lab4A-B in different branches tagged these names so you can easily handle individual parts
  ☆106Updated 11 months ago
• zeigo / sspku_exam
  北大软微 考题回忆，陈向群操作系统，郁莲算法，莫同云计算
  ☆48Updated 4 years ago
• PKUFlyingPig / MIT6.824
  distributed system
  ☆141Updated 3 years ago
• gzy02 / SysProgC
  23秋季工程化C程序设计代码仓库，包括lab1-5的实验代码和实验报告，感兴趣的话就点个star吧~
  ☆12Updated 8 months ago
• PKUFlyingPig / MIT6.S081-2020fall
  MIT undergraduate operating system course
  ☆348Updated 3 years ago
• WYGNG / USTC_SSE_Software_Architectural
  中国科学技术大学软件学院软件体系结构课程
  ☆11Updated 4 years ago
• jlu-xiurui / CMU15445-2021-FALL
  CMU15445-2021-FALL的实源原理讲解及笔记（已完结）
  ☆165Updated 2 years ago
• Chu-Wang / Lab-ComputerOrganization
  华中科技大学计算机组成原理实验，lab of computer organization in HUST CS School.
  ☆21Updated 5 years ago
• 1970633640 / USTC-Advanced-Database-System-Lab-Answer
  中国科学技术大学 高级数据库系统 金培权 全部作业正确答案 Correct Answer of all USTC Advanced Database System Homework in Chinese
  ☆37Updated 4 years ago
• cnstark / ustc_adb_lab
  中科大《高级数据库系统》实验——Storage and Buffer Manager
  ☆17Updated 4 years ago
• Chu-Wang / AssemblyLanguage
  华中科技大学计算机科学与技术学院2017级汇编语言程序设计实验
  ☆22Updated 5 years ago
• debuggerchen / Answer-of-algorithm-introduction-English-
  算法导论答案英文版
  ☆63Updated 6 years ago
• WeilingDu / HITsz-Compilation-Principle-Project
  哈工大（深圳）编译原理实验——词法分析器、语法分析器、语义分析器与中间代码生成、目标代码的生成
  ☆26Updated 3 years ago
• ToniXWD / MIT6.5840
  codes and documents for MIT6.5840(6.824) 2023
  ☆60Updated 2 weeks ago
• LipeiranNJU / os-workbench
  learning OS in NJU
  ☆18Updated 4 years ago
• ruc-deke / rucbase-lab
  RUC Educational Database Project open lab
  ☆186Updated this week
• CalvinHaynes / MIT6.S081-2020-labs
  MIT6.S081实验官方纯净源代码以及我为此制作的开箱即用的实验环境（部署后即可以用web端的Vscode进行实验），转载于MIT官方仓库git clone git://g.csail.mit.edu/xv6-labs-2020，由于GitHub上没有放出2020版本的M…
  ☆69Updated 10 months ago
• zdszero / ustc-adbs-lab
  金培权 高级数据库系统 课程实验2021秋季学期
  ☆22Updated 2 years ago
• niebayes / MIT-6.5840
  My solution for MIT 6.5840 (aka. MIT 6.824). No failure within 30,000 tests.
  ☆112Updated 4 months ago