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
  中科大软院形式化方法（华保健老师）
  ☆16Updated 3 years ago
• WYGNG / USTC_SSE_Algorithm
  中国科学技术大学软件学院算法设计与分析课程
  ☆85Updated 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
  ☆152Updated last year
• gzy02 / SysProgC
  23秋季工程化C程序设计代码仓库，包括lab1-5的实验代码和实验报告，感兴趣的话就点个star吧~
  ☆12Updated 4 months ago
• chetanyabansal2002 / Poolgame
  ☆10Updated 2 years ago
• zijing2333 / CSView
  CSView是一个互联网面试知识学习和汇总项目，包括面试高频算法、系统设计、计算机网络、操作系统、C++、Java、golang、MySQL、Redis、K8s、消息队列等常见面试题。
  ☆632Updated last year
• Vanilla-Beauty / MIT6.5840
  codes and documents for MIT6.5840(6.824) 2023
  ☆86Updated 8 months ago
• MingStudentSE / ustcse_courses
  ☆58Updated 3 years ago
• PKUFlyingPig / MIT6.824
  distributed system
  ☆185Updated 4 years ago
• ejunjsh / bustub
  Database practice on cmu15-445 2022
  ☆240Updated 2 years ago
• LRL52 / CS144-Sponge
  Standford CS144 Lab (Sponge 版本)，已全部完成
  ☆80Updated last year
• Gaius-Iulius-Caesar / StorageAndBufferManager
  USTC SSE 2022高级数据库技术期末实验
  ☆8Updated 2 years ago
• WYGNG / USTC_SSE_Model
  中国科学技术大学软件学院系统建模课程
  ☆31Updated 4 years ago
• namewyf / Campus2026
  2026届互联网校招&2025互联网实习信息汇总，欢迎共创
  ☆257Updated this week
• zdszero / ustc-cs-graduate
  中国科学技术大学 计算机 考研复试详解
  ☆421Updated last year
• viego1999 / wxy-rpc
  ★★★一款基于 Netty + Zookeeper + Nacos + SpringBoot 实现的自定义 RPC 框架
  ☆133Updated 2 years ago
• fravenx / MIT-6.824
  Lab of MIT 6.824 2023 所有lab 稳定通过一万次以上 All labs stably passed 10,000 times …
  ☆45Updated last year
• youngyangyang04 / KVstorageBaseRaft-cpp
  【代码随想录知识星球】项目分享-基于Raft的k-v存储数据库🔥
  ☆852Updated 6 months ago
• 1187829045 / CMU15445-2023fall
  Bustub project
  ☆1Updated 11 months ago
• Mapshiny / CampusRecruit
  ✨23⌈秋招⌋⌈校招⌋面试笔记，C/C++/Java/Go/Python/前端/后端面经合集(含答案)，从秋招一直到春招补录，陪你找到满意工作，欢迎提交pr补充信息，每天持续更新...
  ☆204Updated 2 years ago
• jlu-xiurui / CMU15445-2021-FALL
  CMU15445-2021-FALL的实源原理讲解及笔记（已完结）
  ☆181Updated 2 years ago
• niebayes / MIT-6.5840
  My solution for MIT 6.5840 (aka. MIT 6.824). No failure within 30,000 tests.
  ☆127Updated 11 months ago
• PKUFlyingPig / MIT6.S081-2020fall
  MIT undergraduate operating system course
  ☆394Updated 4 years ago
• zeigo / sspku_exam
  北大软微 考题回忆，陈向群操作系统，郁莲算法，莫同云计算
  ☆56Updated 5 years ago
• doongz / mit-6.824
  MIT 6.824: Distributed System
  ☆41Updated 2 years ago
• YukunJ / BusTub-DB
  ☆30Updated 2 years ago
• ZRZ-Unknow / os-workbench
  2020春季学期jyy的操作系统课程的实验
  ☆32Updated 4 years ago
• erdengk / gsoc-analyse
  帮助新手参与开源
  ☆543Updated last year
• jzplp / Computer-Network-A-Top-Down-Approach-Answer
  计算机网络-自顶向下方法 习题/编程/实验答案
  ☆1,461Updated 3 years ago
• czczcz831 / tiktok-mall
  tiktok-mall
  ☆18Updated 4 months ago