GitHub repository: seanczkm/stark-brainfuck
Primary language: Python
Description: Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtual machine, prover, and verifier.