Star AlbumentationsX on GitHub — it powers this leaderboard
anoma/alucard
A common lisp DSL for writing zero knowledge circuits