Alternatives and similar repositories for solidity-spec

Users that are interested in solidity-spec are comparing it to the libraries listed below

• DigixGlobal / tempo
  ⏱ Testing tool: Block & time management over RPC
  ☆14Updated 6 years ago
• chriseth / notes
  Some random notes by chriseth
  ☆19Updated 11 months ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆44Updated 4 years ago
• duaraghav8 / solparse
  Solidity Parser for Solium
  ☆29Updated 2 years ago
• hillstreetlabs / parr
  Elastify the Ethereum blockchain
  ☆25Updated 7 years ago
• raineorshine / solidity-sha3
  Solidity sha3 in Javascript.
  ☆43Updated 7 years ago
• kumavis / eth-tx-summary
  replay a historical tx using a web3 provider as a data source
  ☆14Updated 6 years ago
• dapp-studies / game-theory-study-group
  Notes and stuff related to the study group
  ☆15Updated 8 years ago
• Arachnid / sggc
  Boilerplate and tests for the first Solidity Gas Golfing Contest
  ☆51Updated 7 years ago
• primea / design
  Documentation and research notes related to the Prima Kernel
  ☆19Updated 8 years ago
• Consensys / web3studio-soy
  Static Websites on the Distributed Web
  ☆33Updated 2 years ago
• adklempner / state-machine-builder
  An on-chain, permission-based state machine builder.
  ☆23Updated 11 months ago
• Giveth / solcpiler
  Solidity compiler wraper to generate JS.
  ☆15Updated 2 years ago
• uport-project / uport-registry
  Core uPort registry contract for linking attributes to uPort identities. DEPRECATED
  ☆64Updated 6 years ago
• whiteblock / hobbits
  Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.
  ☆29Updated 6 years ago
• primea / js-primea-hypervisor
  a JavaScript Implementation of Primea HyperVisor
  ☆41Updated 5 years ago
• ConsenSys-archive / ethpm-js
  Javascript library for publishing and consuming Ethereum packages.
  ☆34Updated 3 years ago
• SilentCicero / solint
  A linting utility for Ethereum solidity smart-contracts
  ☆37Updated 9 years ago
• ethjs / ethjs-ens
  An Ethereum Name Service interface module built on EthJS
  ☆34Updated 3 years ago
• ConsenSys-archive / truffle-compile
  Compiler helper and artifact manager
  ☆21Updated 7 years ago
• ethers-io / ethers-cli
  Deprecated; please see the `@ethersproject/cli` package instead
  ☆17Updated 6 years ago
• MetaMask / mesh-testing
  Testbed for p2p metamask client
  ☆21Updated 6 years ago
• gnosis / dex-zksnarks
  Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange
  ☆46Updated 7 years ago
• JoinColony / solcover
  Code coverage for solidity
  ☆65Updated 8 years ago
• paritytech / oo7-react
  The Reactive Bond API
  ☆12Updated 7 years ago
• alanshaw / iim
  🔁 IPFS install manager
  ☆35Updated last year
• ledgerlabs / toy-state-channels
  An educational "toy" implementation of fully abstracted state channels
  ☆49Updated 9 years ago
• summa-tx / enhanced-tokens
  Advanced functionality for ERC20 tokens, as abstract inheritable contracts
  ☆20Updated 2 years ago
• ethereum / interfaces
  Interface Specifications inside Ethereum
  ☆36Updated 9 years ago
• paritytech / oo7-bare
  The Bond API.
  ☆27Updated 7 years ago