relda88 / leo-12
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
☆34Updated 9 months ago
Alternatives and similar repositories for leo-12:
Users that are interested in leo-12 are comparing it to the libraries listed below
- Sistem Informasi Desa (SID) yang sengaja dibuat terbuka agar dapat dikembangkan secara bersama-sama oleh komunitas peduli SID☆34Updated 10 months ago
- ☆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 10 months ago
- Simple, efficient background processing for Ruby☆34Updated 10 months ago
- Node.js dependency tracing utility☆34Updated 10 months ago
- https://github.com/CryptoMonkey21/kafka.git☆34Updated 9 months ago
- ☆34Updated 10 months ago
- Grok open release☆34Updated 10 months ago
- Talk, Amplify, Post, Explore. Decentralized social media platform.☆34Updated 10 months ago
- gpt4all: run open-source LLMs anywhere☆34Updated 9 months ago
- ☆34Updated 10 months ago
- This is a demo repository to practice using GitHub.☆34Updated 9 months ago
- https://github.com/CryptoMonkey21/sismo-hub.git☆35Updated 9 months ago
- Everything required to run your own Base node☆34Updated 10 months ago
- ☆35Updated 2 years ago
- https://github.com/CryptoMonkey21/onnxruntime.git☆35Updated 9 months ago
- Config files for my GitHub profile.☆35Updated 10 months ago
- Send Emails in Bulk From CSV File☆34Updated 10 months ago
- Wifi Password Ejector☆34Updated 10 months ago
- AutoHotkey - macro-creation and automation-oriented scripting utility for Windows.☆34Updated 9 months ago
- ☆35Updated 10 months ago
- An Ethereum-compatible smart contract parachain on Polkadot☆34Updated 10 months ago
- https://github.com/dnbmagic/JSImageEdit.git☆34Updated 9 months ago
- Beautiify comprises a curated selection of beautifully designed components and animations that can be seamlessly incorporated into any we…☆35Updated 10 months ago
- https://github.com/CryptoMonkey21/farcaster-js.git☆35Updated 9 months ago
- ☆34Updated 2 years ago
- API powering VA.gov☆34Updated 10 months ago
- MAME☆35Updated 10 months ago
- Foodie is a food ordering website that aims to provide users with a seamless experience for ordering food online, taking orders for picku…☆35Updated 10 months ago
- ☆34Updated 9 months ago