Alternatives and similar repositories for Blockchain

Users that are interested in Blockchain are comparing it to the libraries listed below

• LeastAuthority / haskell-spake2
  SPAKE2 key exchange protocol for Haskell
  ☆14Updated 2 years ago
• sellout / dualizer
  Delete half (minus ε) of your Haskell code!
  ☆30Updated 3 weeks ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆24Updated 6 years ago
• martinring / cobra
  Proof and Code Presentation Framework
  ☆21Updated 5 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• tel / hotep
  "Fail Fast" process management for Haskell; inspired by Erlang
  ☆16Updated 8 years ago
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 2 years ago
• andrewthad / serpentine
  Haskell routes using dependent types
  ☆10Updated 8 years ago
• haskell-distributed / distributed-static
  Support for static values
  ☆22Updated 9 months ago
• ekmett / auth
  ☆40Updated 6 years ago
• twanvl / ttie
  Type Theory with Indexed Equality
  ☆25Updated 8 years ago
• acowley / concurrent-machines
  Concurrency features for the Haskell machines package
  ☆16Updated 3 years ago
• patrickdoc / hash-graph
  A hashing-based graph implementation in Haskell
  ☆33Updated 6 years ago
• nomeata / bisect-binary
  Tool to determine relevant parts of binary data
  ☆44Updated 7 years ago
• andyarvanitis / idris-cplusplus
  Experimental C++11 backend for Idris
  ☆14Updated 10 years ago
• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 4 years ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆58Updated 8 years ago
• froozen / kademlia
  A haskell library implementing the Kademlia DHT
  ☆43Updated 6 years ago
• jfdm / idris-xml
  A simple XML module for Idris.
  ☆13Updated 5 years ago
• composewell / compact-list
  An append only list in a compact region
  ☆25Updated 6 years ago
• factisresearch / large-hashable
  Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms
  ☆16Updated 4 months ago
• robrix / abstract-interpretation
  Experiments in abstracting definitional interpreters
  ☆16Updated 7 years ago
• esengie / fpl-exploration-tool
  Diploma work (if this is still here contact me if you need details)
  ☆13Updated 8 years ago
• alanz / machines-play
  Playing with https://github.com/ekmett/machines
  ☆51Updated 7 years ago
• mvv / data-elf
  ELF data structures for Haskell
  ☆24Updated 2 years ago
• zadarnowski / quiver
  Quiver stream processing library
  ☆15Updated 8 years ago
• ekmett / hyperloglog
  A constant-memory approximation of set membership
  ☆25Updated 4 months ago
• tathougies / generic-lens
  Automatically make lenses from data structures implementing Generic
  ☆26Updated 10 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆52Updated 6 years ago