Alternatives and similar repositories for formal-method

Users that are interested in formal-method are comparing it to the libraries listed below

• langyaMK / USTC_SSE_FMF
  中科大形式化方法
  ☆20Updated 3 years ago
• gzy02 / SysProgC
  23秋季工程化C程序设计代码仓库，包括lab1-5的实验代码和实验报告，感兴趣的话就点个star吧~
  ☆12Updated 3 months ago
• Vanilla-Beauty / MIT6.5840
  codes and documents for MIT6.5840(6.824) 2023
  ☆85Updated 7 months ago
• YXG520 / MIT6.824-6.5840
  Lab2A-D, Lab3A-B, and Lab4A-B in different branches tagged these names so you can easily handle individual parts
  ☆150Updated last year
• jlu-xiurui / CMU15445-2021-FALL
  CMU15445-2021-FALL的实源原理讲解及笔记（已完结）
  ☆179Updated 2 years ago
• princeh23 / cppknowledge
  ☆97Updated 2 years ago
• chetanyabansal2002 / Poolgame
  ☆10Updated 2 years ago
• ejunjsh / bustub
  Database practice on cmu15-445 2022
  ☆236Updated 2 years ago
• anapple929 / simple-douyin
  gorm+gin+go-micro+mysql 极简版抖音
  ☆54Updated 2 years ago
• viego1999 / wxy-rpc
  ★★★一款基于 Netty + Zookeeper + Nacos + SpringBoot 实现的自定义 RPC 框架
  ☆130Updated 2 years ago
• Mapshiny / CampusRecruit
  ✨23⌈秋招⌋⌈校招⌋面试笔记，C/C++/Java/Go/Python/前端/后端面经合集(含答案)，从秋招一直到春招补录，陪你找到满意工作，欢迎提交pr补充信息，每天持续更新...
  ☆203Updated 2 years ago
• WYGNG / USTC_SSE_Algorithm
  中国科学技术大学软件学院算法设计与分析课程
  ☆84Updated 4 years ago
• youngyangyang04 / KVstorageBaseRaft-cpp
  【代码随想录知识星球】项目分享-基于Raft的k-v存储数据库🔥
  ☆845Updated 5 months ago
• Vanilla-Beauty / miniDouyin
  迷你版抖音后端 || 字节跳动青训营
  ☆34Updated last year
• tomstillcoding / Simple-RPC
  ☕️ 用Java手撸一个简单的RPC框架｜一个写C++的在看完gRPC后用Java手撸了个简单RPC框架
  ☆57Updated 3 years ago
• WYGNG / USTC_SSE_Model
  中国科学技术大学软件学院系统建模课程
  ☆31Updated 4 years ago
• ytlloctra / Message-oriented-middleware-Design-of-Lightweight-RPC-Distributed-Network-Communication-Framework
  轻量级RPC分布式网络通信框架设计
  ☆9Updated 2 years ago
• lhpqaq / xzdp-go
  golang 版本小众点评（黑马点评） 后端
  ☆49Updated 4 months ago
• acking-you / byte_douyin_project
  字节跳动青训营——抖音项目
  ☆306Updated 4 months ago
• bytedance-youthcamp-jbzx / tiktok
  第五届字节跳动青训营项目：极简版抖音。基于 Hertz/Gin HTTP + Kitex 微服务框架
  ☆91Updated 2 years ago
• Henrik-Yao / douyin
  字节跳动青训营抖音项目后端接口
  ☆27Updated 3 years ago
• shaogezhu / easy-rpc
  一款基于Netty+Zookeeper+Spring实现的轻量级Java RPC框架。提供服务注册，发现，负载均衡，支持API调用，Spring集成和Spring Boot starter使用。是一个学习RPC工作原理的良好示例。
  ☆447Updated 2 years ago
• ESwordCn / Intern_0ffers
  【实习】海投王の0 offers
  ☆89Updated 2 years ago
• tjumcw / 6.824
  MIT 6.824 distributed system C++Version
  ☆844Updated 2 years ago
• hujiese / C-background-development-interview-experience
  C++后台开发面试经验
  ☆181Updated 4 years ago
• xuyyy1215 / Skiplist_server_client
  基于跳表的数据库服务器和客户端
  ☆81Updated 2 years ago
• fangcao1314 / Digital_Image_Processing_Lab
  中国科学技术大学 软件学院 高级图像处理 实验
  ☆14Updated 6 years ago
• 1345414527 / MIT6.824-2022
  完成了4个lab
  ☆82Updated 2 years ago
• PKUFlyingPig / MIT6.824
  distributed system
  ☆180Updated 4 years ago
• RaymondCode / simple-demo
  ☆227Updated last year