欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
灰狐研发管理
来自开放百科 - 灰狐
目录[隐藏] |
灰狐咨询
客户案例
- 百货购使用灰狐Forge管理整个公司的日常研发、运营、服务、运维,并结合GitHub和Huihoo Code私有仓库进行所有产品的研发、协作和版本控制,并通过 phabricator 进行仓库浏览和代码复审。
图集
灰狐实践
分享您的观点