欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
ROME
来自开放百科 - 灰狐
ROME: 是 Java 开发的 RSS/Atom 聚合和发布工具。
ROME支持以下协议：
- RSS 0.90
- RSS 0.91 Netscape
- RSS 0.91 Userland
- RSS 0.92
- RSS 0.93
- RSS 0.94
- RSS 1.0
- RSS 2.0
- Atom 0.3
- Atom 1.0
子项目
- ROME Fetcher
- ROME Modules: 通过扩展支持 GeoRSS, iTunes, Microsoft SSE 和 SLE, Google GData 等格式。
- ROME Propono
- ROME Aqueduct
- ROME Mano: 一个管线(pipeline)框架。
- OPML for ROME: OPML 解析器和工具。
链接
分享您的观点
