Input Output (input-output-hk)

Input Output

input-output-hk

Geek Repo

Home Page:https://iohk.io/

Github PK Tool:Github PK Tool

Input Output's repositories

cardano-node

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

Language:HaskellLicense:Apache-2.0Stargazers:2972Issues:200Issues:1816

haskell.nix

Alternative Haskell Infrastructure for Nixpkgs

Language:NixLicense:Apache-2.0Stargazers:518Issues:22Issues:871

jormungandr

privacy voting blockchain node

Language:RustLicense:Apache-2.0Stargazers:366Issues:51Issues:1008

ouroboros-network

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.

Language:HaskellLicense:Apache-2.0Stargazers:261Issues:46Issues:1505

hydra

Implementation of the Hydra Head protocol

Language:HaskellLicense:Apache-2.0Stargazers:239Issues:30Issues:331

cardano-ledger

The ledger implementation and specifications of the Cardano blockchain.

Language:HaskellLicense:Apache-2.0Stargazers:224Issues:59Issues:1329

cardano-js-sdk

JavaScript SDK for interacting with Cardano, providing various key management options, with support for popular hardware wallets

Language:TypeScriptLicense:Apache-2.0Stargazers:202Issues:34Issues:47

marlowe-cardano

Marlowe smart contract language Cardano implementation

Language:HaskellLicense:Apache-2.0Stargazers:88Issues:24Issues:25

foliage

🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.

Language:HaskellLicense:MITStargazers:39Issues:14Issues:47

catalyst-core

⚙️ Core Catalyst Governance Engine and utilities.

Language:RustLicense:Apache-2.0Stargazers:35Issues:19Issues:123

cardano-haskell-packages

Mirror of IntersectMBO/cardano-haskell-packages

Language:ShellLicense:Apache-2.0Stargazers:26Issues:8Issues:0

quickcheck-dynamic

A library for stateful property-based testing

Language:HaskellLicense:Apache-2.0Stargazers:23Issues:15Issues:14

formal-ledger-specifications

Formal specifications of the cardano ledger

Language:AgdaLicense:Apache-2.0Stargazers:21Issues:22Issues:132

hackage.nix

Automatically generated Nix expressions for Hackage

marlowe-ts-sdk

Marlowe TypeScript SDK

Language:TypeScriptLicense:Apache-2.0Stargazers:19Issues:14Issues:67

cardano-configurations

A common place for finding / maintaining configurations of various services of the Cardano eco-system

catalyst-toolbox

Catalyst Tools, cli's and scripts related

Language:RustLicense:Apache-2.0Stargazers:16Issues:19Issues:10
Language:HaskellLicense:Apache-2.0Stargazers:14Issues:17Issues:3

cardano-cli

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

Language:HaskellLicense:Apache-2.0Stargazers:13Issues:29Issues:150

iogx

Flake Template for Haskell Projects

stackage.nix

Automatically generated Nix expressions of Stackage snapshots

Language:NixStargazers:12Issues:11Issues:0

atala-prism-mediator

Atala PRISM DIDComm V2 Mediator

Language:ScalaLicense:Apache-2.0Stargazers:11Issues:13Issues:18

cardano-api

Cardano API

Language:HaskellLicense:Apache-2.0Stargazers:11Issues:31Issues:22

antaeus

Cardano end-to-end testing framework for Haskell APIs

Language:HaskellLicense:Apache-2.0Stargazers:9Issues:14Issues:12

vit-servicing-station

End points to bootstrap VIT as a service: VaaS

vit-testing

Incubator for catalyst related testing projects

Language:RustLicense:MITStargazers:4Issues:18Issues:2
Language:NixLicense:Apache-2.0Stargazers:3Issues:9Issues:0

ouroboros-high-assurance

High-assurance implementation of the Ouroboros protocol family

Language:IsabelleLicense:Apache-2.0Stargazers:1Issues:8Issues:57

marlowe-ts-dapp-swap

Experiments on Marlowe Smart Contracts

Language:TypeScriptLicense:Apache-2.0Stargazers:0Issues:0Issues:0