Alternatives and similar repositories for Bitcoin:

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

• decanus / rutschblock
  A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+
  ☆18Updated 4 years ago
• ZcashFoundation / powersoftau-attestations
  ☆25Updated 2 years ago
• mattdf / sc-tools
  Smart Contract tools to help streamline Ethereum dapp development and deployment
  ☆14Updated 7 years ago
• GuildOfWeavers / galois
  Arithmetic and polynomial operations in finite fields.
  ☆39Updated 2 years ago
• radicle-dev / radicle-registry
  An experimental Substrate implementation of the Radicle Registry 📒
  ☆34Updated 4 years ago
• golemfactory / ProofOfDevice
  Proof of Device
  ☆19Updated last year
• 21dotco / bitroute
  An example piece of code to publish to the 21 marketplace. Allows users to pay you bitcoin to run a traceroute.
  ☆16Updated 8 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• daira / jubjub
  Supporting evidence for security of the Jubjub curve to be used in Zcash
  ☆16Updated 3 years ago
• OCamlPro / techelson
  A test execution engine for Michelson smart contracts.
  ☆17Updated 5 years ago
• daira / tweedle
  Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
  ☆20Updated 2 years ago
• statechannels / tla-specs
  TLA+ specifications of various protocols used by wallets in the nitro protocol.
  ☆18Updated 4 years ago
• stonecoldpat / briberycontracts
  Ethereum contracts to support in-band and out-of-band bribery.
  ☆14Updated 7 years ago
• Magicking / solidity-evm
  Solidity EVM is a restricted Ethereum Virtual Machine interpreter
  ☆13Updated 6 years ago
• bitml-lang / bitml-compiler
  Compiler for BitML
  ☆26Updated 2 years ago
• radicle-dev / radicle-decisions
  Radicle Developers of All Countries, Unite!
  ☆17Updated 3 years ago
• ChainSafe / persistent-merkle-tree
  ☆12Updated 2 years ago
• federicobond / solidity-spec
  A Solidity spec suite to test parsers for language compliance.
  ☆11Updated 7 years ago
• dedis / doc
  Public working documents (e.g., Internet drafts)
  ☆22Updated 6 years ago
• blyssprivacy / clients
  ☆22Updated 2 years ago
• axic / yevm
  "Why EVM?" is an EVM compiler infrastructure.
  ☆11Updated 6 years ago
• drewstone / rust-miximus
  A zkSNARK implementation of a merkle tree membership preimage proof.
  ☆24Updated 5 years ago
• asonnino / fraudproofs-prototype
  Prototype of fraud proofs.
  ☆12Updated 2 years ago
• lurk-lab / lurk-lib
  Shared Lurk source code, including tests and library code.
  ☆18Updated 10 months ago
• libp2p / go-libp2p-rendezvous
  Go implementation of rendezvous protocol
  ☆12Updated 11 months ago
• lastmjs / eth-total-supply
  Information and some implementation for calculating the total supply of ETH
  ☆29Updated 4 years ago
• ebfull / hackishlibsnarkbindings
  ☆13Updated 8 years ago
• pirapira / dry-analyzer
  Dr. Y's Ethereum Contract Analyzer
  ☆42Updated 2 years ago