Pinned Repositories
quickcheck-state-machine
Test monadic programs using state machine based models
beam
A type-safe, non-TH Haskell SQL library and ORM
cardano-sl
Cryptographic currency implementing Ouroboros PoS protocol
cardano-wallet-legacy
Official Wallet Backend & API for Cardano-SL
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.
Clouds-In-Paxos
Implementation of Paxos using Cloud-Haskell
gsoc
hs-rqlite
An unofficial Haskell client for RQlite
json-ld
json-ld implementation is Haskell
visualize-cbn
kderme's Repositories
kderme/json-ld
json-ld implementation is Haskell
kderme/gsoc
kderme/hs-rqlite
An unofficial Haskell client for RQlite
kderme/adawallet
A single address wallet that supports menmonics and hardware wallets
kderme/async-queue
kderme/beam
A type-safe, non-TH Haskell SQL library and ORM
kderme/cardano-db-sync
A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
kderme/cardano-entropy
kderme/cardano-ledger-specs
A formal specification and executable model of the ledger rules introduced by the Shelley release
kderme/cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
kderme/cardano-updates
kderme/CIPs
kderme/compiler
A compiler for a pascal like language called pcl
kderme/criterion
kderme/direct-sqlite
kderme/filelock
Portable interface to file locking
kderme/ghcide
A library for building Haskell IDE tooling
kderme/graphviz
Haskell bindings to the Graphviz toolkit
kderme/haskell-language-server
Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.
kderme/hs-ed25519
Minimal ed25519 Haskell package, binding to the ref10 SUPERCOP implementation.
kderme/lockfile
kderme/ouroboros-consensus
Implementation of a Consensus Layer for the Ouroboros family of protocols
kderme/ouroboros-network
An implementation of the Ouroboros family of consensus algorithms, with its networking support
kderme/persistent
Persistence interface for Haskell allowing multiple storage methods.
kderme/pthread
Bindings for the pthread library
kderme/quickcheck
Automatic testing of Haskell programs.
kderme/quickcheck-state-machine
Test monadic programs using state machine based models
kderme/spark-memory-simulator
kderme/sqlite-simple-errors
Light wrapper around errors from sqlite-simple to make working with constraint errors a bit easier.
kderme/voting-tools