欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
DebianGis
来自开放百科 - 灰狐
DebianGis is about improving Debian to make it the best distribution for Geographical Information Systems applications and users. A good deal of GIS related softwares and libraries (e.g. GRASS, see http://grass.itc.it) are already present in Debian.
分享您的观点