This is stars and forks stats for /input-output-hk/cardano-ledger repository. As of 19 Apr, 2024 this repository has 219 stars and 143 forks.
Cardano Ledger This repository contains the formal specifications, executable models, and implementations of the Cardano Ledger. The documents are built in our CI and can be readily accessed using the following links: Era Design Documents Formal Specification CDDL Byron Chain Spec, Ledger Spec CDDL, PDF Shelley Design Spec CDDL Allegra & Mary Multi-Currency, UTXOma Spec CDDL Alonzo eUTXO Spec CDDL Babbage batch-verification, CIP-31, CIP-32, CIP-33 Spec CDDL Conway CIP-1694 Spec...
Cardano Ledger This repository contains the formal specifications, executable models, and implementations of the Cardano Ledger. The documents are built in our CI and can be readily accessed using the following links: Era Design Documents Formal Specification CDDL Byron Chain Spec, Ledger Spec CDDL, PDF Shelley Design Spec CDDL Allegra & Mary Multi-Currency, UTXOma Spec CDDL Alonzo eUTXO Spec CDDL Babbage batch-verification, CIP-31, CIP-32, CIP-33 Spec CDDL Conway CIP-1694 Spec...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
codedownio/servant-typescript | Haskell | 14 | 0 | 1 | 0 |
input-output-hk/hydra-poc | HaskellTeXShell | 224 | 0 | 80 | 0 |
cloudposse/terraform-aws-eks-cluster | HCLGoMakefile | 467 | 0 | 319 | -1 |
terraform-google-modules/terraform-google-vm | HCLRubyGo | 184 | 0 | 344 | 0 |
JuliaLang/PackageCompiler.jl | JuliaC | 1.3k | 0 | 176 | 0 |
williamyang1991/DualStyleGAN | Jupyter NotebookPythonOther | 1.5k | 0 | 237 | 0 |
Coding-with-Adam/Dash-by-Plotly | Jupyter NotebookPythonCSS | 1.3k | 0 | 1.6k | 0 |
google-research/google-research | Jupyter NotebookPythonC++ | 31.1k | +48 | 7.6k | +10 |
nlp-with-transformers/notebooks | Jupyter NotebookOther | 3.1k | 0 | 890 | 0 |
marceloprates/prettymaps | Jupyter NotebookOther | 10.3k | 0 | 494 | 0 |