⭐ Star AlbumentationsX on GitHub — 498+ stars and counting!
facebook/winterfell
A STARK prover and verifier for arbitrary computations