欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Maemo
Maemo is a computer architecture platform built on desktop open source components. It is aimed at enabling applications and innovative technology for mobile handheld devices.
The platform is based on the GNU/Linux operating system and the GNOME desktop. Maemo brings developers an easy to use development environment. Its new, optimized, and evolving Hildon UI is customized for the screen size and usage typical for a touch screen enabled handheld device. The development platform is targeted at innovative developers and innovation houses developing applications and new technologies for the mobile space. Utilizing the maemo platform it is easy to mobilize existing desktop solutions. Maemo enables various business models on the top of the platform, including proprietary application distribution.