langyaMK / USTC_SSE_FMFLinks
中科大形式化方法
☆19Updated 3 years ago
Alternatives and similar repositories for USTC_SSE_FMF
Users that are interested in USTC_SSE_FMF are comparing it to the libraries listed below
Sorting:
- 中科大软院形式化方法（华保健老师）☆16Updated 3 years ago
- 中国科学技术大学软件学院算法设计与分析课程☆85Updated 4 years ago
- 23秋季工程化C程序设计代码仓库，包括lab1-5的实验代码和实验报告，感兴趣的话就点个star吧~☆12Updated 6 months ago
- Lab2A-D, Lab3A-B, and Lab4A-B in different branches tagged these names so you can easily handle individual parts☆156Updated last year
- 中国科学技术大学软件学院系统建模课程☆31Updated 4 years ago
- CSView是一个互联网面试知识学习和汇总项目，包括面试高频算法、系统设计、计算机网络、操作系统、C++、Java、golang、MySQL、Redis、K8s、消息队列等常见面试题。☆649Updated last year
- ☆57Updated 4 years ago
- 一款基于Netty+Zookeeper+Spring实现的轻量级Java RPC框架。提供服务注册，发现，负载均衡 ，支持API调用，Spring集成和Spring Boot starter使用。是一个学习RPC工作原理的良好示例。☆454Updated 2 years ago
- ★★★一款基于 Netty + Zookeeper + Nacos + SpringBoot 实现的自定义 RPC 框架☆137Updated 2 years ago
- A tiny KV storage based on skiplist written in Java language| 使用Java开发，基于跳表实现的轻量级键值数据库🔥🔥 🚀☆29Updated last year
- codes and documents for MIT6.5840(6.824) 2023☆90Updated 9 months ago
- distributed system☆192Updated 4 years ago
- Java学习路线和资料分享☆326Updated last year
- ACWing 算法基础课 Java 版笔记☆178Updated 4 years ago
- CMU15445-2021-FALL的实源原理讲解及笔记（已完结）☆184Updated 3 years ago
- ✨23⌈秋招⌋⌈校招⌋面试笔记，C/C++/Java/Go/Python/前端/后端面经合集(含答案)，从秋招一直到春招补录，陪你找到满意工作，欢迎提交pr补充信息，每天持续更新...☆201Updated 2 years ago
- ☆98Updated 2 years ago
- 2020春季学期jyy的操作系统课程的实验☆32Updated 4 years ago
- 2026届互联网校招&2025互联网实习信息汇总，欢迎共创☆304Updated 2 weeks ago
- 【代码随想录知识星球】项目分享-基于Raft的k-v存储数据库🔥☆880Updated 7 months ago
- Database practice on cmu15-445 2022☆245Updated 2 years ago
- ☕️ 用Java手撸一个简单的RPC框架｜一个写C++的在看完gRPC后用Java手撸了个简单RPC框架☆57Updated 3 years ago
- ☆28Updated 2 years ago
- Lab of MIT 6.824 2023 所有lab 稳定通过一万次以上 All labs stably passed 10,000 times …☆48Updated last year
- 算法总结，包括常见算法文档和模板题、力扣、OJ☆26Updated last year
- 【代码随想录知识星球】项目分享-手撕RPC框架🔥☆618Updated 5 months ago
- 帮助新手参与开源☆548Updated 2 years ago
- 北大软微 考题回忆，陈向群操作系统，郁莲算法，莫同云计算☆56Updated 5 years ago
- 迷你版抖音后端 || 字节跳动青训营☆35Updated last year
- ❤️这是一条汇总网上许多资料，而不是资料的纯粹堆砌，让人眼花缭乱的复制粘贴，这不是帮你在总结所有的知识点，而是根据实际的计算机系课程来安排学习路线，并且配合上面向就业的学习，与完全跟着学校课程相比，做到了不和工业界面试不脱节，非常实际、非常认真、非常掉头发，真心求个视频三连…☆1,272Updated 2 years ago