欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/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.
图集
链接
分享您的观点