ouroboros

There are 2 repositories under ouroboros topic.

• IntersectMBO / ouroboros-network

  Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.

  ouroborosblockchainnetworkhaskell
  Language:Haskell 266
• oura

  txpipe / oura

  The tail of Cardano

  cardanoblockchainrustouroboroselasticsearchkafkaredis
  Language:Rust 253
• pallas

  txpipe / pallas

  Rust-native building blocks for the Cardano blockchain ecosystem

  blockchaincardanoouroborosrust
  Language:Rust 132
• scrolls

  txpipe / scrolls

  Read-optimized cache of Cardano on-chain entities

  blockchaincachecardanoouroboros
  Language:Rust 86

• input-output-hk / high-assurance-legacy

  Legacy code connected to the high-assurance implementation of the Ouroboros protocol family

  ouroboroscardanocryptocurrencyblockchaindistributed-computingformal-verificationformal-methods
  Language:Haskell 78
• gouroboros

  blinklabs-io / gouroboros

  Go implementation of the Cardano Ouroboros protocol

  blockchaincardanogogolanggolang-librarylibrarynetworkouroborosouroboros-networkprotocol
  Language:Go 61

• psidex / CrowsNest

  Watchtower for Git: automatically keep local Git repositories up to date with their remotes

  watchtowerouroborosautomationdevopscontinous-deliveryupdate-checker
  Language:Go 61

• IntersectMBO / ouroboros-consensus

  Implementation of a Consensus Layer for the Ouroboros family of protocols

  blockchainconsensusouroboros
  Language:Haskell 27
• snek

  blinklabs-io / snek

  Event-driven tool for tailing the Cardano blockchain

  blockchaincardanogogolangouroborosouroboros-networktoolbox
  Language:Go 15

• input-output-hk / cardano-ledger-high-assurance

  Formalization of the Cardano ledger specification

  ouroboroscardanocryptocurrencyblockchaindistributed-computingformal-verificationformal-methods
  Language:Isabelle 6

• rumia-san / rumia-quine

  My quine programs : ) Including ASCII Art quine, normal quines and Ouroboros quines. Written in C, CPP, Ruby and Python

  ouroboros-quinequineouroborosascii-art
  Language:Ruby 4

• blinklabs-io / cardano-node-api

  Multi-protocol API for interfacing with a local Cardano node

  apiblockchaincardanogogolangouroborosouroboros-network
  Language:Go 3

• RaulSanchezzt / server

  Docker compose files for services

  dockerdocker-composeghostfolionetdatanextcloudnginx-proxyodooouroborospi-holeportainerself-hostedservertraefiktrufflevaultwardenvscodewireguardwordpress
  Language:Shell 3

• MitchellTesla / Alfa-ROMio

  Experimental blockchain node, written in Rust, with the initial aim to support Ouroboros

  blockchain-technologycardano-nodedevelopment-environmentexperimental-projectmodificationnodeouroborostesting
  Language:Rust 2

• input-output-hk / ouroboros-high-assurance

  High-assurance implementation of the Ouroboros protocol family

  ouroboroscardanoblockchaincryptocurrencydistributed-systemsformal-methodsformal-verification
  Language:Isabelle 1

• JurajHolub / wittgenstein

  Wittgenstein simulator extended for simulation of Harmony, Solana and Ouroboros blockchains. Entire application is containerized in docker.

  blockchainconsensusharmonyouroborosproof-of-stakesimulationsolana
  Language:Java

• TheBeachMaster / updating-with-ouroboros

  Updating containers with Ouroboros code repo

  dockerdocker-composeouroboros
  Language:JavaScript