GitHub repository: markusdemedeiros/Eileen
Primary language: Lean
Description: Reimplementing some data structures from Iris in Lean