Alternatives and similar repositories for USTC_SSE_FMF:

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

• fragile0 / formal-method
  中科大软院形式化方法（华保健老师）
  ☆17Updated 3 years ago
• WYGNG / USTC_SSE_Algorithm
  中国科学技术大学软件学院算法设计与分析课程
  ☆81Updated 4 years ago
• gzy02 / SysProgC
  23秋季工程化C程序设计代码仓库，包括lab1-5的实验代码和实验报告，感兴趣的话就点个star吧~
  ☆12Updated 2 months ago
• Gaius-Iulius-Caesar / StorageAndBufferManager
  USTC SSE 2022高级数据库技术期末实验
  ☆8Updated 2 years ago
• WYGNG / USTC_SSE_Model
  中国科学技术大学软件学院系统建模课程
  ☆30Updated 4 years ago
• MingStudentSE / ustcse_courses
  ☆58Updated 3 years ago
• chetanyabansal2002 / Poolgame
  ☆10Updated 2 years ago
• bvanjoi / FMF-homework-2020spring
  FMF, Formal Methods Foundation. 形式化方法2020春，作业
  ☆18Updated 4 years ago
• YuanTao1995 / USTC_SSE_Algorithm
  中科大徐云老师软件学院算法导论课程
  ☆23Updated 4 years ago
• ZRZ-Unknow / os-workbench
  2020春季学期jyy的操作系统课程的实验
  ☆32Updated 4 years ago
• PKUFlyingPig / MIT6.824
  distributed system
  ☆170Updated 4 years ago
• outman123 / USTC-SSE-Courses
  中科大软件学院研究生部分课程，持续更新。仅用于学习，禁止商用
  ☆140Updated 4 years ago
• 1970633640 / USTC-Advanced-Database-System-Lab-Answer
  中国科学技术大学 高级数据库系统 金培权 全部作业正确答案 Correct Answer of all USTC Advanced Database System Homework in Chinese
  ☆40Updated 5 years ago
• jlu-xiurui / csapp-labs
  《深入理解计算机系统》-CSAPP的实验笔记、源码、答案（8个实验均已完结）
  ☆48Updated 2 years ago
• cnstark / ustc_adb_lab
  中科大《高级数据库系统》实验——Storage and Buffer Manager
  ☆20Updated 5 years ago
• jlu-xiurui / CMU15445-2021-FALL
  CMU15445-2021-FALL的实源原理讲解及笔记（已完结）
  ☆176Updated 2 years ago
• fangcao1314 / Digital_Image_Processing_Lab
  中国科学技术大学 软件学院 高级图像处理 实验
  ☆14Updated 6 years ago
• debuggerchen / Answer-of-algorithm-introduction-English-
  算法导论答案英文版
  ☆75Updated 7 years ago
• 1345414527 / MIT6.830
  MIT6.830要我们基于java语言实现一个数据库系统，一共6个lab。
  ☆30Updated 2 years ago
• zhanlaoban / USTC_Reexamination
  本仓库建立的目的是，共享中国科学技术大学(USTC)计算机科学与技术学院硕士研究生历年复试真题。
  ☆48Updated 5 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
  ☆142Updated last year
• zszz3 / XCPC-KAOYAN
  2024XCPC考研经验贴汇总
  ☆28Updated last year
• ejunjsh / bustub
  Database practice on cmu15-445 2022
  ☆227Updated 2 years ago
• LRL52 / CS144-Sponge
  Standford CS144 Lab (Sponge 版本)，已全部完成
  ☆75Updated 10 months ago
• zeigo / sspku_exam
  北大软微 考题回忆，陈向群操作系统，郁莲算法，莫同云计算
  ☆56Updated 5 years ago
• zdszero / ustc-cs-graduate
  中国科学技术大学 计算机 考研复试详解
  ☆408Updated last year
• WYGNG / USTC_SSE_CSAPP
  中国科学技术大学软件学院程序设计与计算机系统课程
  ☆11Updated 5 years ago
• duliu12 / USTC_SSE_SA
  软件体系结构实验-分布式机群监管系统，实现对停车场对监管
  ☆12Updated 4 years ago
• seahorseZhang / CMU15445-2022fall
  ☆27Updated 2 years ago
• WYGNG / USTC_SSE_Software_Architectural
  中国科学技术大学软件学院软件体系结构课程
  ☆11Updated 4 years ago