• Solidity

  • Referenced in 1 article [sw30784]
  • govern the behaviour of accounts within the Ethereum state. Solidity was influenced by C++, Python ... JavaScript and is designed to target the Ethereum Virtual Machine (EVM). Solidity is statically typed...
  • ethr

  • Referenced in 1 article [sw34724]
  • package is an interface for accessing Ethereum blockchain data in R, querying the Ethereum Blockchain...
  • SmartCheck

  • Referenced in 0 articles [sw37692]
  • SmartCheck: static analysis of ethereum smart contracts. Ethereum is a major blockchain-based platform ... most mature high-level smart contract language. Ethereum is a hostile execution environment, where anonymous ... broken in June 2016. Advice on secure Ethereum programming practices is spread out across blogs...
  • EtherTrust

  • Referenced in 0 articles [sw37689]
  • EtherTrust: Sound Static Analysis of Ethereum bytecode. Ethereum has emerged as the most popular smart ... EtherTrust – on real-world contracts from the Ethereum blockchain, comparing it with Oyente, the state...
  • Slither

  • Referenced in 0 articles [sw37688]
  • framework designed to provide rich information about Ethereum smart contracts. It works by converting Solidity ... static analysis tools at finding issues in Ethereum smart contracts in terms of speed, robustness...
  • BlockchainDB

  • Referenced in 0 articles [sw31590]
  • characteristics of decentralization and immutability. Ethereum utilizes the blockchain technology to build the next generation...
  • Vandal

  • Referenced in 0 articles [sw37685]
  • static program analysis framework for Ethereum smart contract bytecode, developed at The University of Sydney...
  • Mythril

  • Referenced in 0 articles [sw37686]
  • security vulnerabilities in smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other...
  • Manticore

  • Referenced in 0 articles [sw37691]
  • framework called Manticore for analyzing binaries and Ethereum smart contracts. Manticore’s flexible architecture allows...
  • Echidna

  • Referenced in 0 articles [sw37693]
  • Haskell program designed for fuzzing/property-based testing of Ethereum smarts contracts. It uses sophisticated grammar-based...
  • Cilk

  • Referenced in 66 articles [sw08400]
  • Intel® Cilk™ Plus is the easiest, quickest way...
  • ScalaSTM

  • Referenced in 2 articles [sw08552]
  • Composable transactional objects: a position paper. Memory transactions...
  • PyTorch

  • Referenced in 198 articles [sw20939]
  • PyTorch python package: Tensors and Dynamic neural networks...
  • Adam

  • Referenced in 399 articles [sw22205]
  • Adam: A Method for Stochastic Optimization. We introduce...
  • GitHub

  • Referenced in 1784 articles [sw23170]
  • GitHub (originally known as Logical Awesome LLC)[3...