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
• gnosis / dx-contracts
  🇳🇱✖️DutchX core smart contracts
  ☆45Updated 5 years ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆45Updated 3 years ago
• interlay / xopts
  Zero Trust Bitcoin Options on Ethereum
  ☆12Updated 3 years ago
• upala-digital-identity / upala
  Decentralized digital identity
  ☆24Updated last year
• gnosis / dex-research
  Collection of research papers written within Gnosis
  ☆92Updated 3 years ago
• blocknative / assist
  Blocknative Assist widget for blockchain usability
  ☆55Updated 2 years ago
• runtimeverification / erc20-semantics
  ERC20 in K
  ☆49Updated 5 years ago
• DigixGlobal / solidity-statemachine-library
  State Machine
  ☆18Updated 7 years ago
• actusfrf / actus-webapp
  this repository contains the source code of the ACTUS Demo App - a lightweight web-application showcasing the ACTUS standards
  ☆13Updated 5 months ago
• levelkdev / dxtrust
  ☆16Updated 2 years ago
• celer-network / cChannel-substrate
  Substrate Runtime Module of cChannel
  ☆13Updated 4 years ago
• gnosis / dx-daostack
  🇳🇱✖️ Decentralized Autonomous Organization (DAO) for managing the DutchX
  ☆24Updated 5 years ago
• SpankChain / old-sc_auction
  A state channels ICO auction contract.
  ☆23Updated 7 years ago
• hicommonwealth / edgeware-lockdrop
  Lockdrop contracts
  ☆23Updated 2 years ago
• EntEthAlliance / EEA-Trusted-Reward-Token
  ☆16Updated last year
• atpar / ap-monorepo
  Monorepo containing all packages related to the ACTUS Protocol
  ☆16Updated 3 years ago
• atpar / actus-solidity
  Solidity implementation of ACTUS Contract Types [MOVED]
  ☆12Updated 5 years ago
• Consensys / wittgenstein
  Simulator for some PoS or consensus algorithms. Includes dfinity, casper IMD and others
  ☆46Updated 5 years ago
• cosmos / ledger-cosmos-obsolete
  Ledger Nano S support for Tendermint/Cosmos
  ☆42Updated 4 years ago
• c-layer / contracts
  C-Layer Ethereum monorepo
  ☆73Updated 2 years ago
• dapphub / ds-group
  Multisig with a command-line interface
  ☆22Updated 6 years ago
• LogvinovLeon / estid-sig
  Verify Estonian e-id signatures on Ethereum
  ☆61Updated 3 years ago
• opynfinance / Convexity-Protocol-Archived
  ☆39Updated 4 years ago
• renproject / darknode-sol
  An implementation of Darknode smart contracts, written in Solidity
  ☆86Updated 2 years ago
• protolambda / beacon-schematic
  Schematic of the Ethereum 2.0 Beacon Chain specification
  ☆51Updated 6 years ago
• gnosis / dex-zksnarks
  Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange
  ☆46Updated 6 years ago
• openethereum / kovan-validator-set
  Validator set contracts for Kovan network.
  ☆33Updated 5 years ago
• ethereum-oasis-op / oasis-open-project
  Admin, governance, and background info for Ethereum OASIS Open Project
  ☆58Updated last month
• dpilch / solmd
  Markdown documentation generator for Solidity
  ☆34Updated 3 years ago