touchasky / leo-12Links
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
☆14Updated last year
Alternatives and similar repositories for leo-12
Users that are interested in leo-12 are comparing it to the libraries listed below
Sorting:
- ☆15Updated last year
- ☆15Updated last year
- This is a demo repository to practice using GitHub.☆17Updated last year
- ☆12Updated last year
- Node.js dependency tracing utility☆21Updated last year
- Everything required to run your own Base node☆19Updated last year
- Grok open release☆18Updated last year
- Talk, Amplify, Post, Explore. Decentralized social media platform.☆19Updated last year
- Sistem Informasi Desa (SID) yang sengaja dibuat terbuka agar dapat dikembangkan secara bersama-sama oleh komunitas peduli SID☆29Updated last year
- the most basic code example☆31Updated last year
- Simple, efficient background processing for Ruby☆26Updated last year
- ☆17Updated last year
- ☆18Updated last year
- ☆10Updated last year
- ☆11Updated last year
- provides metadata for networkIDs and chainIDs☆7Updated last year
- Config files for my GitHub profile.☆12Updated 3 years ago
- leafs☆11Updated last year
- ☆70Updated last year
- ☆11Updated 2 years ago
- ☆10Updated last year
- ☆11Updated last year
- ☆31Updated last year
- ☆10Updated 11 months ago
- Implementation of the Farcaster Hub specification and supporting libraries for building applications on Farcaster☆9Updated 11 months ago
- ☆9Updated 11 months ago
- ☆12Updated last year
- ☆11Updated last year
- ☆9Updated 11 months ago
- ☆11Updated last year