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
• runtimeverification / erc20-semantics
  ERC20 in K
  ☆50Updated 6 years ago
• openlawteam / openlaw-core
  Shared Scala libraries for the OpenLaw project.
  ☆106Updated 4 years ago
• ethereum-oasis-op / oasis-open-project
  Admin, governance, and background info for Ethereum OASIS Open Project
  ☆59Updated last month
• gnosis / dex-research
  Collection of research papers written within Gnosis
  ☆92Updated 3 years ago
• gnosis / dx-contracts
  🇳🇱✖️DutchX core smart contracts
  ☆45Updated 5 years ago
• cbc-casper / cbc-casper-paper
  An Introduction to CBC Casper Consensus Protocols
  ☆137Updated 6 years ago
• linkpoolio / bridges
  Chainlink adaptor framework. Create your own adapters with an easy to use interface.
  ☆47Updated 3 years ago
• thorchain / THORChain-v1
  A lightning fast decentralised liquidity protocol.
  ☆49Updated 6 years ago
• renproject / darknode-sol
  An implementation of Darknode smart contracts, written in Solidity
  ☆85Updated 2 years ago
• interlay / xopts
  Zero Trust Bitcoin Options on Ethereum
  ☆12Updated 4 years ago
• ZcashFoundation / zcash-pegzone
  A shielded pegzone bridging Cosmos and Zcash.
  ☆25Updated 5 years ago
• tezoscommunity / FAQ
  Frequently Asked Questions
  ☆67Updated 3 years ago
• Consensys / orion
  Orion is a PegaSys component for doing private transactions
  ☆90Updated 3 years ago
• virgo-project / virgo
  United DAOs of Virgo (UDV)
  ☆59Updated 2 weeks ago
• cwgoes / scisco
  A privacy-preserving, auditable, distributed voting system.
  ☆13Updated 2 years ago
• pegnet / pegnetd
  The pegnet daemon to track txs, conversions, etc
  ☆13Updated 4 years ago
• UMAprotocol / whitepaper
  ☆79Updated 5 years ago
• djrtwo / beacon_chain
  Experimental implementation of an ETH2.0 beacon chain in python
  ☆10Updated 7 years ago
• Cryptonomic / Conseil
  Query API and indexer for Tezos and other decentralized platforms.
  ☆89Updated 2 years ago
• System-Glitch / Solidity-IDE
  A simple alternative to Remix IDE to develop and test Solidity Smart Contracts
  ☆94Updated 4 years ago
• dharmaprotocol / charta
  New & improved contracts for Dharma protocol
  ☆98Updated 5 years ago
• summa-tx / bitcoin-spv
  utilities for Bitcoin SPV proof verification on (many!) other chains
  ☆171Updated 2 years ago
• openethereum / kovan-validator-set
  Validator set contracts for Kovan network.
  ☆34Updated 5 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
• centrifuge / precise-proofs
  A library to generate merkle proofs for complex data structures
  ☆62Updated 2 years ago
• Consensys / zsl-q
  ZSL on Quorum
  ☆73Updated 6 years ago
• SpankChain / old-sc_auction
  A state channels ICO auction contract.
  ☆23Updated 7 years ago
• digital-asset / canton
  Global Workflow Composition that is Scalable, Secure, and GDPR-compliant
  ☆85Updated this week