欢迎大家赞助一杯啤酒🍺
我们准备了下酒菜:
Formal mathematics
/
Isabelle
/
ML
,
Formal verification
/
Coq
/
ACL2
,
C++
/
F#
/
Lisp
灰狐数据
来自开放百科 - 灰狐
2018年1月8日 (一) 02:41
Allen
(
讨论
|
贡献
)
的版本
(差异) ←上一版本 |
最后版本
(
差异
) |
下一版本→
(
差异
)
跳转到:
导航
,
搜索
灰狐数据
目录
1
简介
2
业务
3
项目
4
图集
5
链接
简介
业务
Data Analytics
Data Engineering
项目
SMACK堆栈
Open data
D3
D3
Snowplow
图集
链接
7个分类
:
Big data
Spark
Kafka
Akka
Cassandra
Mesos
Huihoo
分享您的观点
查看该讨论串。
个人工具
登录
名字空间
页面
讨论
变换
查看
阅读
查看源代码
查看历史
操作
搜索
导航
首页
社区专页
新闻动态
最近更改
随机页面
帮助
工具箱
链入页面
相关更改
特殊页面
打印版本
永久链接