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