Haskell

Cryptographic currency implementing Ouroboros PoS protocol

The core component that is used to participate in a Cardano decentralised blockchain.

Dapp, Seth, Hevm, and more

This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.

A peer-to-peer stack for code collaboration

HTTP server & command-line for managing UTxOs and HD wallets in Cardano.

Simple blockchain server written in Haskell for educational purposes

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

A language for intent-centric and declarative decentralised applications

Peer-to-peer encrypted message exchange

Implementation of the Hydra Head protocol

A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL

Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.

Smart contract specification language

Helium + Webmachine = Airship. A toolkit for building declarative, RESTful web apps.

Web3 API for Haskell

Compiles Haskell to WebAssembly

The GHC API, decoupled from GHC versions

🐹 Fast, lightweight & configurable chain-index for Cardano.

Fission CLI & server

repository for the Alonzo testnet

A set of tools and libraries to bring creation, management, and sales of NFTs to any application.

Financial blockchain based on cardano-sl

A framework to execute and verify algorithms using Groth16 zkSNARKs.

Legacy code connected to the high-assurance implementation of the Ouroboros protocol family

Tokenomia is built for the Cardashift ICO, it aims to simplify the use of Native Tokens and Smart Contracts above the Cardano Platform. Cardashift is a community-driven startup platform that raises funds, builds and accelerates startups that solve social and environmental problems.

Horus, a formal verification tool for StarkNet smart contracts.

This repository contains sources for the command-line interface (CLI) tool for interacting with the Cardano blockchain.

Prometheus.io Haskell client.

Open-source Smart Order Router framework to connect liquidity from the Genius Yield DEX

Double ratchet algorithm for E2E encryption

Transactional monadic actions on top of PostgreSQL.

Optimised bilinear pairings over elliptic curves

A Cardano tool to spin up a testnet and run contracts with an EDSL to describe the instructions. Rhymes with tulip for no particular reason.

Haskell's IO simulator which closely follows core packages (base, async, stm).

A Haskell library for on-disk tables based on LSM-Trees

Tools for creating, submitting, and managing off-chain metadata such as multi-asset token metadata

A re-implementation of the Cardano ledger layer, replacing the Byron release

Haskell implementation of RSCoin

Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings

Haskell port of the WebAssembly OCaml reference interpreter

A mining client for Kadena

HTTP interfaces for interacting with the Cardano blockchain.

A polymorphic interface for elliptic curve operations

Easily create authenticated data structures