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
- This is a demo repository to practice using GitHub.☆23Updated last year
- Everything required to run your own Base node☆30Updated 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
- https://warpcast.com/~/invite-page/345673?id=6f98ff06☆35Updated last year
- A robot powered training repository☆36Updated 3 years ago
- https://www.build.top/☆40Updated last year
- https://x.com/olehlytv?t=w8mUtKmceE6gMcrgpmFyXw&s=35☆35Updated last year
- Optio☆37Updated last year
- ☆36Updated last year
- A based rollup. 🥁☆45Updated last year
- Multilingual CMS built with Laravel.☆24Updated last year
- ☆34Updated last year
- Uniform Manifold Approximation and Projection☆41Updated last year
- ☆21Updated last year
- AutoHotkey - macro-creation and automation-oriented scripting utility for Windows.☆18Updated last year
- gpt4all: run open-source LLMs anywhere☆18Updated 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
- Go implementation of the Ethereum protocol☆22Updated last year
- zkSync: trustless scaling and privacy engine for Ethereum☆15Updated last year
- A programming framework for agentic AI. Discord: https://aka.ms/autogen-dc. Roadmap: https://aka.ms/autogen-roadmap☆19Updated last year
- Umbraco is a free and open source .NET content management system helping you deliver delightful digital experiences.☆23Updated last year
- ☆22Updated last year
- ☆35Updated last year