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
  中国科学技术大学软件学院算法设计与分析课程
  ☆85Updated 5 years ago
• MingStudentSE / ustcse_courses
  ☆57Updated 4 years ago
• shaogezhu / easy-rpc
  一款基于Netty+Zookeeper+Spring实现的轻量级Java RPC框架。提供服务注册，发现，负载均衡，支持API调用，Spring集成和Spring Boot starter使用。是一个学习RPC工作原理的良好示例。
  ☆455Updated 2 years ago
• zijing2333 / CSView
  CSView是一个互联网面试知识学习和汇总项目，包括面试高频算法、系统设计、计算机网络、操作系统、C++、Java、golang、MySQL、Redis、K8s、消息队列等常见面试题。
  ☆683Updated last year
• viego1999 / wxy-rpc
  ★★★一款基于 Netty + Zookeeper + Nacos + SpringBoot 实现的自定义 RPC 框架
  ☆141Updated 2 years ago
• viego1999 / JavaWxy
  Java学习路线和资料分享
  ☆349Updated last year
• 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
  ☆160Updated last year
• namewyf / Campus2026
  2026届互联网校招&2025互联网实习信息汇总，欢迎共创
  ☆325Updated 2 months ago
• viego1999 / Leetcode-Pro
  算法总结，包括常见算法文档和模板题、力扣、OJ
  ☆27Updated last year
• Mapshiny / CampusRecruit
  ✨23⌈秋招⌋⌈校招⌋面试笔记，C/C++/Java/Go/Python/前端/后端面经合集(含答案)，从秋招一直到春招补录，陪你找到满意工作，欢迎提交pr补充信息，每天持续更新...
  ☆204Updated 2 years ago
• youngyangyang04 / Skiplist-Java
  A tiny KV storage based on skiplist written in Java language| 使用Java开发，基于跳表实现的轻量级键值数据库🔥🔥 🚀
  ☆30Updated last year
• zeigo / sspku_exam
  北大软微 考题回忆，陈向群操作系统，郁莲算法，莫同云计算
  ☆58Updated 5 years ago
• WYGNG / USTC_SSE_Model
  中国科学技术大学软件学院系统建模课程
  ☆31Updated 5 years ago
• erdengk / excellent-wheel
  收集轮子类项目
  ☆1,210Updated 2 years ago
• gzy02 / SysProgC
  23秋季工程化C程序设计代码仓库，包括lab1-5的实验代码和实验报告，感兴趣的话就点个star吧~
  ☆12Updated 7 months ago
• shinezzz / AcWingBasicAlgorithmCourse
  ACWing 算法基础课 Java 版笔记
  ☆178Updated 4 years ago
• viego1999 / xy-dianping
  基于SpringBoot+Redis+Mybatis+MySQL+RabbitMQ技术的仿大众点评项目
  ☆28Updated last year
• Vanilla-Beauty / MIT6.5840
  codes and documents for MIT6.5840(6.824) 2023
  ☆95Updated 11 months ago
• haopengmai / dianping
  黑马点评项目优化，新增消息队列RabbitMQ，令牌桶限流实现优惠券秒杀，用户登录限流(redis实现滑动窗口)等功能
  ☆326Updated 7 months ago
• youngyangyang04 / RPC-Java
  【代码随想录知识星球】项目分享-手撕RPC框架🔥
  ☆636Updated 7 months ago
• doongz / mit-6.824
  MIT 6.824: Distributed System
  ☆49Updated 2 years ago
• LRL52 / CS144-Sponge
  Standford CS144 Lab (Sponge 版本)，已全部完成
  ☆89Updated last year
• cs001020 / hmdp
  黑马点评
  ☆254Updated last year
• zdszero / ustc-cs-graduate
  中国科学技术大学 计算机 考研复试详解
  ☆426Updated last year
• PKUFlyingPig / MIT6.824
  distributed system
  ☆201Updated 4 years ago
• youngyangyang04 / mini-spring
  【代码随想录知识星球】项目分享-手写mini-spring框架
  ☆183Updated 2 months ago
• happysnaker / CSAPPLabsAndNotes
  CSAPPLabs详解与读书笔记，邀请您共同完成读书笔记，附深入理解计算机系统原书第二版pdf，详解CSAPP实验的全过程。
  ☆64Updated 4 years ago
• jlu-xiurui / CMU15445-2021-FALL
  CMU15445-2021-FALL的实源原理讲解及笔记（已完结）
  ☆183Updated 3 years ago
• outman123 / USTC-SSE-Courses
  中科大软件学院研究生部分课程，持续更新。仅用于学习，禁止商用
  ☆144Updated 5 years ago