Repositories
erdkocak/gbrain
Garry's Opinionated OpenClaw/Hermes Agent Brain
erdkocak/CompPoly
A computable model of Polynomials in Lean.
erdkocak/hash-based-snargs-book
Source code for "Building Cryptographic Proofs from Hash Functions"
erdkocak/ArkLib
Formally Verified Arguments of Knowledge in Lean
erdkocak/hyperlane-warp-ui-template
A web app template for building Hyperlane Warp Route UIs
erdkocak/plonkathon
educational python plonk implementation, based on vitalik's py_plonk