relda88 / leo-12
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
☆34Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for leo-12
- ☆34Updated 3 years ago
- Radzen Blazor is a set of 70+ free native Blazor UI components packed with DataGrid, Scheduler, Charts and robust theming including Mater…☆34Updated 5 months ago
- Simple, efficient background processing for Ruby☆34Updated 6 months ago
- Sistem Informasi Desa (SID) yang sengaja dibuat terbuka agar dapat dikembangkan secara bersama-sama oleh komunitas peduli SID☆34Updated 6 months ago
- Node.js dependency tracing utility☆34Updated 5 months ago
- API powering VA.gov☆34Updated 5 months ago
- ☆35Updated 5 months ago
- ☆35Updated 5 months ago
- ☆35Updated 5 months ago
- ☆33Updated 5 months ago
- https://github.com/CryptoMonkey21/sismo-hub.git☆35Updated 5 months ago
- ☆35Updated 5 months ago
- Opinionated Ubuntu Setup☆30Updated 5 months ago
- ☆34Updated 5 months ago
- Talk, Amplify, Post, Explore. Decentralized social media platform.☆34Updated 5 months ago
- ☆34Updated 2 years ago
- Basecamp Employee Handbook☆30Updated 5 months ago
- ☆33Updated 5 months ago
- ☆32Updated 5 months ago
- ☆34Updated 2 years ago
- ☆33Updated 5 months ago
- ☆35Updated 4 years ago
- ☆34Updated 5 months ago
- ☆35Updated 6 months ago
- gpt4all: run open-source LLMs anywhere☆34Updated 5 months ago
- ☆34Updated 5 months ago
- MAME☆35Updated 5 months ago
- This is a demo repository to practice using GitHub.☆34Updated 5 months ago
- Beautiify comprises a curated selection of beautifully designed components and animations that can be seamlessly incorporated into any we…☆35Updated 5 months ago