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
  中科大软院形式化方法（华保健老师）
  ☆19Updated 3 years ago
• WYGNG / USTC_SSE_Algorithm
  中国科学技术大学软件学院算法设计与分析课程
  ☆92Updated 5 years ago
• MingStudentSE / ustcse_courses
  ☆57Updated 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
  ☆169Updated 2 years ago
• gzy02 / SysProgC
  23秋季工程化C程序设计代码仓库，包括lab1-5的实验代码和实验报告，感兴趣的话就点个star吧~
  ☆12Updated 10 months ago
• WYGNG / USTC_SSE_Model
  中国科学技术大学软件学院系统建模课程
  ☆33Updated 5 years ago
• viego1999 / wxy-rpc
  ★★★一款基于 Netty + Zookeeper + Nacos + SpringBoot 实现的自定义 RPC 框架
  ☆141Updated 2 years ago
• princeh23 / cppknowledge
  ☆98Updated 2 years ago
• zdszero / ustc-cs-graduate
  中国科学技术大学 计算机 考研复试详解
  ☆440Updated last year
• shaogezhu / easy-rpc
  一款基于Netty+Zookeeper+Spring实现的轻量级Java RPC框架。提供服务注册，发现，负载均衡，支持API调用，Spring集成和Spring Boot starter使用。是一个学习RPC工作原理的良好示例。
  ☆459Updated 2 years ago
• ccznb / material.SCUTSE
  华南理工大学软件学院的期末考试集中对策材料。
  ☆28Updated 5 years ago
• youngyangyang04 / KVstorageBaseRaft-cpp
  【代码随想录知识星球】项目分享-基于Raft的k-v存储数据库🔥
  ☆940Updated last month
• 1345414527 / MIT6.824-2022
  完成了4个lab
  ☆86Updated 3 years ago
• shinezzz / AcWingBasicAlgorithmCourse
  ACWing 算法基础课 Java 版笔记
  ☆181Updated 4 years ago
• duguosheng / 6.S081-All-in-one
  6.S081课程全记录，包括课程使用的书籍、论文、实验要求的中文翻译，以及实验过程记录
  ☆1,270Updated last year
• Vanilla-Beauty / MIT6.5840
  codes and documents for MIT6.5840(6.824) 2023
  ☆99Updated last year
• PKUFlyingPig / MIT6.824
  distributed system
  ☆210Updated 4 years ago
• jlu-xiurui / CMU15445-2021-FALL
  CMU15445-2021-FALL的实源原理讲解及笔记（已完结）
  ☆184Updated 3 years ago
• namewyf / Campus2026
  2026届互联网校招&2025互联网实习信息汇总，欢迎共创
  ☆340Updated last month
• ZRZ-Unknow / os-workbench
  2020春季学期jyy的操作系统课程的实验
  ☆33Updated 5 years ago
• erdengk / gsoc-analyse
  帮助新手参与开源
  ☆555Updated 2 years ago
• viego1999 / Leetcode-Pro
  算法总结，包括常见算法文档和模板题、力扣、OJ
  ☆28Updated last year
• ejunjsh / bustub
  Database practice on cmu15-445 2022
  ☆248Updated 2 years ago
• jlu-xiurui / csapp-labs
  《深入理解计算机系统》-CSAPP的实验笔记、源码、答案（8个实验均已完结）
  ☆51Updated 3 years ago
• doongz / mit-6.824
  MIT 6.824: Distributed System
  ☆53Updated 3 years ago
• fravenx / MIT-6.824
  Lab of MIT 6.824 2023 所有lab 稳定通过一万次以上 All labs stably passed 10,000 times …
  ☆50Updated last year
• weiox / everystep
  🚀 写点笔记、踩坑记录
  ☆418Updated last week
• Mapshiny / CampusRecruit
  ✨23⌈秋招⌋⌈校招⌋面试笔记，C/C++/Java/Go/Python/前端/后端面经合集(含答案)，从秋招一直到春招补录，陪你找到满意工作，欢迎提交pr补充信息，每天持续更新...
  ☆207Updated 2 years ago
• Vanilla-Beauty / miniDouyin
  迷你版抖音后端 || 字节跳动青训营
  ☆37Updated 2 years ago
• erdengk / excellent-wheel
  收集轮子类项目
  ☆1,236Updated 2 years ago