GitHub repository: teddyjfpender/hairy
Primary language: Haskell
Description: A Haskell STARK Prover.