欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐移动
来自开放百科 - 灰狐
灰狐移动小组，意在引动和手机领域展开交流、协作与创新。
研究方向：
- 基于HTML5和CSS3的移动Web应用
- 基于HTML5和CSS3的移动Web Game
- JavaScript GameEngine
- Android定制
- Android,iPhone应用开发
...
相关项目：
- 灰狐手机网: http://huihoo.cn // 快了 :)
- OpenPhone 是Huihoo发起的研究项目, 意在关注、研究主流的开源手机操作系统和硬件项目
- MyPhone 是一款手机PC软件.
- Espresso Game Platform Mobile Edition 计划将项目移植 Android 平台
<discussion>characters_max=300</discussion>
分享您的观点
