Repository · dormant
An automated equivalence reasoner for Isabelle/HOL
stars
2
forks
4
contributors
1
open issues
Not enough history yet — signal stabilises after ~2 snapshots.
jeltsch
@jeltsch
88
commits
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.
