reynir/Brainfuck

Brainfuck formalized in Coq

GitHub repository with 32 stars and 2 forks.

Language: Coq

Open provider repository

Latest metric snapshot

2026-06-15: 32 stars and 2 forks.