touchasky / leo-12Links
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
☆20Updated 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:
- ☆21Updated last year
- ☆21Updated last year
- ☆16Updated last year
- Everything required to run your own Base node☆30Updated last year
- This is a demo repository to practice using GitHub.☆23Updated last year
- Node.js dependency tracing utility☆33Updated last year
- Grok open release☆29Updated last year
- Talk, Amplify, Post, Explore. Decentralized social media platform.☆30Updated last year
- A robot powered training repository☆36Updated 3 years ago
- Umbraco is a free and open source .NET content management system helping you deliver delightful digital experiences.☆23Updated last year
- .NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.☆24Updated last year
- Grafana Mimir provides horizontally scalable, highly available, multi-tenant, long-term storage for Prometheus.☆24Updated last year
- An opinionated, cloud ready stack for building observable, production ready, distributed applications in .NET☆24Updated last year
- zkSync: trustless scaling and privacy engine for Ethereum☆15Updated last year
- Multilingual CMS built with Laravel.☆24Updated last year
- All the Git-it Workshop completers!☆27Updated 11 months ago
- Hong Kong's spot #BTC ETFs just saw their 2nd largest daily inflows 👀☆23Updated last year
- https://warpcast.com/~/invite-page/345673?id=6f98ff06☆35Updated last year
- Automated Mass Exploiter☆15Updated 2 years ago
- ☆36Updated last year
- GitLab CE Mirror | Please open new issues in our issue tracker on GitLab.com☆21Updated last year
- A programming framework for agentic AI. Discord: https://aka.ms/autogen-dc. Roadmap: https://aka.ms/autogen-roadmap☆19Updated 11 months ago
- AutoHotkey - macro-creation and automation-oriented scripting utility for Windows.☆18Updated last year
- gpt4all: run open-source LLMs anywhere☆18Updated last year
- A convention-based object-object mapper in .NET.☆17Updated last year
- A tool for token-curated communities.☆18Updated last year
- https://x.com/olehlytv?t=w8mUtKmceE6gMcrgpmFyXw&s=35☆35Updated last year
- ☆30Updated last year
- Automatic headphone equalization from frequency responses☆17Updated last year
- The fastest knowledge base for growing teams. Beautiful, realtime collaborative, feature packed, and markdown compatible.☆23Updated last year