❇️ 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 official Meta Llama 3 GitHub site

The Aiken Standard Library

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.

Rust implementation of Cardano

A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.

A modern smart contract platform for Cardano

A library for writing Fuzzers for property-based testing in Aiken

Aiken support for VS Code

Scalus - DApps Development Platform for Cardano

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.

p2p-DeFi protocols for the CSL

A collection of Aiken libraries, dapps, and resources

CIP 68

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

Website and Docs for Aiken