fragile0 / formal-methodLinks
中科大软院形式化方法（华保健老师）
☆17Updated 3 years ago
Alternatives and similar repositories for formal-method
Users that are interested in formal-method are comparing it to the libraries listed below
Sorting:
- 中科大形式化方法☆19Updated 3 years ago
- 对象存储分布式代理(object storage distrbuted proxy)，支持Docker一键部署☆294Updated last year
- 字节跳动青训营抖音项目后端接口☆27Updated 3 years ago
- gorm+gin+go-micro+mysql 极简版抖音☆54Updated 2 years ago
- ☆98Updated 2 years ago
- Lab2A-D, Lab3A-B, and Lab4A-B in different branches tagged these names so you can easily handle individual parts☆158Updated last year
- ✨23⌈秋招⌋⌈校招⌋面试笔记，C/C++/Java/Go/Python/前端/后端面经合集(含答案)，从秋招一直到春招补录，陪你找到满意工作，欢迎提交pr补充信息，每天持续更新...☆203Updated 2 years ago
- 字节跳动-青训营项目☆20Updated 2 years ago
- 字节跳动青训营☆39Updated 3 years ago
- ☆228Updated 2 years ago
- 第五届字节跳动青训营项目：极简版抖音。基于 Hertz/Gin HTTP + Kitex 微服务框架☆101Updated 2 years ago
- 字节跳动青训营——抖音项目☆316Updated 7 months ago
- 【代码随想录知识星球】项目分享-基于Raft的k-v存储数据库🔥☆893Updated 8 months ago
- 一个用go语言实现的基于Raft一致性协议的KV数据库☆28Updated 4 years ago
- CMU15445-2021-FALL的实源原理讲解及笔记（已完结）☆184Updated 3 years ago
- 第六届字节跳动青训项目，大项目总评第七名☆19Updated last year
- 抖音后端项目☆62Updated 2 years ago
- ☕️ 用Java手撸一个简单的RPC框架｜一个写C++的在看完gRPC后用Java手撸了个简单RPC框架☆57Updated 3 years ago
- 🏠参考groupcache实现的分布式缓存，并在此基础上使用gRPC进行节点间通信，并用etcd作为服务注册与发现。☆84Updated 3 years ago
- 基于 kitex RPC微服务 + Hertz HTTP服务完成的第三届字节跳动青训营-极简抖音后端项目☆202Updated 2 years ago
- 【代码随想录知识星球】项目分享-分布式部署的聊天室+仿微信项目☆160Updated 5 months ago
- 基于跳表的数据库服务器和客户端☆81Updated 3 years ago
- 支持 HTTP、RPC 和服务注册发现的分布式缓存系统（gRPC Group Cache）☆54Updated 2 months ago
- MIT 6.824 distributed system C++Version☆855Updated 2 years ago
- 从零开始重写sylar C++高性能分布式服务器框架☆365Updated 6 months ago
- A Go implementation of Redis server☆61Updated 2 years ago
- go 八股文 学习路线 学习指南☆74Updated 2 years ago
- ☆67Updated 3 years ago
- 第五届字节跳动青训营 h68u 组☆47Updated 2 years ago
- The simple TikTok backend which supports video Feed stream, video contribution, personal information, like list, user comments, follow li…☆498Updated 3 years ago