欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Celestia
来自开放百科 - 灰狐
Celestia is an application for real-time 3D visualization of space, with a detailed model of the solar system, over 100,000 stars, more than 10,000 galaxies, and an extension mechanism for adding more objects.Celestia runs on Windows, Linux, and Mac OS X.
GNU General Public License (GPL)
Programming Language : C++
Links
ScreenShots
分享您的观点
