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
  ☆45Updated 5 years ago
• ethereum-oasis-op / oasis-open-project
  Admin, governance, and background info for Ethereum OASIS Open Project
  ☆59Updated 2 weeks ago
• Consensys / orion
  Orion is a PegaSys component for doing private transactions
  ☆90Updated 3 years ago
• djrtwo / beacon_chain
  Experimental implementation of an ETH2.0 beacon chain in python
  ☆10Updated 7 years ago
• digital-asset / canton
  Global Workflow Composition that is Scalable, Secure, and GDPR-compliant
  ☆83Updated last week
• gnosis / dex-research
  Collection of research papers written within Gnosis
  ☆92Updated 3 years ago
• TruebitProtocol / wiki
  Classic source for Truebit documentation
  ☆59Updated 4 years ago
• runtimeverification / erc20-semantics
  ERC20 in K
  ☆50Updated 6 years ago
• tezoscommunity / FAQ
  Frequently Asked Questions
  ☆67Updated 3 years ago
• gnosis / dx-contracts
  🇳🇱✖️DutchX core smart contracts
  ☆45Updated 5 years ago
• openlawteam / openlaw-core
  Shared Scala libraries for the OpenLaw project.
  ☆106Updated 4 years ago
• w3f / polkadot-legacy-spec
  A more technical description of Polkadot protocol
  ☆47Updated 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!
  ☆108Updated last year
• jtremback / avocado
  ☆42Updated 9 years ago
• BlockScience / Risk-Adjusted-Bonding-Curves
  Public Repo for Collaboration between Interchain Foundation and BlockScience
  ☆67Updated last year
• interlay / xopts
  Zero Trust Bitcoin Options on Ethereum
  ☆12Updated 4 years ago
• cbc-casper / cbc-casper-paper
  An Introduction to CBC Casper Consensus Protocols
  ☆137Updated 6 years ago
• thorchain / THORChain-v1
  A lightning fast decentralised liquidity protocol.
  ☆47Updated 6 years ago
• cwgoes / scisco
  A privacy-preserving, auditable, distributed voting system.
  ☆13Updated 2 years ago
• System-Glitch / Solidity-IDE
  A simple alternative to Remix IDE to develop and test Solidity Smart Contracts
  ☆94Updated 4 years ago
• ledgerlabs / state-channels
  Taking trustless interactions beyond the chain
  ☆81Updated 9 years ago
• upala-digital-identity / upala
  Decentralized digital identity
  ☆24Updated 2 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• the-dao / whitepaper
  ☆63Updated 5 years ago
• linkpoolio / bridges
  Chainlink adaptor framework. Create your own adapters with an easy to use interface.
  ☆47Updated 3 years ago
• TrueBitFoundation / truebit-os
  [DEPRECATED] Interactive client
  ☆82Updated 5 years ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆46Updated 3 years ago
• ledgerlabs / toy-state-channels
  An educational "toy" implementation of fully abstracted state channels
  ☆49Updated 8 years ago
• pegnet / pegnetd
  The pegnet daemon to track txs, conversions, etc
  ☆13Updated 3 years ago