欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
FreeBSD
来自开放百科 - 灰狐
BSD发行版
- FreeBSD : The Power To Server http://www.freebsd.org
- OpenBSD : Free, Functional & Secure http://www.openbsd.org
- NetBSD : Of course it runs NetBSD http://www.netbsd.org
- OpenDarwin : the core of Mac OS X http://www.opendarwin.org
- DragonFly BSD http://www.dragonflybsd.org/
- TrustedBSD http://www.trustedbsd.org/
- PC-BSD - Personal Computing, served up BSD Style! http://www.pcbsd.org/
- FreeSBIE - a LiveCD based on the FreeBSD http://www.freesbie.org/
- BSD Installer: http://www.bsdinstaller.com/
- RelaxBSD: http://www.relaxbsd.org/
分享您的观点