fragile0 / formal-method
中科大软院形式化方法（华保健老师）
☆15Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for formal-method
- 中科大形式化方法☆16Updated 2 years ago
- CMU15445-2021-FALL的实源原理讲解及笔记（已完结）☆165Updated 2 years ago
- Database practice on cmu15-445 2022☆200Updated last year
- ytlloctra / Message-oriented-middleware-Design-of-Lightweight-RPC-Distributed-Network-Communication-Framework轻量级RPC分布式网络通信框架设计☆9Updated last year
- Lab2A-D, Lab3A-B, and Lab4A-B in different branches tagged these names so you can easily handle individual parts☆106Updated 11 months ago
- 中国科学技术大学软件学院系统建模课程☆30Updated 4 years ago
- ☆226Updated last year
- ☆64Updated 2 years ago
- 字节跳动青训营抖音项目后端接口☆25Updated 2 years ago
- 【代码随想录知识星球】项目分享-基于Raft的k-v存储数据库🔥☆617Updated 2 months ago
- ☆95Updated last year
- 中国科学技术大学软件学院算法设计与分析课程☆78Updated 4 years ago
- C++后台开发面试经验☆168Updated 3 years ago
- 对象存储分布式代理(object storage distrbuted proxy)，支持Docker一键部署☆268Updated last month
- 字节跳动青训营——抖音项目☆264Updated last year
- MIT6.824分布式系统的C++版本实现，能学到分布式系统设计、rpc使用、mapreduce、基本数据库设计、raft算法、分布式一致性等后端知识点，结合了linux系统的许多系统调用☆49Updated last year
- 一个基于主从Reacotr+线程池的轻量级webserver☆43Updated 2 years ago
- distributed system☆141Updated 3 years ago
- ☆81Updated 3 years ago
- 字节跳动青训营☆37Updated 2 years ago
- ☆10Updated last year
- ☆15Updated 7 months ago
- C++实现的小型rpc框架，帮助构建分布式rpc服务☆56Updated last year
- 基于跳表的数据库服务器和客户端☆80Updated 2 years ago
- lab1,2,3,4. spring2021☆37Updated last year
- A C++ High Performance NetServer☆44Updated 5 years ago
- Linux C++ Web 文件服务器☆205Updated 6 months ago
- My solution for MIT 6.5840 (aka. MIT 6.824). No failure within 30,000 tests.☆112Updated 4 months ago
- 后端开发，C++和Go的八股☆27Updated 2 years ago