Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / ilap / cardano-ledger-specs
A formal specification and executable model of the ledger rules introduced by the Shelley release
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ilap%2Fcardano-ledger-specs
Fork of input-output-hk/cardano-ledger
Stars: 0
Forks: 0
Open Issues: 2
License: apache-2.0
Language:
Repo Size: 35.1 MB
Dependencies:
251
Created: almost 3 years ago
Updated: almost 3 years ago
Last pushed: over 1 year ago
Last synced: about 1 year ago
Files
Loading...
Readme
Loading...
Dependencies
.github/workflows/haskell.yml
actions
- actions/cache v2 composite
- actions/checkout v1 composite
- actions/setup-ruby v1 composite
- haskell/actions/setup v1 composite
- bimap ==0.4.*
- byron-spec-ledger *
- bytestring *
- containers *
- goblins *
- hashable *
- hedgehog >=1.0.4
- microlens *
- microlens-th *
- small-steps *
- small-steps-test *
- byron-spec-chain * test
- byron-spec-ledger * test
- containers * test
- data-ordlist * test
- hedgehog >=1.0.4 test
- microlens * test
- small-steps * test
- small-steps-test * test
- tasty * test
- tasty-hedgehog * test
- tasty-hunit * test
- Cabal *
- aeson *
- base58-bytestring *
- bimap ==0.4.*
- binary *
- bytestring *
- canonical-json *
- cardano-binary *
- cardano-crypto *
- cardano-crypto-wrapper *
- cardano-prelude *
- cborg *
- containers *
- contra-tracer *
- cryptonite *
- deepseq *
- digest *
- directory *
- filepath *
- formatting *
- mtl *
- nothunks *
- quiet *
- resourcet *
- streaming *
- streaming-binary ==0.2.*
- streaming-bytestring *
- text *
- time *
- vector *
- base16-bytestring >=1 test
- bimap ==0.4.* test
- byron-spec-chain * test
- byron-spec-ledger * test
- bytestring * test
- cardano-binary * test
- cardano-binary-test * test
- cardano-crypto * test
- cardano-crypto-test * test
- cardano-crypto-wrapper * test
- cardano-ledger * test
- cardano-ledger-byron * test
- cardano-prelude * test
- cardano-prelude-test * test
- cborg * test
- containers * test
- directory * test
- filepath * test
- formatting * test
- generic-monoid * test
- hedgehog >=1.0.4 test
- microlens * test
- resourcet * test
- silently * test
- small-steps * test
- small-steps-test * test
- streaming * test
- tasty * test
- tasty-hedgehog * test
- text * test
- time * test
- vector * test
- base16-bytestring >=1
- bimap *
- byron-spec-chain *
- byron-spec-ledger *
- bytestring *
- cardano-binary *
- cardano-binary-test *
- cardano-crypto *
- cardano-crypto-test *
- cardano-crypto-wrapper *
- cardano-ledger-byron *
- cardano-prelude *
- cardano-prelude-test *
- containers *
- directory *
- filepath *
- formatting *
- generic-monoid *
- hedgehog >=1.0.4
- microlens *
- resourcet *
- small-steps *
- small-steps-test *
- streaming *
- tasty *
- tasty-hedgehog *
- text *
- time *
- vector *
- base *
- bytestring *
- flat *
- plutus-core *
- plutus-ledger-api *
- plutus-tx *
- plutus-tx-plugin *
- serialise *
- template-haskell *
- QuickCheck *
- goblins *
- hedgehog >=1.0.4
- microlens *
- microlens-th *
- mtl *
- nothunks *
- small-steps *
- strict-containers *
- tasty-hunit *
- transformers >=0.5
- QuickCheck * test
- Unique * test
- cardano-binary * test
- cardano-crypto-class * test
- containers * test
- hedgehog >=1.0.4 test
- mtl * test
- small-steps * test
- small-steps-test * test
- tasty * test
- tasty-expected-failure * test
- tasty-hedgehog * test
- tasty-hunit * test
- tasty-quickcheck * test
- QuickCheck * test
- shelley-spec-non-integral * test
- aeson *
- base16-bytestring >=1
- bech32 *
- binary *
- bytestring *
- cardano-binary *
- cardano-crypto *
- cardano-crypto-class *
- cardano-crypto-wrapper *
- cardano-ledger-byron *
- cardano-ledger-core *
- cardano-prelude *
- cardano-slotting *
- cborg *
- constraints *
- containers *
- data-default-class *
- deepseq *
- groups *
- iproute *
- mtl *
- nothunks *
- prettyprinter *
- primitive >=0.7.1.0
- quiet *
- scientific *
- shelley-spec-non-integral *
- small-steps *
- strict-containers *
- text *
- time *
- transformers *
- base16-bytestring *
- bytestring *
- cardano-binary *
- cardano-crypto-class *
- cardano-ledger-core *
- cardano-prelude *
- cardano-slotting *
- cborg *
- containers *
- data-default-class *
- deepseq *
- groups *
- mtl *
- nothunks *
- prettyprinter *
- primitive *
- shelley-spec-ledger *
- small-steps *
- strict-containers *
- text *
- transformers *
doc/requirements.txt
pypi
- Babel ==2.8.0
- CommonMark ==0.9.1
- Jinja2 ==2.11.3
- MarkupSafe ==1.1.1
- Pygments ==2.7.4
- Sphinx ==3.1.1
- alabaster ==0.7.12
- certifi ==2020.4.5.2
- chardet ==3.0.4
- click ==7.1.2
- docutils ==0.16
- future ==0.18.2
- idna ==2.9
- imagesize ==1.2.0
- jsonpointer ==2.0
- jsonref ==0.2
- pytz ==2020.1
- recommonmark ==0.6
- requests ==2.25.1
- six ==1.15.0
- snowballstemmer ==2.0.0
- sphinx-intl ==2.0.1
- sphinx_markdown_tables ==0.0.15
- sphinxcontrib-domaintools >=0.3
- sphinxcontrib-websupport ==1.2.2
- sphinxemoji ==0.1.6
- testresources ==2.0.1
- transifex-client ==0.13.10
- urllib3 ==1.26.5
nix/pkgs/cbor-diag/Gemfile
rubygems
- cbor-diag >= 0
nix/pkgs/cddl/Gemfile
rubygems
- cddl >= 0
nix/pkgs/cddl/Gemfile.lock
rubygems