欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Linaro
来自开放百科 - 灰狐
（版本间的差异）
(→Links) |
小 |
||
| 第1行： | 第1行： | ||
| + | {{SeeWikipedia}} | ||
| + | |||
Linaro - Software foundations for an open digital world | Linaro - Software foundations for an open digital world | ||
| 第5行： | 第7行： | ||
==Links== | ==Links== | ||
*http://www.linaro.org/ | *http://www.linaro.org/ | ||
| + | |||
| + | {{comment}} | ||
| + | |||
| + | [[Category:Mobile]] | ||
| + | [[Category:Linux]] | ||
2011年2月16日 (三) 15:52的版本
|
您可以在Wikipedia上了解到此条目的英文信息 Linaro Thanks, Wikipedia. |
Linaro - Software foundations for an open digital world
Linaro brings together the open source community and the electronics industry to work on key projects, deliver great tools, reduce industry wide fragmentation and provide common foundations for Linux software distributions and stacks to land on.
Links
<discussion>characters_max=300</discussion>
分享您的观点
