woohanerd

woohanerd's starred repositories

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

Language:RustGPL-3.0479600

Hey is a decentralized and permissionless social media app built with Lens Protocol 🌿

Language:TypeScriptAGPL-3.02312100