欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Boot2Gecko
来自开放百科 - 灰狐
您可以在Wikipedia上了解到此条目的英文信息 Boot2Gecko Thanks, Wikipedia. |
Boot2Gecko(B2G)是Mozilla基于Web标准开发的完全开放的移动操作系统,从系统本身到应用程序完全由HTML5、CSS和JavaScript来写的。
链接
分享您的观点