欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Tigris.org
来自开放百科 - 灰狐
(版本间的差异)
小 (→SCM) |
小 (→SCM) |
||
第32行: | 第32行: | ||
[[category:collaborative software]] | [[category:collaborative software]] | ||
[[category:software development]] | [[category:software development]] | ||
+ | [[category:foundation]] |
2020年10月27日 (二) 03:27的最后版本
您可以在Wikipedia上了解到此条目的英文信息 Tigris.org Thanks, Wikipedia. |
Tigris.org is a mid-sized open source community focused on building better tools for collaborative software development.
目录 |
[编辑] Projects
[编辑] Analysis
[编辑] Construction
[编辑] Deployment=
[编辑] Design
[编辑] Issue track
[编辑] SCM
分享您的观点