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
• qinguoyi / osproxy
  对象存储分布式代理(object storage distrbuted proxy)，支持Docker一键部署
  ☆288Updated 9 months ago
• princeh23 / cppknowledge
  ☆97Updated 2 years 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
  ☆152Updated last year
• youngyangyang04 / KVstorageBaseRaft-cpp
  【代码随想录知识星球】项目分享-基于Raft的k-v存储数据库🔥
  ☆852Updated 6 months ago
• acking-you / byte_douyin_project
  字节跳动青训营——抖音项目
  ☆312Updated 4 months ago
• Vanilla-Beauty / MIT6.5840
  codes and documents for MIT6.5840(6.824) 2023
  ☆86Updated 8 months ago
• jlu-xiurui / CMU15445-2021-FALL
  CMU15445-2021-FALL的实源原理讲解及笔记（已完结）
  ☆181Updated 2 years ago
• RaymondCode / simple-demo
  ☆228Updated last year
• ejunjsh / bustub
  Database practice on cmu15-445 2022
  ☆240Updated 2 years ago
• Mapshiny / CampusRecruit
  ✨23⌈秋招⌋⌈校招⌋面试笔记，C/C++/Java/Go/Python/前端/后端面经合集(含答案)，从秋招一直到春招补录，陪你找到满意工作，欢迎提交pr补充信息，每天持续更新...
  ☆204Updated 2 years ago
• tjumcw / 6.824
  MIT 6.824 distributed system C++Version
  ☆846Updated 2 years ago
• xuyyy1215 / Skiplist_server_client
  基于跳表的数据库服务器和客户端
  ☆81Updated 3 years ago
• anapple929 / simple-douyin
  gorm+gin+go-micro+mysql 极简版抖音
  ☆54Updated 2 years ago
• bytedance-youthcamp-jbzx / tiktok
  第五届字节跳动青训营项目：极简版抖音。基于 Hertz/Gin HTTP + Kitex 微服务框架
  ☆96Updated 2 years ago
• youngyangyang04 / coroutine-lib
  【代码随想录知识星球】项目分享-手撕协程库（CPP）🔥
  ☆244Updated 6 months ago
• Henrik-Yao / douyin
  字节跳动青训营抖音项目后端接口
  ☆27Updated 3 years ago
• WenTesla / tiktok
  字节跳动-青训营项目
  ☆20Updated 2 years ago
• nanfeng1999 / 6.5840
  MIT6.824/6.5840课程代码
  ☆10Updated 2 years ago
• innovationb1ue / RedisGO
  A Go implementation of Redis server
  ☆60Updated 2 years ago
• s09g / mapreduce-go
  ☆83Updated 3 years ago
• Hizeal / baguwen-interview
  后端开发，C++和Go的八股
  ☆28Updated 2 years ago
• Gooddbird / rocket
  c++ rpc framework, simplified version of tinyrpc。
  ☆246Updated last year
• 1055373165 / ggcache
  支持 HTTP、RPC 和服务注册发现的分布式缓存系统（gRPC Group Cache）
  ☆52Updated last week
• ytlloctra / Message-oriented-middleware-Design-of-Lightweight-RPC-Distributed-Network-Communication-Framework
  轻量级RPC分布式网络通信框架设计
  ☆9Updated 2 years ago
• Liluoquan / a-high-concurrency-webserver-in-linux
  一个基于主从Reacotr+线程池的轻量级webserver
  ☆43Updated 2 years ago
• czczcz831 / tiktok-mall
  tiktok-mall
  ☆18Updated 4 months ago
• dwangxxx / raft-kv
  一个用go语言实现的基于Raft一致性协议的KV数据库
  ☆26Updated 4 years ago
• healerwhy / douyin
  字节跳动青训营
  ☆39Updated 2 years ago
• Shangyizhou / A-Tiny-Network-Library
  使用 C++ 11 重构陈硕的 muduo 库，去除 boost 依赖。内部实现有 HTTP 服务器，可支持 GET 请求。
  ☆721Updated 2 years ago