A STARK prover and verifier for arbitrary computations - View it on GitHub