GitHub repository: thaliaarchi/bfcoq
Primary language: Coq
Description: Brainfuck compiler in Coq