欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Huihoo Cloud
来自开放百科 - 灰狐
（版本间的差异）
小 (→项目) |
小 (→路线图) |
||
| 第4行： | 第4行： | ||
==路线图== | ==路线图== | ||
| − | *基于 [[MBrace]] | + | *底层基础设施是由[[Go]]驱动的[[OpenShift|容器云]]，[[Microservices|微服务]]的编程模型。(2016.10.05) |
| + | *基于 [[MBrace]] 构建。(2016.09.24) | ||
==项目== | ==项目== | ||
2016年10月5日 (三) 07:55的版本
Huihoo.NET
基于 .NET、C#、F#、ASP.NET 构建开放云平台和去中心化、P2P网络。
目录 |
路线图
项目
图集
链接
分享您的观点
