欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Huihoo Desktop Web Server
Huihoo Desktop Web Server(HDWS) : 合作、交流、协作, 一个程序员的桌面Web Server。
HDWS = WebOS ?
WebOS http://www.cs.duke.edu/ari/issg/webos/
HDWS 是一套基于Web为核心的internet个人门户应用开发框架, 类似
HDWS有自己的文件系统和存储系统,
HDWS对外提供API,程序员基于这些API开发Web应用, 并可以插件的方式插入Web平台
HDWS使 软件, 互联网, Web服务变成三体合一的应用
WebOS : Web 3.0 , 基于浏览器的虚拟操作系统.
Google Desktop, Windows Live 都是WebOS的思想体现
参考:
eyeOS:浏览器中的操作系统
最近,一群开发者开始了一项建造浏览器中的操作系统的项目 eyeOS。
eyeOS 网站中这样介绍:eyeOS 是一个免费的、多平台的,有操作系统性质的个人信息管理系统。这个系统包括完整的操作系统的结构,还有许多应用软件:日历、文件管理器、文本编辑器、内部的 IM、浏览器和计算器。 试用了一下,使用极其简单。当前,eyeOS 主要基于 PHP 技术,开发者表示将在未来的版本中逐渐引进 AJAX 技术。
项目的思路很棒,值得借鉴
JS/UIX: 浏览器中的Unix
JS/UIX是一个基于web浏览器的操作系统,它完全用javascript写成,没有使用任何插件。JS/UIX包括一个虚拟机、shell外壳、虚拟文件系统、进程管理器、屏幕终端及键盘映射。你可以尝试一下它的shell,还有vi。