Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

Package Usage: hackage: goblins

View more package details: https://packages.ecosyste.ms/registries/hackage.haskell.org/packages/goblins

Dependent Repos 5

Canonical-LLC/cardano-ledger Fork of input-output-hk/cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
  • * eras/byron/chain/executable-spec/byron-spec-chain.cabal
  • * eras/byron/ledger/executable-spec/byron-spec-ledger.cabal
  • * libs/small-steps-test/small-steps-test.cabal

Size: 40.8 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

nftdot.io/cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
  • * eras/byron/chain/executable-spec/byron-spec-chain.cabal
  • * eras/byron/ledger/executable-spec/byron-spec-ledger.cabal
  • * libs/small-steps-test/small-steps-test.cabal

Last synced: over 1 year ago

rmourey26/cardano-ledger-specs
A formal specification and executable model of the ledger rules introduced by the Shelley release
  • * byron/chain/executable-spec/byron-spec-chain.cabal
  • * semantics/small-steps-test/small-steps-test.cabal

Last synced: about 1 year ago

ilap/cardano-ledger-specs Fork of input-output-hk/cardano-ledger
A formal specification and executable model of the ledger rules introduced by the Shelley release
  • * byron/chain/executable-spec/byron-spec-chain.cabal
  • * semantics/small-steps-test/small-steps-test.cabal

Size: 35.1 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

rmourey26/cardano-ledger-specs Fork of IntersectMBO/cardano-ledger
A formal specification and executable model of the ledger rules introduced by the Shelley release
  • * byron/chain/executable-spec/byron-spec-chain.cabal

Size: 74.1 MB - Last synced: 5 months ago - Pushed: 5 months ago

milloni/cardano-ledger Fork of input-output-hk/cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
  • * eras/byron/chain/executable-spec/byron-spec-chain.cabal
  • * eras/byron/ledger/executable-spec/byron-spec-ledger.cabal

Size: 37.7 MB - Last synced: 11 months ago - Pushed: over 1 year ago

hfco/cardano-haskell-packages Fork of input-output-hk/cardano-haskell-packages
Metadata for Cardano's Haskell package repository
  • * _sources/byron-spec-ledger/0.1.1.2/revisions/1.cabal

Size: 77 MB - Last synced: 9 months ago - Pushed: 11 months ago

jonesnoaht/cardano-ledger-specs Fork of input-output-hk/cardano-ledger
A formal specification and executable model of the ledger rules introduced by the Shelley release
  • * eras/byron/chain/executable-spec/byron-spec-chain.cabal
  • * eras/byron/ledger/executable-spec/byron-spec-ledger.cabal
  • * libs/small-steps-test/small-steps-test.cabal

Size: 37.5 MB - Last synced: 9 months ago - Pushed: over 2 years ago

IntersectMBO/cardano-haskell-packages
Metadata for Cardano's Haskell package repository
  • * _sources/byron-spec-chain/0.1.0.0/revisions/1.cabal
  • * _sources/byron-spec-chain/0.1.1.1/revisions/1.cabal
  • * _sources/byron-spec-chain/0.1.1.2/revisions/1.cabal
  • * _sources/byron-spec-chain/0.1.1.2/revisions/2.cabal
  • * _sources/byron-spec-ledger/0.1.1.1/revisions/1.cabal
  • * _sources/byron-spec-ledger/0.1.1.2/revisions/1.cabal

Size: 233 MB - Last synced: about 2 months ago - Pushed: about 2 months ago