Alternatives and similar repositories for btc0

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

• takenobu-hs / haskell-ethereum-assembly
  EVM (Ethereum virtual machine) Assembly on Haskell DSL
  ☆66Updated 7 years ago
• runtimeverification / haskell-backend
  The symbolic execution engine powering the K Framework
  ☆223Updated last week
• fission-codes / ipfs-haskell
  IPFS wrapper for Haskell
  ☆43Updated 2 years ago
• Soonad / Moonad
  An upcoming operating system built on Type-Theory
  ☆43Updated 5 years ago
• runtimeverification / plutus-core-semantics
  ☆27Updated last year
• AndrewRademacher / coinbase-exchange
  (DEPRECATED) Active work at dimitri-xyz/coinbase-pro-exchange
  ☆36Updated 7 years ago
• dfinity-side-projects / dhc
  Compiles Haskell to WebAssembly
  ☆167Updated 6 years ago
• Soonad / Whitepaper
  Moonad: a Peer-to-Peer Operating System
  ☆101Updated 6 years ago
• awkward-squad / ki
  A structured concurrency library
  ☆86Updated 11 months ago
• sdiehl / double-ratchet
  Double ratchet algorithm for E2E encryption
  ☆59Updated 7 years ago
• astump / cedilleum-spec
  Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core
  ☆28Updated 6 years ago
• cronokirby / haze
  A bittorrent client, for learning purposes
  ☆108Updated 6 years ago
• sdiehl / zkp
  A framework to execute and verify algorithms using Groth16 zkSNARKs.
  ☆89Updated 5 years ago
• SPY / haskell-wasm
  Haskell WebAssembly Toolkit
  ☆155Updated last year
• isovector / hs2
  a new, WIP Haskell compiler
  ☆14Updated 5 years ago
• jprupp / secp256k1-haskell
  Haskell bindings for secp256k1 library
  ☆24Updated 9 months ago
• kazu-yamamoto / quic
  IETF QUIC library in Haskell
  ☆114Updated 2 weeks ago
• froozen / kademlia
  A haskell library implementing the Kademlia DHT
  ☆43Updated 7 years ago
• bolt12 / advent-of-haskell-dd
  Day 9 of Advent of Haskell - Denotational Design
  ☆98Updated 4 years ago
• tweag / linear-types
  Drafts, notes and resources for adding linear typing to GHC.
  ☆79Updated 5 years ago
• jamshidh / ethereum-client-haskell
  ☆77Updated 3 years ago
• input-output-hk / rscoin-haskell
  Haskell implementation of RSCoin
  ☆49Updated 8 years ago
• MichaelBurge / haskoin
  Proof-of-concept Blockchain in Haskell
  ☆89Updated 8 years ago
• bkirwi / ethereum-haskell
  An independent reimplementation of Ethereum in Haskell
  ☆81Updated 10 years ago
• SPY / idris-codegen-wasm
  WebAssembly Code Generation Backend for Idris Compiler
  ☆82Updated 7 years ago
• aymannadeem / foldilocks
  Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns.
  ☆188Updated 6 years ago
• multiformats / haskell-multihash
  Multihash Haskell implementation
  ☆28Updated 2 years ago
• srijs / hwsl2-haskell
  Hashing with SL2 for Haskell
  ☆20Updated 6 years ago
• haskellweekly / haskellweekly
  Publishes curated news about the Haskell programming language.
  ☆153Updated this week
• cronburg / antlr-haskell
  A language parsing quasiquoter for Haskell based heavily on ANTLR4.
  ☆52Updated 5 years ago