项目介绍
uwplse/ferrite 是一个托管在 GitHub 上的开源项目，主要使用 Racket 编写，采用 Other 许可证，目前获得 21 个 Star、3 次 Fork。
- 仓库全名
- uwplse/ferrite
README 摘要
Ferrite Ferrite is a toolkit for developing file system crash-consistency models, as described in our ASPLOS'16 paper [Specifying and Checking File System Crash-Consistency Models][paper]. This repository contains the Ferrite toolkit for developing crash-consistency models, and proof-of-concept verification and synthesis tools that use the resulting models. [paper]: https://sandcat.cs.washington.edu/ferrite/
完整内容见 GitHub 原始 README 或本页 。
常见问题
ferrite 用什么语言开发？
主要使用 Racket 编写，采用 Other 许可证，目前有 21 个 Star。
ferrite 可以免费商用吗？
仓库标注的许可证为 Other，商用前请先阅读仓库 LICENSE 文件确认授权范围。
如何获取 ferrite 的源码？
可以直接克隆仓库：git clone https://github.com/uwplse/ferrite.git，默认分支为 master；安装与运行步骤见仓库 README。
ferrite 最近还在维护吗？
仓库最近一次更新为 2016年9月2日，当前有 1 个未关闭 Issue；Star 数为 21，可作为社区活跃度的参考。
相关仓库
Frog是一个在Racket中实现的静态博客生成器，针对Bootstrap并且能够使用Pygments。
评论