欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Gitorious
来自开放百科 - 灰狐
Gitorious aims to provide a great way of doing distributed opensource code collaboration. It also powers gitorious.org.
GNU Affero General Public License
Features
- Project hosting
- Hosting of official project repositories
- Hosting of project repository clones
- Project wikis
- Public merge requests and code review
- Project activity timeline
- Developer profiles and activity timelines
- Built in notification systems
- Free for opensource projects
- Commercial support and customizations available
Links
分享您的观点
