garrickmaxwell

garrickmaxwell's Stars

• ProvableHQ/sdk

  Javascript & Typescript SDK for Zero-Knowledge Application Development

  Language:JavaScript594471

• ProvableHQ/leo

  🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

  Language:Rust4.8k658