touchasky / leo-12Links
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
☆14Updated 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:
- ☆15Updated last year
- ☆15Updated last year
- Node.js dependency tracing utility☆21Updated last year
- This is a demo repository to practice using GitHub.☆17Updated last year
- ☆12Updated last year
- Everything required to run your own Base node☆19Updated last year
- Grok open release☆18Updated last year
- Talk, Amplify, Post, Explore. Decentralized social media platform.☆19Updated 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☆26Updated last year
- the most basic code example☆32Updated last year
- An Ethereum-compatible smart contract parachain on Polkadot☆21Updated last year
- ☆17Updated last year
- ☆18Updated last year
- ☆71Updated last year
- ☆11Updated last year
- ICO Information☆19Updated last year
- 3☆14Updated last year
- ☆10Updated last year
- ☆11Updated last year
- 2☆19Updated last year
- ☆10Updated last year
- 8☆18Updated last year
- A collection of Google research projects related to Federated Learning and Federated Analytics.☆13Updated last year
- 4☆15Updated last year
- ☆31Updated last year
- 2☆15Updated last year
- fr☆14Updated last year
- u☆15Updated last year
- ☆11Updated last year