欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
GNU Savannah
来自开放百科 - 灰狐
（版本间的差异）
| 第6行： | 第6行： | ||
*https://gna.org/ | *https://gna.org/ | ||
*http://savannah.gnu.org/ | *http://savannah.gnu.org/ | ||
| + | |||
| + | [[Category:Software Development]] | ||
2010年8月19日 (四) 12:12的版本
Savane is a Web-based Software hosting system. It includes issue tracking (bugs, tasks, support, news and documentation), project member management by roles and individual account maintenance.
It is written in PHP and Perl and is designed to run with Apache and MySQL.
Users
分享您的观点
