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