Input Output's repositories
real-world-marlowe
Example Marlowe Contracts
typed-protocols
Session types framework with support of protocol pipelining.
awesome-marlowe
A collection of Marlowe resources, tutorials and examples
cardano-cli-gui
Simple GUI for the cardano-cli tool.
didcomm-v2-mediator-test-suite
Test Suite for DIDCommV2-compatible Mediators
marlowe-payouts
Generic Payouts Withdrawal Prototype Over for Marlowe Technology
anoncreds-rs
anoncreds-rs
auth-keys-hub
SSH AuthorizedKeysCommand for GitHub users
marlowe-scan
A web tool to view on-chain Marlowe contracts in terms of the Marlowe language
atala-prism-didcomm-swift
This repo is just to keep the SPM binary of didcomm-rust
equivalence-reasoner
An automated equivalence reasoner for Isabelle/HOL
network-equivalences
Formal proofs of equivalences of different kinds of networks
thorn-calculus
A general-purpose process calculus with support for arbitrary data
atala-prism-didcomm-kmm
DIDComm V2 & Peer:DID
ouroboros-high-assurance
High-assurance implementation of the Ouroboros protocol family
cardano-automation
Automation supporting `cardano-node` development, which is also not dependent on it.
flake-release-tool
Create software releases from a nix flake
formal-bft
Formalizing BFT protocols in Agda.
fusion-flamingo
Development repository for the fusion-flamingo team
stdlib-meta
Meta-programming utilities for Agda.
transition-systems
Support for working with labeled transition systems
xsy-liqwid-libs
A monorepo for Liqwid Labs plutarch libraries.