欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
GNU Savannah
来自开放百科 - 灰狐
(版本间的差异)
小 (Savane移动到GNU Savannah) |
2010年9月19日 (日) 23:24的版本
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
分享您的观点