IntersectMBO/cardano-ledger
View on GitHubThe ledger implementation and specifications of the Cardano blockchain.
- Stars
- 295
- Forks
- 179
- Open beginner issues
- 0
- Indexed issues
- 249
- Avg merge
- 4d 7h
- Merged PRs (30d)
- 29
- Dominant language
- Haskell
- License
- Apache-2.0
- Last GitHub push
- Sep 16, 2026
- Latest indexed
- Sep 17, 2026
- Contributing guide
- Contributing guide
- Code of conduct
- Code of conduct
- Beginner labels
- help wanted
-
enhancement
IntersectMBO/cardano-ledger#768 · 27 comments · 1 reaction · 0 assignees ·
-
:slot_machine: property test priority high
IntersectMBO/cardano-ledger#1460 · 0 comments · 0 reactions · 1 assignee ·
-
Review records Open:credit_card: technical-debt
IntersectMBO/cardano-ledger#1674 · 0 comments · 0 reactions · 1 assignee ·
-
:fountain_pen: documentation
IntersectMBO/cardano-ledger#1868 · 0 comments · 0 reactions · 1 assignee ·
-
:credit_card: technical-debt
IntersectMBO/cardano-ledger#1901 · 2 comments · 0 reactions · 0 assignees ·
-
:credit_card: technical-debt
IntersectMBO/cardano-ledger#1941 · 0 comments · 0 reactions · 0 assignees ·
-
:scroll: formal-spec
IntersectMBO/cardano-ledger#2438 · 0 comments · 0 reactions · 0 assignees ·
-
Nice error messages Openenhancement
IntersectMBO/cardano-ledger#2446 · 2 comments · 0 reactions · 0 assignees ·
-
:straight_ruler: benchmarking
IntersectMBO/cardano-ledger#2480 · 0 comments · 0 reactions · 0 assignees ·
-
:credit_card: technical-debt
IntersectMBO/cardano-ledger#2547 · 0 comments · 0 reactions · 0 assignees ·
-
:credit_card: technical-debt ledger-state-query
IntersectMBO/cardano-ledger#2653 · 11 comments · 0 reactions · 0 assignees ·
-
:credit_card: technical-debt
IntersectMBO/cardano-ledger#2705 · 0 comments · 0 reactions · 0 assignees ·
-
:fountain_pen: documentation
IntersectMBO/cardano-ledger#2738 · 0 comments · 1 reaction · 1 assignee ·
-
Document ledger core Open:fountain_pen: documentation
IntersectMBO/cardano-ledger#2740 · 0 comments · 0 reactions · 0 assignees ·
-
:fountain_pen: documentation
IntersectMBO/cardano-ledger#2741 · 0 comments · 0 reactions · 0 assignees ·
-
:credit_card: technical-debt
IntersectMBO/cardano-ledger#2743 · 2 comments · 0 reactions · 0 assignees ·
-
remove ranking code Open:credit_card: technical-debt
IntersectMBO/cardano-ledger#2745 · 17 comments · 0 reactions · 0 assignees ·
-
:fountain_pen: documentation
IntersectMBO/cardano-ledger#2754 · 0 comments · 0 reactions · 0 assignees ·
-
:credit_card: technical-debt
IntersectMBO/cardano-ledger#2783 · 0 comments · 0 reactions · 0 assignees ·
-
Alonzo test failure Open:detective: testing :slot_machine: property test
IntersectMBO/cardano-ledger#2811 · 12 comments · 0 reactions · 0 assignees ·
-
:detective: testing :slot_machine: property test
IntersectMBO/cardano-ledger#2839 · 0 comments · 1 reaction · 0 assignees ·
-
:fountain_pen: documentation
IntersectMBO/cardano-ledger#2868 · 3 comments · 0 reactions · 0 assignees ·
-
audit BabbageEra
IntersectMBO/cardano-ledger#2877 · 1 comment · 0 reactions · 0 assignees ·
-
DijkstraEra
IntersectMBO/cardano-ledger#2937 · 9 comments · 4 reactions · 0 assignees ·
-
IntersectMBO/cardano-ledger#2941 · 20 comments · 6 reactions · 0 assignees ·
-
bug DijkstraEra
IntersectMBO/cardano-ledger#3003 · 0 comments · 0 reactions · 0 assignees ·
-
:credit_card: technical-debt
IntersectMBO/cardano-ledger#3034 · 3 comments · 7 reactions · 1 assignee ·
-
benchmark TICKF Open:straight_ruler: benchmarking
IntersectMBO/cardano-ledger#3035 · 4 comments · 0 reactions · 1 assignee ·
-
:credit_card: technical-debt :slot_machine: property test
IntersectMBO/cardano-ledger#3040 · 0 comments · 0 reactions · 0 assignees ·
-
:scroll: formal-spec help wanted
IntersectMBO/cardano-ledger#3050 · 1 comment · 0 reactions · 0 assignees ·
-
:credit_card: technical-debt
IntersectMBO/cardano-ledger#3060 · 0 comments · 0 reactions · 1 assignee ·
-
:credit_card: technical-debt
IntersectMBO/cardano-ledger#3071 · 1 comment · 0 reactions · 0 assignees ·
-
:credit_card: technical-debt
IntersectMBO/cardano-ledger#3082 · 4 comments · 0 reactions · 0 assignees ·
-
:credit_card: technical-debt byron
IntersectMBO/cardano-ledger#3083 · 0 comments · 0 reactions · 0 assignees ·
-
:credit_card: technical-debt :detective: testing
IntersectMBO/cardano-ledger#3117 · 3 comments · 0 reactions · 0 assignees ·
-
:credit_card: technical-debt
IntersectMBO/cardano-ledger#3131 · 1 comment · 0 reactions · 0 assignees ·
-
ConwayEra
IntersectMBO/cardano-ledger#3149 · 0 comments · 0 reactions · 0 assignees ·
-
ConwayEra
IntersectMBO/cardano-ledger#3150 · 0 comments · 0 reactions · 0 assignees ·
-
ConwayEra
IntersectMBO/cardano-ledger#3157 · 1 comment · 0 reactions · 0 assignees ·
-
:credit_card: technical-debt anachronistic adr
IntersectMBO/cardano-ledger#3171 · 1 comment · 0 reactions · 1 assignee ·
-
IntersectMBO/cardano-ledger#3178 · 6 comments · 1 reaction · 0 assignees ·
-
api-v1
IntersectMBO/cardano-ledger#3179 · 0 comments · 0 reactions · 0 assignees ·
-
:scroll: formal-spec AlonzoEra
IntersectMBO/cardano-ledger#3199 · 2 comments · 0 reactions · 0 assignees ·
-
api-v1
IntersectMBO/cardano-ledger#3211 · 2 comments · 0 reactions · 1 assignee ·
-
enhancement
IntersectMBO/cardano-ledger#3220 · 1 comment · 0 reactions · 1 assignee ·
-
:credit_card: technical-debt
IntersectMBO/cardano-ledger#3233 · 0 comments · 0 reactions · 0 assignees ·
-
:credit_card: technical-debt
IntersectMBO/cardano-ledger#3234 · 0 comments · 0 reactions · 0 assignees ·
-
:slot_machine: property test
IntersectMBO/cardano-ledger#3235 · 1 comment · 0 reactions · 0 assignees ·
-
api-v1
IntersectMBO/cardano-ledger#3254 · 0 comments · 0 reactions · 0 assignees ·
-
api-v1
IntersectMBO/cardano-ledger#3255 · 0 comments · 0 reactions · 0 assignees ·