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
- ☆28Updated 4 years ago
- Simple, efficient background processing for Ruby☆29Updated last year
- Sistem Informasi Desa (SID) yang sengaja dibuat terbuka agar dapat dikembangkan secara bersama-sama oleh komunitas peduli SID☆29Updated last year
- https://github.com/CryptoMonkey21/sismo-hub.git☆29Updated last year
- This is a demo repository to practice using GitHub.☆29Updated last year
- Talk, Amplify, Post, Explore. Decentralized social media platform.☆29Updated last year
- AutoHotkey - macro-creation and automation-oriented scripting utility for Windows.☆28Updated last year
- Everything required to run your own Base node☆29Updated last year
- ☆29Updated 2 years ago
- https://github.com/CryptoMonkey21/kafka.git☆28Updated last year
- ☆28Updated 3 years ago
- Opinionated Ubuntu Setup☆26Updated last year
- ☆29Updated last year
- ☆29Updated last year
- ☆29Updated last year
- ☆29Updated last year
- Basecamp Employee Handbook☆26Updated last year
- ☆29Updated last year
- ☆29Updated last year
- gpt4all: run open-source LLMs anywhere☆28Updated last year
- An Ethereum-compatible smart contract parachain on Polkadot☆29Updated last year
- ☆29Updated 3 weeks ago
- ☆28Updated last year
- https://github.com/CryptoMonkey21/farcaster-js.git☆29Updated last year
- ☆27Updated last year
- Grok open release☆29Updated last year
- The Swift Programming Language☆29Updated last year
- ☆28Updated last year
- ☆29Updated last year