欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Openmoko
| 第1行： | 第1行： | ||
[[Image:openmoko.png|right]] | [[Image:openmoko.png|right]] | ||
OpenMoko is a GNU / Linux based open software development platform. Developers have full access to OpenMoko source and they can tailor their implementations to underlying hardware platforms. | OpenMoko is a GNU / Linux based open software development platform. Developers have full access to OpenMoko source and they can tailor their implementations to underlying hardware platforms. | ||
| − | |||
Openmoko 是一个Linux 的套件，它被设计为一个开放式的计算平台，透过这个平台，使用者可以自行开发客制化的程序，或者，透过开放式的特性，下载及安装社群中所开发的项目。因此，Openmoko这个开放式的平台所代表的，并不仅止于「手机」这项功能。 | Openmoko 是一个Linux 的套件，它被设计为一个开放式的计算平台，透过这个平台，使用者可以自行开发客制化的程序，或者，透过开放式的特性，下载及安装社群中所开发的项目。因此，Openmoko这个开放式的平台所代表的，并不仅止于「手机」这项功能。 | ||
Openmoko 也是Openmoko Linux 套件的开发公司名。Openmoko开发团队，除了不断的开发软件外，同时也制造供软件平台执行的手机，如 Neo FreeRunner，即为目前最新的手机产品。 由于Openmoko 所具备的开放特性，因此，在FreeRunner平台下，您可以执行不同的Linux套件，如Google 的[[Android]] 、SHR、[[Debian]]…等。 | Openmoko 也是Openmoko Linux 套件的开发公司名。Openmoko开发团队，除了不断的开发软件外，同时也制造供软件平台执行的手机，如 Neo FreeRunner，即为目前最新的手机产品。 由于Openmoko 所具备的开放特性，因此，在FreeRunner平台下，您可以执行不同的Linux套件，如Google 的[[Android]] 、SHR、[[Debian]]…等。 | ||
| − | |||
Openmoko 的开放特性，除了表现在提供完整的开放源码Linux 套件，让开发人员共享及共享，透过开放机构及CAD档案，Openmoko 更能集思广义，提供创新概念的行动装置产品。 | Openmoko 的开放特性，除了表现在提供完整的开放源码Linux 套件，让开发人员共享及共享，透过开放机构及CAD档案，Openmoko 更能集思广义，提供创新概念的行动装置产品。 | ||
Openmoko的首支手机是Neo 1973，在2007年份首卖，目前最新的产品FreeRunner，已量产出货，您可以在Openmoko直营的网络商店 购买Openmoko的手机。中国地区的用户，目前可透过中国区的代理商，购买FreeRunner，或者，您可以透过Group Sale团购的方法，取得手机。 | Openmoko的首支手机是Neo 1973，在2007年份首卖，目前最新的产品FreeRunner，已量产出货，您可以在Openmoko直营的网络商店 购买Openmoko的手机。中国地区的用户，目前可透过中国区的代理商，购买FreeRunner，或者，您可以透过Group Sale团购的方法，取得手机。 | ||
| − | == | + | ==精彩图集== |
| − | + | <gallery> | |
| + | Image:OpenmokoFramework2008.png|Openmoko Framework 2008 | ||
| + | Image:neo-front.gif|neo | ||
| + | Image:neo1973.jpg|neo1973 | ||
| + | </gallery> | ||
==Links== | ==Links== | ||
*http://www.openmoko.com/ | *http://www.openmoko.com/ | ||
2010年8月21日 (六) 16:16的版本
OpenMoko is a GNU / Linux based open software development platform. Developers have full access to OpenMoko source and they can tailor their implementations to underlying hardware platforms.
Openmoko 是一个Linux 的套件，它被设计为一个开放式的计算平台，透过这个平台，使用者可以自行开发客制化的程序，或者，透过开放式的特性，下载及安装社群中所开发的项目。因此，Openmoko这个开放式的平台所代表的，并不仅止于「手机」这项功能。
Openmoko 也是Openmoko Linux 套件的开发公司名。Openmoko开发团队，除了不断的开发软件外，同时也制造供软件平台执行的手机，如 Neo FreeRunner，即为目前最新的手机产品。 由于Openmoko 所具备的开放特性，因此，在FreeRunner平台下，您可以执行不同的Linux套件，如Google 的Android 、SHR、Debian…等。
Openmoko 的开放特性，除了表现在提供完整的开放源码Linux 套件，让开发人员共享及共享，透过开放机构及CAD档案，Openmoko 更能集思广义，提供创新概念的行动装置产品。
Openmoko的首支手机是Neo 1973，在2007年份首卖，目前最新的产品FreeRunner，已量产出货，您可以在Openmoko直营的网络商店 购买Openmoko的手机。中国地区的用户，目前可透过中国区的代理商，购买FreeRunner，或者，您可以透过Group Sale团购的方法，取得手机。
精彩图集
Openmoko Framework 2008
neo
neo1973
