欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OpenWindows: Open your Windows to freedom.
OpenWindows 基于 ReactOS 构建和分发.
OpenWindows 目标是从硬件到应用程序遵循微软Windows 架构, 让Windows用户能平稳过渡到 OpenWindows.
OpenWindows 的终极目标是替代Windows而感觉不到最终端用户体验的变化.