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 11 months ago
- 中国科学技术大学软件学院算法设计与分析课程☆78Updated 4 years ago
- ☆56Updated 3 years ago
- ✨23⌈秋招⌋⌈校招⌋面试笔记，C/C++/Java/Go/Python/前端/后端面经合集(含答案)，从秋招一直到春招补录，陪你找到满意工作，欢迎提交pr补充信息， 每天持续更新...☆199Updated last year
- 字节跳动-青训营项目☆18Updated last year
- Lab2A-D, Lab3A-B, and Lab4A-B in different branches tagged these names so you can easily handle individual parts☆118Updated last year
- gorm+gin+go-micro+mysql 极简版抖音☆53Updated last year
- ☆226Updated last year
- USTC SSE 2022高级数据库技术期末实验☆8Updated 2 years ago
- 字节跳动青训营抖音项目后端接口☆25Updated 2 years ago
- CMU15445-2021-FALL的实源原理讲解及笔记（已完结）☆171Updated 2 years ago
- 字节跳动青训营☆38Updated 2 years ago
- go 八股文 学习路线 学习指南☆47Updated last year
- ☆97Updated last year
- ☆10Updated last year
- C++后台开发面 试经验☆168Updated 3 years ago
- 字节跳动青训营——抖音项目☆280Updated last year
- 对象存储分布式代理(object storage distrbuted proxy)，支持Docker一键部署☆271Updated 4 months ago
- Database practice on cmu15-445 2022☆207Updated last year
- FMF, Formal Methods Foundation. 形式化方法2020春，作业☆18Updated 4 years ago
- ☕️ 用Java手撸一个简单的RPC框架｜一个写C++的在看完gRPC后用Java 手撸了个简单RPC框架☆54Updated 2 years ago
- 第五届字节跳动青训营项目：极简版抖音。基于 Hertz/Gin HTTP + Kitex 微服务框架☆81Updated last year
- MIT6.824/6.5840课程代码☆10Updated last year
- 基于 kitex RPC微服务 + Hertz HTTP服务完成的第三届字节跳动青训营-极简抖音后端项目☆187Updated 2 years ago
- codes and documents for MIT6.5840(6.824) 2023☆69Updated 2 months ago
- 支持 HTTP、RPC 和服务注册发现的分布式缓存系统（gRPC Group Cache）☆45Updated last month
- ☆81Updated 3 years ago
- ★★★一款基于 Netty + Zookeeper + Nacos + SpringBoot 实现的自定义 RPC 框架☆115Updated last year