欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
LeoFS
来自开放百科 - 灰狐
LeoFS - A Storage System for a Data Lake and the Web
目录 |
简介
LeoFS：云存储系统，是一款 Erlang 开发的开源（Apache v2）对象存储系统，支持 Amazon S3 API。
功能
指南
项目
用户
- 乐天
- Project FiFo is an open source SmartOS cloud orchestration.
图集
架构
Data Lake
升级流程
运维
网关
存储
管理
Web控制台
链接
分享您的观点
