欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
开放服务联盟
来自开放百科 - 灰狐
开放服务联盟(Open Service Alliance)
目录 |
简介
这是一个开放平台和基金会,承载着更多梦想。
我们将以社区、社群、基金会、开放式组织的方式去运营和治理开放服务联盟,支撑各种生活服务应用。
更多的原子(Actor)、更多的服务(Services)、更多的微服务(Microservices)、更多的合作伙伴(Partner),共同撑起一片普世价值的蓝天。
基金会
灰狐基金会 运营治理
愿景
应用
- 省钱宝
图集
链接
分享您的观点