Alternatives and similar repositories for actus-techspecs

Users that are interested in actus-techspecs are comparing it to the libraries listed below

• actusfrf / actus-dictionary
  This repository contains the actus dictionary and generation scripts
  ☆20Updated last year
• Consensys / wittgenstein
  Simulator for some PoS or consensus algorithms. Includes dfinity, casper IMD and others
  ☆46Updated 5 years ago
• thorchain / THORChain-v1
  A lightning fast decentralised liquidity protocol.
  ☆49Updated 6 years ago
• ZcashFoundation / zcash-pegzone
  A shielded pegzone bridging Cosmos and Zcash.
  ☆26Updated 5 years ago
• cwgoes / scisco
  A privacy-preserving, auditable, distributed voting system.
  ☆13Updated 2 years ago
• djrtwo / beacon_chain
  Experimental implementation of an ETH2.0 beacon chain in python
  ☆10Updated 7 years ago
• cryptiumlabs / backerei
  Automated reward payment & account management for Tezos bakers.
  ☆49Updated 4 years ago
• JoshOrndorff / LearnRholangByExample
  Teaches rholang to beginners and intermediate programmers through hands-on examples and experimentation.
  ☆66Updated 3 years ago
• nomic-io / bitcoin-peg
  Bitcoin sidechain module for Lotion and Coins (A Cosmos Bitcoin peg zone implementation)
  ☆72Updated 4 years ago
• virgo-project / virgo
  United DAOs of Virgo (UDV)
  ☆59Updated last month
• runtimeverification / iele-semantics
  Semantics of Virtual Machine for IELE prototype blockchain
  ☆132Updated 2 years ago
• w3f / polkadot-legacy-spec
  A more technical description of Polkadot protocol
  ☆47Updated 5 years ago
• runtimeverification / erc20-semantics
  ERC20 in K
  ☆50Updated 6 years ago
• f-o-a-m / cliquebait
  Scientists are SHOCKED by how easy it is to disrupt a $550B industry with this one weird trick!
  ☆109Updated last year
• Consensys / orion
  Orion is a PegaSys component for doing private transactions
  ☆90Updated 3 years ago
• cbc-casper / cbc-casper-paper
  An Introduction to CBC Casper Consensus Protocols
  ☆137Updated 6 years ago
• cosmos / research
  ☆22Updated 5 years ago
• Cryptonomic / Conseil
  Query API and indexer for Tezos and other decentralized platforms.
  ☆89Updated 2 years ago
• f-o-a-m / kepler
  A Haskell framework that facilitates writing ABCI applications
  ☆34Updated last year
• gnosis / dex-research
  Collection of research papers written within Gnosis
  ☆92Updated 3 years ago
• summa-tx / bitcoin-spv
  utilities for Bitcoin SPV proof verification on (many!) other chains
  ☆171Updated 2 years ago
• gnosis / dx-contracts
  🇳🇱✖️DutchX core smart contracts
  ☆45Updated 5 years ago
• dapphub / ds-group
  Multisig with a command-line interface
  ☆22Updated 6 years ago
• w3f / consensus
  Consensus for Web3
  ☆95Updated last year
• aurowallet / auro-wallet-browser-extension
  Mina Protocol browser extension wallet
  ☆47Updated 2 weeks ago
• rchain-community / rchain.cloud
  Online Rholang interpreter.
  ☆20Updated 4 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 7 years ago
• cosmos / relayer-archive
  An example of a server side IBC relayer to be used for Game of Zones and beyond
  ☆56Updated 5 years ago
• dapphub / klab
  K framework proof explorer & smart contract specification format
  ☆124Updated 4 years ago
• cosmos / ledger-cosmos-obsolete
  Ledger Nano S support for Tendermint/Cosmos
  ☆42Updated 5 years ago