GitHub repository: kkpan11/perennial
Primary language: Coq
Description: Verifying concurrent crash-safe systems