Input Output

plutus-starter

A starter project for Plutus apps

marlowe

Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies

quickcheck-dynamic

A library for stateful property-based testing

Developer-Experience-working-group

cardano-clusterlib-py

Python wrapper for cardano-cli for working with cardano cluster

chain-wallet-libs

hydra-sim

Simulations for the Hydra protocol

musig2

PoC implementation of MuSig2 multisignature algorithm over SECP256k1, compatible with Schnorr BIP 340

armadillo

Declarative, type-safe json-rpc endpoints library

atala-prism-wallet-sdk-swift

ekg-forward

EKG forwarding library

cardano-cli-gui

Simple GUI for the cardano-cli tool.

quickcheck-contractmodel

Adversary testing of your plutus contract

catalyst-gh-tools

Custom GH Action to speed up and simplify building mdbooks for the Catalyst project.

hedgehog-extras

thorn-calculus

A general-purpose process calculus with support for arbitrary data

cardano-dev

Scripts for developing on cardano

cuddle

CDDL DSL and Testing Tools

scrolls

Read-optimized cache of Cardano on-chain entities

agda-stdlib

The Agda standard library

cardano-perf

Performance testing infrastructure

catalyst-docs

Catalyst Publsihed Developers Documentation

dependent-sum-template

Template Haskell code to generate instances of classes in some package

fusion-flamingo

Development repository for the fusion-flamingo team

hermes-docs

Hermes P2P Node Documentation

hydra-tools

list-t

ListT done right

locutus_dart

offchain-deleteme

delete me please!

ogmios-tracker

A repo to track and build Ogmios on https://ci.iog.io for https://cache.iog.io