欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
链接至“Facebook”的页面
← Facebook
以下页面链接至Facebook:
查看(上20个 | 下20个)(20 | 50 | 100 | 250 | 500)- 用户:Allen (←链入页面)
- Apache Hadoop (←链入页面)
- Facebook Platform (←链入页面)
- Minifb (←链入页面)
- Open Platform (←链入页面)
- OCaml (←链入页面)
- Apache Cassandra (←链入页面)
- 分类:Facebook (←链入页面)
- StatusNet (←链入页面)
- Diaspora (←链入页面)
- TLS (←链入页面)
- RockMelt (←链入页面)
- Open Compute Project (←链入页面)
- Insoshi (←链入页面)
- ZeroMQ (←链入页面)
- HHVM (←链入页面)
- Facebook Messenger (←链入页面)
- Phabricator (←链入页面)
- Buck (←链入页面)
- Facebook Credits (←链入页面)
分享您的观点