fragile0 / formal-method
中科大软院形式化方法（华保健老师）
☆18Updated 2 years ago
Alternatives and similar repositories for formal-method:
Users that are interested in formal-method are comparing it to the libraries listed below
- 中科大形式化方法☆21Updated 3 years ago
- 中国科学技术大学软件学院系统建模课程☆30Updated 4 years ago
- 23秋季工程化C程序设计代码仓库，包括lab1-5的实验代码和实验报告，感兴趣的话就点个star吧~☆12Updated last week
- Lab2A-D, Lab3A-B, and Lab4A-B in different branches tagged these names so you can easily handle individual parts☆132Updated last year
- 中国科学技术大学软件学院算法设计与分析课程☆79Updated 4 years ago
- codes and documents for MIT6.5840(6.824) 2023☆77Updated 4 months ago
- Database practice on cmu15-445 2022☆214Updated 2 years ago
- FMF, Formal Methods Foundation. 形式化方法2020春，作业☆18Updated 4 years ago
- USTC SSE 2022高级数据库技术期末实验☆8Updated 2 years ago
- ☆10Updated last year
- CMU15445-2021-FALL的实源原理讲解及笔记（已完结）☆174Updated 2 years ago
- ☆97Updated last year
- A Go implementation of Redis server☆44Updated 2 years ago
- 一个基于主从Reacotr+线程池的轻量级webserver☆43Updated 2 years ago
- CMU15445 本人的代码实现☆22Updated last year
- gorm+gin+go-micro+mysql 极简版抖音☆53Updated last year
- 对象存储分布式代理(object storage distrbuted proxy)，支持Docker一键部署☆274Updated 5 months ago
- 完成了4个lab☆78Updated 2 years ago
- 一款基于Netty+Zookeeper+Spring实现的轻量级Java RPC框架。提供服务注册，发现，负载均衡，支持API调用，Spring集成和Spring Boot starter使用。是一个学习RPC工作原理的良好示例。☆428Updated last year
- 基于C++11多线程主从Reactor模式的Web高性能服务器☆23Updated 4 years ago
- ☆64Updated 2 years ago
- 字节跳动青训营☆39Updated 2 years ago
- 字节跳动青训营——抖音项目☆291Updated 2 weeks ago
- MIT6.824/6.5840课程代码☆10Updated last year
- 【代码随想录知识星球】项目分享-基于Raft的k-v存储数据库🔥☆746Updated last month
- ☆82Updated 3 years ago
- ★★★一款基于 Netty + Zookeeper + Nacos + SpringBoot 实现的自定义 RPC 框架☆121Updated last year
- MIT6.824分布式系统的C++版本实现，能学到分布式系统设计、rpc使用、mapreduce、基本数据库设计、raft算法、分布式一致性等后端知识点，结合了linux系统的许多系统调用☆48Updated last year
- C++实现的小型rpc框架，帮助构建分布式rpc服务☆59Updated 2 years ago