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
  ☆19Updated last week
• Consensys / wittgenstein
  Simulator for some PoS or consensus algorithms. Includes dfinity, casper IMD and others
  ☆46Updated 6 years ago
• openlawteam / openlaw-core
  Shared Scala libraries for the OpenLaw project.
  ☆107Updated 4 years ago
• cbc-casper / cbc-casper-paper
  An Introduction to CBC Casper Consensus Protocols
  ☆138Updated 6 years ago
• runtimeverification / erc20-semantics
  ERC20 in K
  ☆49Updated 6 years ago
• vbuterin / scalability_paper
  ☆110Updated 3 years ago
• Consensys / orion
  Orion is a PegaSys component for doing private transactions
  ☆90Updated 4 years ago
• ethereum-oasis-op / oasis-open-project
  Admin, governance, and background info for Ethereum OASIS Open Project
  ☆61Updated 5 months ago
• BlockScience / Risk-Adjusted-Bonding-Curves
  Public Repo for Collaboration between Interchain Foundation and BlockScience
  ☆68Updated 2 years ago
• streamr-dev / monoplasma
  Unidirectional payment distribution channel with monotonically increasing balances (now obsolete)
  ☆38Updated 4 years ago
• tezoscommunity / FAQ
  Frequently Asked Questions
  ☆66Updated 4 years ago
• Cryptonomic / Conseil
  Query API and indexer for Tezos and other decentralized platforms.
  ☆88Updated 3 years ago
• gnosis / dx-contracts
  🇳🇱✖️DutchX core smart contracts
  ☆45Updated 6 years ago
• dapphub / ds-group
  Multisig with a command-line interface
  ☆21Updated 7 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 7 years ago
• Consensys / Project-Alchemy
  Ethereum-Zcash Integration effort
  ☆66Updated 6 years ago
• nomic-io / bitcoin-peg
  Bitcoin sidechain module for Lotion and Coins (A Cosmos Bitcoin peg zone implementation)
  ☆72Updated 4 years ago
• dapphub / klab
  K framework proof explorer & smart contract specification format
  ☆124Updated 4 years ago
• djrtwo / beacon_chain
  Experimental implementation of an ETH2.0 beacon chain in python
  ☆10Updated 7 years ago
• cosmos / research
  ☆23Updated 5 years ago
• EntEthAlliance / EEA-Trusted-Reward-Token
  ☆16Updated 2 years ago
• gnosis / dex-research
  Collection of research papers written within Gnosis
  ☆91Updated 4 years ago
• renproject / darknode-sol
  An implementation of Darknode smart contracts, written in Solidity
  ☆85Updated 3 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!
  ☆107Updated 2 years ago
• renproject / ren
  Feature, improvement, and design proposals for Ren protocol
  ☆91Updated 4 years ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆44Updated 4 years ago
• w3f / polkadot-legacy-spec
  A more technical description of Polkadot protocol
  ☆47Updated 6 years ago
• thorchain / THORChain-v1
  A lightning fast decentralised liquidity protocol.
  ☆50Updated 6 years ago
• input-output-hk / js-cardano-wasm
  various cardano javascript using wasm bindings
  ☆32Updated 2 years ago
• davesag / ERC884-reference-implementation
  An Interface and Reference Implementation of the ERC-884 DGCL Token.
  ☆42Updated 6 years ago