Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by ProvableHQ
A curated list of projects in awesome lists by ProvableHQ .
https://github.com/provablehq/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
compiler leo programming-language zero-knowledge zksnarks
Last synced: 28 Oct 2024
https://github.com/ProvableHQ/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
compiler leo programming-language zero-knowledge zksnarks
Last synced: 31 Oct 2024
https://github.com/AleoHQ/aleo
A Software Development Kit (SDK) for Zero-Knowledge Transactions
aleo blockchain sdk zero-knowledge zksnarks
Last synced: 07 Nov 2024
https://github.com/ProvableHQ/sdk
A Software Development Kit (SDK) for Zero-Knowledge Transactions
aleo blockchain sdk zero-knowledge zksnarks
Last synced: 16 Sep 2024
https://github.com/ProvableHQ/welcome
👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀
aleo blockchain leo zero-knowledge zksnarks
Last synced: 03 Aug 2024
https://github.com/ProvableHQ/snarkOS
A Decentralized Operating System for ZK Applications
Last synced: 07 Nov 2024
https://github.com/AleoHQ/snarkOS
A Decentralized Operating System for ZK Applications
Last synced: 07 Nov 2024
https://github.com/ProvableHQ/snarkVM
A Virtual Machine for Zero-Knowledge Executions
Last synced: 07 Nov 2024