GitHub repository: wouter-swierstra/Brainfuck
Primary language: Agda
Description: A Brainfuck interpreter written in Agda