GitHub repository: mit-pdos/go-journal
Primary language: Go
Created: 2021-05-18T16:58:44Z
Description: Verified, concurrent, crash-safe transaction system