欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Seastar
来自开放百科 - 灰狐
Seastar：高性能、事件驱动、非阻塞、异步的C++框架，Apache v2许可协议。
目录 |
简介
功能
项目
- Seastar @ GitHub
- ScyllaDB
- Pedis (Parallel Redis)，Pedis 基于 ScyllaDB 构建，增加 Redis 协议支持等功能，打造 Redis 集群方案。
图集
链接
分享您的观点
