欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
OpenSolaris
来自开放百科 - 灰狐
OpenSolaris分发版
- Nexenta OS - Nexenta GNU/Solaris http://www.gnusolaris.org/
- BeleniX http://belenix.sarovar.org/
- SchilliX http://schillix.berlios.de/
- Polaris, PowerPC移植版本 http://www.opensolaris.org/os/community/power_pc/
分享您的观点