touchasky / leo-12
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
☆20Updated 10 months ago
Alternatives and similar repositories for leo-12:
Users that are interested in leo-12 are comparing it to the libraries listed below
- ☆21Updated 10 months ago
- ☆21Updated 10 months ago
- ☆16Updated 10 months ago
- This is a demo repository to practice using GitHub.☆23Updated 10 months ago
- Everything required to run your own Base node☆30Updated 10 months ago
- Node.js dependency tracing utility☆33Updated 10 months ago
- Grok open release☆29Updated 10 months ago
- Talk, Amplify, Post, Explore. Decentralized social media platform.☆30Updated 10 months ago
- A robot powered training repository☆36Updated 2 years ago
- ☆46Updated last year
- ☆32Updated 2 years ago
- Umbraco is a free and open source .NET content management system helping you deliver delightful digital experiences.☆23Updated 10 months ago
- https://x.com/olehlytv?t=w8mUtKmceE6gMcrgpmFyXw&s=35☆35Updated 10 months ago
- https://warpcast.com/~/invite-page/345673?id=6f98ff06☆35Updated 10 months ago
- https://www.build.top/☆40Updated 10 months ago
- In-app purchases and subscriptions made easy. Support for iOS, watchOS, tvOS, macOS, and visionOS.☆35Updated 10 months ago
- ☆28Updated 2 years ago
- An opinionated, cloud ready stack for building observable, production ready, distributed applications in .NET☆24Updated 10 months ago
- Grafana Mimir provides horizontally scalable, highly available, multi-tenant, long-term storage for Prometheus.☆24Updated 10 months ago
- .NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.☆24Updated 10 months ago
- ☆37Updated 10 months ago
- Optimism is Ethereum, scaled.☆20Updated 10 months ago
- ☆34Updated 10 months ago
- roll1☆20Updated last year
- Go implementation of the Ethereum protocol☆22Updated 10 months ago
- All the Git-it Workshop completers!☆31Updated last year
- ☆35Updated 10 months ago
- ☆35Updated 10 months ago
- Bitcoin Core integration/staging tree☆20Updated 10 months ago
- ☆30Updated 10 months ago