relda88 / leo-12Links
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
☆29Updated 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:
- Node.js dependency tracing utility☆29Updated last year
- Sistem Informasi Desa (SID) yang sengaja dibuat terbuka agar dapat dikembangkan secara bersama-sama oleh komunitas peduli SID☆29Updated last year
- Simple, efficient background processing for Ruby☆29Updated last year
- ☆28Updated 4 years ago
- Basecamp Employee Handbook☆26Updated last year
- AutoHotkey - macro-creation and automation-oriented scripting utility for Windows.☆28Updated last year
- Opinionated Ubuntu Setup☆26Updated last year
- ☆29Updated last year
- ☆28Updated 4 years ago
- https://github.com/CryptoMonkey21/kafka.git☆28Updated last year
- ☆28Updated last year
- ☆29Updated 5 months ago
- ☆29Updated 2 years ago
- ☆29Updated last year
- Talk, Amplify, Post, Explore. Decentralized social media platform.☆29Updated last year
- https://github.com/CryptoMonkey21/sismo-hub.git☆29Updated last year
- test project☆29Updated 2 years ago
- gpt4all: run open-source LLMs anywhere☆28Updated last year
- ☆29Updated last year
- An Ethereum-compatible smart contract parachain on Polkadot☆29Updated last year
- ☆29Updated last year
- https://github.com/CryptoMonkey21/onnxruntime.git☆29Updated last year
- Grok open release☆29Updated last year
- ☆27Updated last year
- ☆30Updated last year
- ☆28Updated last year
- The Swift Programming Language☆29Updated last year
- ☆29Updated last year
- testing real time connection session with weather stations in Germany☆29Updated last year
- https://github.com/CryptoMonkey21/yamataku0518.git☆29Updated last year