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
- ☆12Updated last year
- Node.js dependency tracing utility☆22Updated last year
- This is a demo repository to practice using GitHub.☆17Updated last year
- Everything required to run your own Base node☆20Updated last year
- Talk, Amplify, Post, Explore. Decentralized social media platform.☆20Updated last year
- Grok open release☆19Updated last year
- Sistem Informasi Desa (SID) yang sengaja dibuat terbuka agar dapat dikembangkan secara bersama-sama oleh komunitas peduli SID☆30Updated last year
- Simple, efficient background processing for Ruby☆27Updated last year
- An Ethereum-compatible smart contract parachain on Polkadot☆22Updated last year
- the most basic code example☆33Updated last year
- All the Git-it Workshop completers!☆16Updated 2 years ago
- ☆10Updated last year
- ☆10Updated last year
- Umbraco is a free and open source .NET content management system helping you deliver delightful digital experiences.☆11Updated last year
- In-app purchases and subscriptions made easy. Support for iOS, watchOS, tvOS, macOS, and visionOS.☆15Updated last year
- ☆12Updated last year
- ☆72Updated last year
- ☆10Updated last year
- ☆10Updated last year
- ☆18Updated last year
- ☆32Updated 2 years ago
- ☆10Updated last year
- ☆10Updated last year
- ☆10Updated last year
- Your self-hosted, globally interconnected microblogging community☆10Updated last year
- ☆19Updated last year
- ☆32Updated 2 years ago
- drag & drop, css, js☆10Updated 2 years ago