Lists (1)
Sort Name ascending (A-Z)
Stars
❇️ A WebSocket JSON/RPC bridge for Cardano
Interchain Standards (ICS) for the Cosmos network & interchain ecosystem.
PBG Token contract validators for Cardano, written in Helios
The ledger implementation and specifications of the Cardano blockchain.
A set of dev tools for development on Cardano.
Anon Aadhaar is a zero-knowledge protocol that allows Aadhaar ID owners to prove their identity in a privacy preserving way.
Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.
A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.
A library for writing Fuzzers for property-based testing in Aiken
A trustless p2p trading dApp on Cardano
A library of specialized Aiken functions for smart contracts on Cardano.
LambdaBuffers toolkit for sharing types and their semantics between different languages
A distributed order-book DEX using composable atomic swaps with full delegation control and endogenous liquidity.
A collection of Aiken libraries, dapps, and resources
StakePool Operator Scripts. Learn how to create and manage your StakePool / manage your DRep stuff / do Governance Actions with these simple scripts. Hardware-Ledger/Trezor Support, Token/Asset Sen…
Monorepo for the Web5 JS TypeScript implementation