Proposal to move FSCQ to coq-community #82
Labels
coq-extraction
maintainer-wanted
This project is looking for a new maintainer.
move-project
Move a project to coq-community.
Project name: FSCQ
Initial author(s): Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, and Nickolai Zeldovich
Current URL: https://github.com/mit-pdos/fscq
Kind: Coq library and extractable program
License: MIT
Description: FSCQ is a file system written and verified in Coq.
Status: Unmaintained (README says "Unmaintained research prototype")
New maintainer: looking for a volunteer
@tchajed can you comment on whether (or not) you believe this project could be a good fit for Coq-community? Personally, I think having an up-to-date FSCQ would be a great service to the research community, e.g., for experimentally integrating with other projects such as Verdi Raft.
The text was updated successfully, but these errors were encountered: