Alternatives and similar repositories for btc0:

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

• fission-codes / ipfs-haskell
  IPFS wrapper for Haskell
  ☆43Updated last year
• froozen / kademlia
  A haskell library implementing the Kademlia DHT
  ☆43Updated 6 years ago
• AndrewRademacher / coinbase-exchange
  (DEPRECATED) Active work at dimitri-xyz/coinbase-pro-exchange
  ☆36Updated 6 years ago
• input-output-hk / nothunks
  ☆49Updated last month
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated last year
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• gelisam / linear-examples
  Example uses of linear types
  ☆43Updated 4 years ago
• takenobu-hs / haskell-ethereum-assembly
  EVM (Ethereum virtual machine) Assembly on Haskell DSL
  ☆66Updated 6 years ago
• MercuryTechnologies / ghc-specter
  Inspecting tool for GHC compilation pipeline
  ☆32Updated last year
• achirkin / easytensor
  Many-dimensional type-safe numeric ops
  ☆46Updated 3 years ago
• FormationAI / dhall-bhat
  Tasty meal of Dhall
  ☆66Updated last year
• sdiehl / double-ratchet
  Double ratchet algorithm for E2E encryption
  ☆59Updated 6 years ago
• VictorTaelin / absal-ex
  Absal ex
  ☆56Updated last year
• sdiehl / zkp
  A framework to execute and verify algorithms using Groth16 zkSNARKs.
  ☆90Updated 4 years ago
• dhallix / nix-derivation
  ☆30Updated 4 years ago
• cdepillabout / post-about-nix-and-haskell
  ☆29Updated 5 years ago
• Trundle / idris-go
  A Go backend for Idris
  ☆15Updated 6 years ago
• RiugaBachi / necrophagy
  A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.
  ☆25Updated 2 years ago
• qnikst / imagemagick
  haskell imagemagick bindings
  ☆27Updated 2 years ago
• nomeata / cabal-plan-bounds
  Calculate Haskell dependency ranges from multiple build plans
  ☆31Updated 9 months ago
• input-output-hk / nix-tools
  Translate Cabals Generic Package Description to a Nix expression
  ☆95Updated last year
• ninegua / reduxer
  An interactive beta reduction calculator for lambda calculus
  ☆11Updated 6 years ago
• vaclavsvejcar / headroom
  ©️ Manager for license headers in source code files.
  ☆48Updated 3 weeks ago
• awkward-squad / ki
  A structured concurrency library
  ☆85Updated last month
• ekmett / linear-logic
  They see me rollin'. They're Heyting. -- Chamillionaire, 2005
  ☆83Updated 3 years ago
• uwap / idris-http
  An HTTP library for idris
  ☆39Updated 6 years ago
• bartavelle / 7startups
  A whirlwind tour of some Haskell design decisions
  ☆23Updated 5 years ago
• haskell-streaming / streaming
  An optimized general monad transformer for streaming applications, with a simple prelude of functions
  ☆161Updated last year
• chessai / pump
  reverse dependency build matrix generator
  ☆33Updated 4 years ago
• mpickering / eventlog2html
  Visualise eventlog events as a static webpage
  ☆68Updated 2 months ago