hexresearch / ergvein

Related projects: ⓘ

• haskoin / haskoin-store
  Haskoin Store is a blockchain storage service with a RESTful API
  ☆26Updated last month
• bitnomial / bitcoind-rpc
  A cilent for the bitcoind JSON-RPC interface
  ☆11Updated 3 months ago
• solatis / haskell-bitcoin-script
  Bitcoin script compilation, manipulation and decompilation
  ☆14Updated 4 years ago
• IntersectMBO / ouroboros-consensus
  Implementation of a Consensus Layer for the Ouroboros family of protocols
  ☆31Updated this week
• fission-codes / ipfs-haskell
  IPFS wrapper for Haskell
  ☆43Updated last year
• IntersectMBO / cardano-prelude
  A protolude-based custom prelude for the Cardano project
  ☆15Updated 3 months ago
• input-output-hk / casino
  Demo / PoC / implementation of IOHK MPC protocols
  ☆19Updated 5 years ago
• input-output-hk / iohk-monitoring-framework
  This framework provides logging, benchmarking and monitoring.
  ☆34Updated 3 weeks ago
• omelkonian / formal-utxo
  Formalization of the UTxO abstract model for (bitcoin-style) blockchain transactions.
  ☆14Updated this week
• runtimeverification / plutus-core-semantics
  ☆27Updated 2 months ago
• multiformats / haskell-multihash
  Multihash Haskell implementation
  ☆27Updated last year
• input-output-hk / pvss-haskell
  ☆21Updated 6 years ago
• IntersectMBO / formal-ledger-specifications
  Formal specifications of the cardano ledger
  ☆36Updated this week
• haskoin / secp256k1-haskell
  Haskell bindings for secp256k1 library
  ☆24Updated 3 weeks ago
• haskoin / haskoin-node
  Haskoin Node is a Bitcoin and Bitcoin Cash peer-to-peer protocol library
  ☆13Updated 3 months ago
• serokell / fift-asm-dsl
  A Haskell eDSL for the TON VM Assembler
  ☆15Updated 4 years ago
• input-output-hk / plutus-metatheory
  Mechanised meta theory for Plutus Core (DEPRECATED - MOVED to plutus)
  ☆9Updated 2 years ago
• serokell / ariadne
  An open source Ada wallet for users who need more
  ☆40Updated 5 years ago
• LovelaceAcademy / nix-templates
  Minimal reproducible nix flake templates
  ☆14Updated 2 months ago
• Enecuum / Node
  Comprehensive framework to build network actors and distributed applications
  ☆44Updated 5 years ago
• input-output-hk / cardano-sl-explorer
  Explorer of cardano-sl
  ☆10Updated last year
• input-output-hk / cardano-engineering-handbook
  A handbook covering cross-project policies and information for projects in the Cardano Open Source Consortium
  ☆14Updated last year
• input-output-hk / iohk-ops
  NixOps deployment configuration for IOHK devops
  ☆119Updated 4 years ago
• input-output-hk / project-icarus-importer
  Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.
  ☆13Updated 5 years ago
• input-output-hk / iohk-nix
  nix scripts shared across projects
  ☆62Updated last month
• input-output-hk / ops-lib
  NixOps deployment configuration library for IOHK devops
  ☆15Updated 2 months ago
• input-output-hk / cardano-haskell
  Top level repository for building the Cardano Haskell node and related components and dependencies.
  ☆24Updated last year
• input-output-hk / cardano-shell
  Node shell, a thin layer for running the node and it's modules.
  ☆31Updated last year
• zchn / ethereum-analyzer
  An Ethereum contract analyzer.
  ☆18Updated 6 years ago
• runeksvendsen / bitcoin-payment-channel
  Bitcoin payment channel library
  ☆11Updated 7 years ago