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
• runtimeverification / erc20-semantics
  ERC20 in K
  ☆48Updated 5 years ago
• Consensys / wittgenstein
  Simulator for some PoS or consensus algorithms. Includes dfinity, casper IMD and others
  ☆46Updated 4 years ago
• w3f / polkadot-legacy-spec
  A more technical description of Polkadot protocol
  ☆47Updated 5 years ago
• Consensys / handel
  Multi-Signature Aggregation in a Large Byzantine Committees
  ☆53Updated 6 months ago
• gnosis / dex-research
  Collection of research papers written within Gnosis
  ☆91Updated 3 years ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆45Updated 3 years ago
• protolambda / beacon-schematic
  Schematic of the Ethereum 2.0 Beacon Chain specification
  ☆51Updated 5 years ago
• ethereum-oasis-op / oasis-open-project
  Admin, governance, and background info for Ethereum OASIS Open Project
  ☆59Updated 3 weeks ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• interlay / xopts
  Zero Trust Bitcoin Options on Ethereum
  ☆12Updated 3 years ago
• ethereum934 / eth-mimblewimble
  Ethereum 9 3/4's zk-SNARKs circuits and the python library for Mimblewimble on Ethereum
  ☆82Updated 2 years ago
• digital-asset-archive / ex-models
  ☆45Updated 2 years ago
• djrtwo / beacon_chain
  Experimental implementation of an ETH2.0 beacon chain in python
  ☆10Updated 6 years ago
• gnosis / dx-contracts
  🇳🇱✖️DutchX core smart contracts
  ☆45Updated 5 years ago
• Consensys / web3js-eea
  EEA JavaScript libraries.
  ☆35Updated 3 years ago
• BlockScience / Risk-Adjusted-Bonding-Curves
  Public Repo for Collaboration between Interchain Foundation and BlockScience
  ☆68Updated last year
• ZcashFoundation / zcash-pegzone
  A shielded pegzone bridging Cosmos and Zcash.
  ☆26Updated 4 years ago
• securitize-io / DSTokenInterfaces
  Digital Securities (DS) protocol interfaces
  ☆36Updated last year
• celestiaorg / lazyledger-prototype
  LazyLedger academic prototype
  ☆48Updated 4 years ago
• openethereum / kovan-validator-set
  Validator set contracts for Kovan network.
  ☆33Updated 5 years ago
• AlacrisIO / alacrity
  DSL for Secure DApps
  ☆33Updated last year
• dpilch / solmd
  Markdown documentation generator for Solidity
  ☆34Updated 3 years ago
• f-o-a-m / kepler
  A Haskell framework that facilitates writing ABCI applications
  ☆34Updated 7 months ago
• mattgstevens / awesome-zero-knowledge-proofs
  A collection of videos, reading materials and tools for learning all about the ZK side of crypto.
  ☆19Updated 6 years ago
• nomic-io / bitcoin-peg
  Bitcoin sidechain module for Lotion and Coins (A Cosmos Bitcoin peg zone implementation)
  ☆73Updated 3 years ago
• SpankChain / old-sc_auction
  A state channels ICO auction contract.
  ☆23Updated 7 years ago