欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Darwin
来自开放百科 - 灰狐
Darwin 是基于FreeBSD和Mach的操作系统。是 Apple Mac OS X 系统的核心。
相关链接
- http://developer.apple.com/opensource/
- OpenDarwin - http://www.opendarwin.org/ , 目前 OpenDarwin will be shutting down
- The GNU-Darwin Distribution - http://www.gnu-darwin.org/
- http://www.apple.com.cn/developer/darwin/
- http://www.apple.com.cn/macosx/features/unix/
分享您的观点
