crocodile-dentist

Pinned Repositories

• centaur-tabs

  Emacs plugin aiming to become an aesthetic, modern looking tabs plugin

  Language:Emacs Lisp766919251

• helm

  Emacs incremental completion and selection narrowing framework

  Language:Emacs Lisp3.4k942k391

• io-sim

  Haskell's IO simulator which closely follows core packages (base, async, stm).

  Language:Haskell38135216

• cardano-base

  Code used throughout the Cardano eco-system

  Language:Haskell96617841

• cardano-cli

  This repository contains sources for the command-line interface (CLI) tool for interacting with the Cardano blockchain.

  Language:Haskell463329515

• cardano-ledger

  The ledger implementation and specifications of the Cardano blockchain.

  Language:Haskell264571.6k155

• cardano-node

  The core component that is used to participate in a Cardano decentralised blockchain.

  Language:Haskell3.1k1931.9k720

• ouroboros-consensus

  Implementation of a Consensus Layer for the Ouroboros family of protocols

  Language:Haskell383757323

• 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.

  Language:Haskell278501.6k86

• rhine

  Haskell Functional Reactive Programming framework with type-level clocks

  Language:Haskell127915321

crocodile-dentist's Repositories