touchasky / leo-12
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
☆20Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for leo-12
- ☆21Updated 5 months ago
- ☆21Updated 5 months ago
- This is a demo repository to practice using GitHub.☆23Updated 5 months ago
- ☆16Updated 5 months ago
- Everything required to run your own Base node☆30Updated 5 months ago
- Grok open release☆29Updated 5 months ago
- Node.js dependency tracing utility☆33Updated 5 months ago
- Talk, Amplify, Post, Explore. Decentralized social media platform.☆30Updated 5 months ago
- A robot powered training repository☆36Updated 2 years ago
- gpt4all: run open-source LLMs anywhere☆18Updated 5 months ago
- AutoHotkey - macro-creation and automation-oriented scripting utility for Windows.☆18Updated 5 months ago
- Multilingual CMS built with Laravel.☆25Updated 5 months ago
- zkSync: trustless scaling and privacy engine for Ethereum☆16Updated 5 months ago
- A convention-based object-object mapper in .NET.☆17Updated 5 months ago
- A programming framework for agentic AI. Discord: https://aka.ms/autogen-dc. Roadmap: https://aka.ms/autogen-roadmap☆19Updated 5 months ago
- Automatic headphone equalization from frequency responses☆17Updated 5 months ago
- https://warpcast.com/~/invite-page/345673?id=6f98ff06☆35Updated 5 months ago
- https://www.build.top/☆40Updated 5 months ago
- https://x.com/olehlytv?t=w8mUtKmceE6gMcrgpmFyXw&s=35☆35Updated 5 months ago
- Optimism is Ethereum, scaled.☆20Updated 5 months ago
- Hong Kong's spot #BTC ETFs just saw their 2nd largest daily inflows 👀☆24Updated 5 months ago
- ☆37Updated 5 months ago
- Multilingual CMS built with Laravel.☆19Updated 5 months ago
- ☆32Updated last year
- ☆22Updated 5 months ago
- A based rollup. 🥁☆29Updated 5 months ago
- nice project☆22Updated 5 months ago
- ☆21Updated 5 months ago
- ☆22Updated 5 months ago