-
cardano-ledger-specs Public
Forked from IntersectMBO/cardano-ledgerA formal specification and executable model of the ledger rules introduced by the Shelley release
Haskell Apache License 2.0 UpdatedOct 15, 2024 -
adawallet Public
Forked from input-output-hk/adawalletA single address wallet that supports menmonics and hardware wallets
Python Apache License 2.0 UpdatedJun 10, 2024 -
-
CIPs Public
Forked from cardano-foundation/CIPsJavaScript Creative Commons Attribution 4.0 International UpdatedJun 3, 2024 -
ouroboros-consensus Public
Forked from IntersectMBO/ouroboros-consensusImplementation of a Consensus Layer for the Ouroboros family of protocols
Haskell Apache License 2.0 UpdatedJul 20, 2023 -
voting-tools Public
Forked from input-output-hk/voting-toolsHaskell Apache License 2.0 UpdatedMar 27, 2023 -
persistent Public
Forked from yesodweb/persistentPersistence interface for Haskell allowing multiple storage methods.
Haskell MIT License UpdatedOct 16, 2022 -
cardano-updates Public
Forked from IntersectMBO/cardano-updatesHaskell Apache License 2.0 UpdatedOct 4, 2022 -
cardano-node Public
Forked from IntersectMBO/cardano-nodeThe core component that is used to participate in a Cardano decentralised blockchain.
Haskell Apache License 2.0 UpdatedApr 2, 2022 -
ouroboros-network Public
Forked from IntersectMBO/ouroboros-networkAn implementation of the Ouroboros family of consensus algorithms, with its networking support
Haskell Apache License 2.0 UpdatedApr 2, 2022 -
-
hs-rqlite Public
An unofficial Haskell client for RQlite
-
cardano-db-sync Public
Forked from IntersectMBO/cardano-db-syncA component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
Haskell Apache License 2.0 UpdatedNov 4, 2021 -
haskell-language-server Public
Forked from haskell/haskell-language-serverIntegration point for ghcide and haskell-ide-engine. One IDE to rule them all.
Haskell Apache License 2.0 UpdatedMay 5, 2021 -
cardano-entropy Public
Forked from input-output-hk/cardano-entropyHaskell Other UpdatedMar 22, 2021 -
ghcide Public
Forked from haskell/ghcideA library for building Haskell IDE tooling
Haskell Apache License 2.0 UpdatedDec 30, 2020 -
filelock Public
Forked from takano-akio/filelockPortable interface to file locking
Haskell Creative Commons Zero v1.0 Universal UpdatedApr 15, 2020 -
-
compiler Public
A compiler for a pascal like language called pcl
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 30, 2019 -
-
graphviz Public
Forked from ivan-m/graphvizHaskell bindings to the Graphviz toolkit
Haskell Other UpdatedJul 19, 2019 -
quickcheck-state-machine Public
Forked from advancedtelematic/quickcheck-state-machineTest monadic programs using state machine based models
Haskell Other UpdatedJul 1, 2019 -
-
pthread Public
Forked from tweag/pthreadBindings for the pthread library
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJun 15, 2019 -
quickcheck Public
Forked from nick8325/quickcheckAutomatic testing of Haskell programs.
Haskell Other UpdatedJun 11, 2019 -
-
-
sqlite-simple-errors Public
Forked from caneroj1/sqlite-simple-errorsLight wrapper around errors from sqlite-simple to make working with constraint errors a bit easier.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedNov 17, 2018 -
beam Public
Forked from haskell-beam/beamA type-safe, non-TH Haskell SQL library and ORM
Haskell UpdatedOct 25, 2018 -
hs-ed25519 Public
Forked from thoughtpolice/hs-ed25519Minimal ed25519 Haskell package, binding to the ref10 SUPERCOP implementation.
C MIT License UpdatedOct 19, 2018
{{ message }}