Alternatives and similar repositories for Blockchain

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

• jozefg / miniprl
  A small implementation of a proof refinement logic.
  ☆50Updated 8 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 6 years ago
• tathougies / generic-lens
  Automatically make lenses from data structures implementing Generic
  ☆26Updated 10 years ago
• eelco / gdiff
  ☆33Updated 10 years ago
• patrickdoc / hash-graph
  A hashing-based graph implementation in Haskell
  ☆33Updated 7 years ago
• UnkindPartition / prover
  Simple lambda prover
  ☆24Updated 10 years ago
• expipiplus1 / exact-real
  Exact real arithmetic in Haskell
  ☆25Updated 4 years ago
• dorchard / effects-as-sessions
  Formalised embedding of an imperative language with effect system into session-typed pi calculus.
  ☆29Updated last year
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆38Updated 14 years ago
• byorgey / type-matrices
  Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff
  ☆14Updated 7 years ago
• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 5 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 8 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆57Updated 7 years ago
• jwiegley / linearscan
  ☆17Updated 3 years ago
• froozen / kademlia
  A haskell library implementing the Kademlia DHT
  ☆43Updated 7 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 8 years ago
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 3 years ago
• andyarvanitis / idris-cplusplus
  Experimental C++11 backend for Idris
  ☆15Updated 11 years ago
• twanvl / ttie
  Type Theory with Indexed Equality
  ☆26Updated 8 years ago
• sinelaw / fresh-lang
  ☆14Updated 8 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 9 years ago
• ericfinster / opetopic
  Web based opetopic editor
  ☆36Updated last year
• conal / talk-2016-generic-fft
  A talk on type-generic FFT in Haskell
  ☆46Updated 4 years ago
• sweirich / trellys
  Automatically exported from code.google.com/p/trellys
  ☆47Updated 6 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 7 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 2 weeks ago
• jkarni / verdict
  ☆26Updated 9 years ago
• robrix / abstract-interpretation
  Experiments in abstracting definitional interpreters
  ☆16Updated 8 years ago
• cstrahan / hs-capnp
  This will, one day, be a Haskell implementation of Cap'n Proto.
  ☆11Updated 9 years ago
• jonleivent / mindless-coding
  Mindless, verified (erasably) coding using dependent types
  ☆104Updated 10 years ago