欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
GOS (operating system)
来自开放百科 - 灰狐
gOS is a Linux distribution created by 'Good OS LLC', a Los Angeles-based corporation. The company initially advertised it as "An alternative OS with Google Apps and other Web 2.0 apps for the modern user." This first version gOS (1.0.1_386) was based on Ubuntu 7.10 and the Enlightenment window manager E17.
Links
分享您的观点