Pinned Loading

1. Stanford-Blockchain-Club/treehouse-sdk Stanford-Blockchain-Club/treehouse-sdk Public

   Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop

   TypeScript 13 2

2. x402-zkid x402-zkid Public

   ZKID Auth System for x402 Negotiation. MongoDB Agent Collaboration SF Hackathon. Winner of Coinbase Agentic Payments Track

   TypeScript 7 3

3. pass-wallet-app pass-wallet-app Public

   TEE-based Programmable Wallet application using key encumbrance. AWS Nitro Enclave prototype deployment. Ethereum Foundation 2025 Academic Grants Round

   Rust 2 1

4. pass-lean4-proofs pass-lean4-proofs Public

   Lean4 Policy Framework for Programmable Wallets

   Lean

5. raspberry-tee raspberry-tee Public

   Bare-metal implementation on Raspberry Pi (BCM2835) with ATECC608A for Crypto Transactions

   C

6. starling-store starling-store Public

   Storage pipeline for David Guttenfelder's North Korea archive - Built with Stanford Starling Lab for Data Integrity

   Rust