欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
C++ ecosystem
来自开放百科 - 灰狐
目录 |
生产力
数据库存储
机器学习
- Caffe
- TensorFlow
- dmlc: Distributed (Deep) Machine Learning Community
JavaScript
- V8
- SpiderMonkey
- V7: Embedded JavaScript engine
- JerryScript: JavaScript engine for the Internet of Things
- Duktape embeddable Javascript engine, Atomic Game Engine used it.
物联网
大数据分析处理
数学
金融货币
消息事件
企业应用
电子商务
医疗教育
安全加密
iOS/Android
桌面应用
游戏
音乐
空间探测
图集
Eclipse CDT
链接
分享您的观点
