Repository · dormant
Pain-free QuickCheck helpers for Plutarch
stars
6
forks
2
contributors
open issues
0
Not enough history yet — signal stabilises after ~2 snapshots.
SeungheonOh
@SeungheonOh
67
commits
kozross
@kozross
48
emiflake
@emiflake
14
chfanghr
@chfanghr
5
cjay
@cjay
3
Pitometsu
@Pitometsu
1
input-output-hk/cardano-sl
Cryptographic currency implementing Ouroboros PoS protocol
IntersectMBO/cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
IntersectMBO/plutus
The Plutus language implementation and tools
input-output-hk/plutus-pioneer-program
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.
input-output-hk/daedalus
The open source cryptocurrency wallet for ada, built to grow with the community
cardano-foundation/cardano-wallet
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
IntersectMBO/essential-cardano
Repository for the Essential Cardano list
input-output-hk/haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.
