Star AlbumentationsX on GitHub — it powers this leaderboard
anoma/vamp-ir
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits