欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Punt
来自开放百科 - 灰狐
Punt is a Open Source multi-language Windows desktop application that allows the user to view the terrain of any world in 3D. Using open standards Punt can make use of data from the Internet combined with local data in common GIS-compatible formats.
Punt is compatible with NASA World Wind data servers, cached data, and AddOns. Plugins written for World Wind need some (minor) modifications to work with Punt.
Programming Language: C#
License : LGPL, MPL 1.1, NASA Open Source Agreement
Links
分享您的观点