Skip to content

@bienpulenta bienpulenta

Change the repository type filter

All

    Repositories list

    3 repositories

    • cardano-ledger

      Public
      The ledger implementation and specifications of the Cardano blockchain.
      Haskell
      •
      Apache License 2.0
      •155•0•0•0•Updated Apr 24, 2023Apr 24, 2023

    • formal-ledger-specifications

      Public
      Formal specifications of the cardano ledger
      Agda
      •13•0•0•0•Updated Apr 21, 2023Apr 21, 2023

    • cardano-base

      Public
      Code used throughout the Cardano eco-system
      Haskell
      •
      Apache License 2.0
      •41•0•0•0•Updated Apr 19, 2023Apr 19, 2023