欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Phabricator applications
来自开放百科 - 灰狐
Phabricator applications 为 Phabricator 提供扩展机制，增强其功能。
Applications
- Differential 代码复审
- Maniphest tasks和bugs
- Arcanist 命令行工具
- Diffusion 代码仓库
- Phriction 维基wiki
- Herald 观察danger
- Projects
- Conpherence 群组消息
- Audit 审计代码
- Pholio 评审设计
- Ponder 问答
- Phame 博客
- Diviner 文档
- Calendar 日历
- Chatlog IRC
- Feed 最新动态
- Legalpad 草稿
- Phrequent 秒表
- Owners 相关代码
- Flags 书签
- Paste 代码片段
- Slowvote 投票
- Tokens
- Countdown
- Harbormaster 持续集成
- Drydock 分配软件资源
- Passphrase 安全
- Macro 图片
链接
分享您的观点
