GitHub repository: viktorcsimma/acorn
Primary language: Agda
Description: An agda2hs-compatible implementation of Krebbers–Spitters reals, focusing on usability.