GitHub repository: mit-pdos/dafny-jrnl
Primary language: Dafny
Description: Combining Perennial and Dafny with a verified journal