欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Open Platform
来自开放百科 - 灰狐
开放平台的类型 Open API
- Yahoo! Maps API
- YouTube API
- 淘宝 OpenAPI
窗件 API
- Yahoo! Widgets
- Google Gadgets
- Netvibes UWA
社交平台
- MySpace
开发工具
- Yahoo! Pipes
- MS Popfly
云计算
分享您的观点