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

jormungandr

privacy voting blockchain node

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

cardano-ops

NixOps deployment configuration for IOHK/Cardano devops

Language:NixLicense:Apache-2.0Stargazers:64Issues:34Issues:17

foliage

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

Language:HaskellLicense:MITStargazers:41Issues:15Issues:48

devx

The Developer Experience Shell - This repo contains a nix develop shell for haskell. Its primary purpose is to help get a development shell for haskell quickly and across multiple operating systems (and architectures).

Language:NixLicense:Apache-2.0Stargazers:35Issues:18Issues:32

io-sim

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

Language:HaskellLicense:Apache-2.0Stargazers:35Issues:13Issues:51

quickcheck-dynamic

A library for stateful property-based testing

Language:HaskellLicense:Apache-2.0Stargazers:26Issues:16Issues:16

sanchonet

Sources for the SanchoNet website

Language:TypeScriptLicense:Apache-2.0Stargazers:20Issues:13Issues:2

catalyst-toolbox

Catalyst Tools, cli's and scripts related

Language:RustLicense:Apache-2.0Stargazers:16Issues:19Issues:10

adawallet

A single address wallet that supports menmonics and hardware wallets

Language:PythonLicense:Apache-2.0Stargazers:9Issues:9Issues:0

cardano-faucet

Faucet for Cardano

Language:HaskellLicense:Apache-2.0Stargazers:8Issues:17Issues:0

quickcheck-contractmodel

Adversary testing of your plutus contract

Language:HaskellLicense:Apache-2.0Stargazers:7Issues:30Issues:1

vit-servicing-station

End points to bootstrap VIT as a service: VaaS

vit-testing

Incubator for catalyst related testing projects

Language:RustLicense:MITStargazers:4Issues:17Issues:3

anoncreds-rs

anoncreds-rs

Language:RustLicense:Apache-2.0Stargazers:3Issues:1Issues:0

anti-diffs

Haskell packages for sequences of Data.Map differences

Language:HaskellLicense:Apache-2.0Stargazers:3Issues:8Issues:11
Language:RustLicense:Apache-2.0Stargazers:3Issues:8Issues:12
Language:NixLicense:Apache-2.0Stargazers:2Issues:9Issues:0
Language:RustLicense:Apache-2.0Stargazers:2Issues:0Issues:0
Language:HaskellLicense:Apache-2.0Stargazers:0Issues:3Issues:0

cardano-ledger-executable-spec

Executable specification of `cardano-ledger` generated from Agda

Language:HaskellStargazers:0Issues:3Issues:0

cardano-ogmios

❇️ A JSON-WSP WebSocket bridge for cardano-node

Language:NixStargazers:0Issues:0Issues:0

cardano-perf

Performance testing infrastructure

Language:NixLicense:Apache-2.0Stargazers:0Issues:13Issues:0

catalyst-pallas

Rust-native building blocks for the Cardano blockchain ecosystem

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

CIP-High-Assurance

CIP on High Assurance

Stargazers:0Issues:0Issues:0
Language:ZigStargazers:0Issues:0Issues:0
Language:HaskellLicense:Apache-2.0Stargazers:0Issues:3Issues:0

rust-ed25519-bip32

ed25519 with bip32

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

sd-jwt-rust

SD-JWT Rust Reference Implementation

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0