Alternatives and similar repositories for tezos-papers

Users that are interested in tezos-papers are comparing it to the libraries listed below

• tezos / tezos-explorer
  A block explorer for Tezos
  ☆12Updated 8 years ago
• truthcoin / truthcoin-cpp
  Knowledge Revolution
  ☆27Updated 9 years ago
• tezos / tezoscoq
  working with coq and tezos
  ☆28Updated 7 years ago
• ConsensusResearch / articles-papers
  Articles and Papers from Consensus Research
  ☆30Updated 9 years ago
• dapp-studies / cryptoeconomics
  A collection of 🔥 resources & research on cryptoeconomics
  ☆27Updated 7 years ago
• CornellBlockchain / bamboo
  Bamboo: a morphing smart contract language
  ☆38Updated 6 years ago
• pirapira / evmverif
  An EVM code verification framework in Coq
  ☆44Updated 8 years ago
• ZcashFoundation / GrantProposals-2017Q4
  Submission site for Zcash Foundation grant proposals
  ☆25Updated 7 years ago
• cryptiumlabs / library
  This repository is used as an open library for the blockchain community. We include letters, papers, analysis, blogposts, etc, for anyone…
  ☆31Updated 4 years ago
• fredcy / tezos-client
  Tezos Explorer
  ☆36Updated 7 years ago
• leithaus / casper
  Formal specification and reference implementation of Casper
  ☆15Updated 9 years ago
• CommonAccord / Cmacc-Org
  The full CommonAccord.org website, including many of the sub repos.
  ☆46Updated last month
• tezoscommunity / FAQ
  Frequently Asked Questions
  ☆67Updated 3 years ago
• rchain / reference
  Rchain reference material
  ☆53Updated 3 years ago
• vbuterin / scalability_paper
  ☆110Updated 3 years ago
• Consensys / quorum-tools
  Tools for running Quorum clusters and integration tests
  ☆51Updated 3 years ago
• TrueBitFoundation / ocaml-offchain
  Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification
  ☆44Updated 4 years ago
• fab13n / lamtez
  An ML-inspired smart contract language, compiling to Tezos' Michelson VM
  ☆22Updated 7 years ago
• ConsenSysMesh / dao-wars
  ☆50Updated 9 years ago
• paritytech / parity-extension
  Parity Chrome Extension
  ☆37Updated 6 years ago
• keep-network / whitepaper
  Whitepaper describing the Keep network
  ☆37Updated 5 years ago
• OCamlPro / liquidity
  A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson
  ☆157Updated 4 years ago
• obsidiansystems / ledger-app-tezos
  Ledger app for Tezos
  ☆102Updated 3 years ago
• bonedaddy / Tezos-Developer-Resources
  Resources for Tezos Developers
  ☆35Updated 5 years ago
• TezTech / fi-compiler
  Custom compiler for Michelson - Tezos Smart Contracts
  ☆43Updated 6 years ago
• cryptiumlabs / backerei
  Automated reward payment & account management for Tezos bakers.
  ☆49Updated 3 years ago
• obscuren / whisper-payment-channel
  Sample payment channel using whisper
  ☆36Updated 9 years ago
• murbard / pytezos
  python utils for tezos
  ☆47Updated 11 months ago
• d11e9 / universal-dapp
  A Universal ÐApp Interface
  ☆36Updated 9 years ago
• o1-labs / snarkette
  Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)
  ☆55Updated 6 years ago