fragile0 / formal-methodLinks
中科大软院形式化方法（华保健老师）
☆19Updated 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一键部署☆297Updated last year
- ✨23⌈秋招⌋⌈校招⌋面试笔记，C/C++/Java/Go/Python/前端/后端面经合集(含答案)，从秋招一直到春招补录，陪你找到满意工作，欢迎提交pr补充信息，每天持续更 新...☆204Updated 2 years ago
- MIT 6.824 distributed system C++Version☆856Updated 2 years ago
- 字节跳动青训营☆39Updated 3 years ago
- 第五届字节跳动青训营项目：极简版抖音。基于 Hertz/Gin HTTP + Kitex 微服务框架☆102Updated 2 years ago
- CMU15445-2021-FALL的实源原理讲解及笔记（已完结）☆183Updated 3 years ago
- 字节跳动青训营——抖音项目☆316Updated 7 months ago
- gorm+gin+go-micro+mysql 极简版抖音☆54Updated 2 years ago
- ☆98Updated 2 years ago
- 一个基于主从Reacotr+线程池的轻量级webserver☆43Updated 3 years ago
- 【代码随想录知识星球】项目分享-基于Raft的k-v存储数据库🔥☆901Updated 9 months ago
- 抖音后端项目☆64Updated 2 years ago
- Lab2A-D, Lab3A-B, and Lab4A-B in different branches tagged these names so you can easily handle individual parts☆160Updated last year
- 一款基于Netty+Zookeeper+Spring实现的轻量级Java RPC框架。提供服务注册，发现，负载均衡，支持API调用，Spring集成和Spring Boot starter使用。是一个学习RPC工作原理的良好示例。☆455Updated 2 years ago
- 字节跳动青训营抖音项目后端接口☆27Updated 3 years ago
- ☆228Updated 2 years ago
- Database practice on cmu15-445 2022☆245Updated 2 years ago
- Uubuntu 20 C++版本的web服务器☆257Updated 2 years ago
- 设计并实现了一个高性能、线程安全的跳表数据结构。跳表是一种随机化的数据结构，被用作代替平衡树，提供了高效的搜索、插 入和删除操作。项目中实现的跳表数据结构不仅支持基本的数据操作，还提供了数据持久化功能。☆58Updated 2 years ago
- 使用 C++ 11 重构陈硕的 muduo 库，去除 boost 依赖。内部实现有 HTTP 服务器，可支持 GET 请求。☆735Updated 2 years ago
- 基于跳表的数据库服务器和客户端☆81Updated 3 years ago
- A tiny KV storage based on skiplist written in Java language| 使用Java开发，基于跳表实现的轻量级键值数据库🔥🔥 🚀☆30Updated last year
- 基于 kitex RPC微服务 + Hertz HTTP服务完成的第三届字节跳动青训营-极简抖音后端项目☆203Updated 2 years ago
- MIT6.824/6.5840课程代码☆10Updated 2 years ago
- 字节后端训练营 抖声 抖音项目☆25Updated 2 years ago
- 字节跳动-青训营项目☆20Updated 2 years ago
- 字节跳动青训营 抖音项目 ByteDance YouthCamp Project Douyin☆10Updated 3 years ago
- ★★★一款基于 Netty + Zookeeper + Nacos + SpringBoot 实现的自定义 RPC 框架☆141Updated 2 years ago
- ☆67Updated 3 years ago