Alternatives and similar repositories for actus-techspecs

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

• Consensys / wittgenstein
  Simulator for some PoS or consensus algorithms. Includes dfinity, casper IMD and others
  ☆46Updated 6 years ago
• runtimeverification / erc20-semantics
  ERC20 in K
  ☆49Updated 6 years ago
• cwgoes / scisco
  A privacy-preserving, auditable, distributed voting system.
  ☆13Updated 3 years ago
• BlockScience / Risk-Adjusted-Bonding-Curves
  Public Repo for Collaboration between Interchain Foundation and BlockScience
  ☆67Updated 2 years ago
• actusfrf / actus-dictionary
  This repository contains the actus dictionary and generation scripts
  ☆19Updated 2 years ago
• w3f / polkadot-legacy-spec
  A more technical description of Polkadot protocol
  ☆47Updated 6 years ago
• dapphub / ds-group
  Multisig with a command-line interface
  ☆21Updated 7 years ago
• djrtwo / beacon_chain
  Experimental implementation of an ETH2.0 beacon chain in python
  ☆10Updated 7 years ago
• cosmos / research
  ☆22Updated 5 years ago
• gnosis / dx-contracts
  🇳🇱✖️DutchX core smart contracts
  ☆45Updated 6 years ago
• gnosis / dex-research
  Collection of research papers written within Gnosis
  ☆91Updated 4 years ago
• ethereum-oasis-op / oasis-open-project
  Admin, governance, and background info for Ethereum OASIS Open Project
  ☆61Updated 5 months ago
• thorchain / THORChain-v1
  A lightning fast decentralised liquidity protocol.
  ☆50Updated 6 years ago
• arminvoid / ethsingapore-zk-dai
  ZCash like private DAI transactions on ethereum using ZkSnarks. MakerDAO API prize winner.
  ☆52Updated 6 years ago
• ZcashFoundation / zcash-pegzone
  A shielded pegzone bridging Cosmos and Zcash.
  ☆26Updated 5 years ago
• streamr-dev / monoplasma
  Unidirectional payment distribution channel with monotonically increasing balances (now obsolete)
  ☆38Updated 4 years ago
• upala-digital-identity / upala
  Decentralized digital identity
  ☆24Updated 2 years ago
• the-dao / whitepaper
  ☆65Updated 6 years ago
• digital-asset / canton
  Global Workflow Composition that is Scalable, Secure, and GDPR-compliant
  ☆96Updated last week
• virgo-project / virgo
  United DAOs of Virgo (UDV)
  ☆59Updated last week
• gnosis / dex-zksnarks
  Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange
  ☆46Updated 7 years ago
• cosmos / ledger-cosmos-obsolete
  Ledger Nano S support for Tendermint/Cosmos
  ☆42Updated 5 years ago
• summa-tx / bitcoin-spv
  utilities for Bitcoin SPV proof verification on (many!) other chains
  ☆172Updated 3 years ago
• interlay / xopts
  Zero Trust Bitcoin Options on Ethereum
  ☆12Updated 4 years ago
• interlay / interbtc-spec
  interBTC specification for a trust-minimized Bitcoin to Polkadot (and beyond) bridge
  ☆17Updated 3 years ago
• cbc-casper / cbc-casper-paper
  An Introduction to CBC Casper Consensus Protocols
  ☆137Updated 6 years ago
• barryWhiteHat / semaphore
  ☆111Updated 6 years ago
• nomic-io / bitcoin-peg
  Bitcoin sidechain module for Lotion and Coins (A Cosmos Bitcoin peg zone implementation)
  ☆72Updated 4 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
• w3f / validator-security
  A collaborative document for good practice with validator security
  ☆21Updated 6 years ago