OpenZeppelin - A Framework to build secure smart contracts on Ethereum

•    Javascript

OpenZeppelin is a library for writing secure Smart Contracts on Ethereum. With OpenZeppelin, you can build distributed applications, protocols and organizations. It is meant to provide secure, tested and audited code to enable the new generation of distributed applications, protocols and organizations. OpenZeppelin is a community effort to reduce the hurdle to develop and use them.

aleth - Aleth – Ethereum C++ client, tools and libraries

•    C++

The collection of C++ libraries and tools for Ethereum, formerly known as cpp-ethereum project. This includes the full Ethereum client aleth. The Ethereum Documentation site hosts the cpp-ethereum homepage, which has a Quick Start section.

openzeppelin-solidity - OpenZeppelin is a library for secure smart contract development

•    Javascript

OpenZeppelin is a library for secure smart contract development. It provides implementations of standards like ERC20 and ERC721 which you can deploy as-is or extend to suit your needs, as well as Solidity components to build custom contracts and more complex decentralized systems. To write your custom contracts, import ours and extend them through inheritance.

remix-project - Remix is a browser-based compiler and IDE that enables users to build Ethereum contracts with Solidity language and to debug transactions

•    Javascript

Remix Project is a platform for development tools that use a plugin architecture. It encompasses sub-projects including Remix Plugin Engine, Remix Libraries, and of course Remix IDE. Remix IDE is an open source web and desktop application. It fosters a fast development cycle and has a rich set of plugins with intuitive GUIs. Remix is used for the entire journey of contract development with Solidity language in as well as being a playground for learning and teaching Ethereum.

burrow - Hyperledger Burrow

•    Go

Hyperledger Burrow is a permissioned Ethereum smart-contract blockchain node. It executes Ethereum EVM smart contract code (usually written in Solidity) on a permissioned virtual machine. Burrow provides transaction finality and high transaction throughput on a proof-of-stake Tendermint consensus engine. Project information generally updated on a quarterly basis can be found on the Hyperledger Burrow Wiki.

intellij-solidity - Solidity plugin for IntelliJ

•    Kotlin

This plugin is in alpha stage.

monax - The Ecosystem Application Platform

•    Go

monax is a tool which makes it easy for developers to build, test, manage, and operate smart contract applications. No matter the blockchain.For the motivation behind this tool see this post.

ruby-ethereum - A Ruby implementation of Ethereum.

•    Ruby

A Ruby implementation of Ethereum. Or some tests will fail because the default stack size cannot hold a maximum (1024) levels deep VM stack.

dapple - EVM contract system developer multitool

•    Javascript

Dapple is a Solidity developer multitool designed to manage the growing complexity of interconnected smart contract systems. These concepts are related in a way unique to the smart contract ecosystem, due to each blockchain's universal singleton nature.

py-evm - A Python implementation of the Ethereum Virtual Machine

•    Python

Py-EVM is a new implementation of the Ethereum Virtual Machine written in python. It is currently in active development but is quickly progressing through the test suite provided by ethereum/tests. I have Vitalik, and the existing PyEthereum code to thank for the quick progress I’ve made as many design decisions were inspired, or even directly ported from the PyEthereum codebase. Py-EVM aims to eventually become the defacto python implementation of the EVM, enabling a wide array of use cases for both public and private chains. Development will focus on creating an EVM with a well defined API, friendly and easy to digest documentation which can be run as a fully functional mainnet node.The plan is to begin with an MVP, alpha-level release that is suitable for testing purposes. We’ll be looking for early adopters to provide feedback on our architecture and API choices as well as general feedback and bug finding.

ethersplay - EVM dissassembler

•    Python

EVM dissassembler and related analysis tools. Ethersplay takes as input the evm bytecode in raw format.

QtEVM - C++ implementation of EVM(Eulerian Video Magnification), based on OpenCV and Qt.

•    C++

C++ implementation of EVM(Eulerian Video Magnification), based on OpenCV and Qt.

bosmarmot - Monax flavoured tooling for Burrow

•    Go

Bosmarmot is a monorepo containing condensed and updated versions of the basic tooling required to interact with a Burrow chain. It also contains the interpreter for the burrow packages specification language (previously known as 'epm'). This README will cover setting up a Burrow chain with the bosmarmot tooling from start to finish.

redmine_evm - Earned Value Management plugin for Redmine

•    Ruby

This plugin uses EVM (Earned Value Management) a project monitoring methodology that measures the current progress of the project. By setting a project baseline it generates three key metrics, the planned value, actual cost and earned value and with these the plugin renders a line chart and performance indicators. First make sure that the project planning is complete, then set up a baseline under the "Baselines" tab in the project settings.

echidna - Ethereum fuzz testing framework

•    Haskell

More seriously, it's a Haskell library designed for fuzzing/property based testing of EVM code. Currently it is quite alpha, and the API isn't guaranteed to be functional, let alone stable. It supports relatively sophisticated grammar-based fuzzing campaigns to falsify a variety of predicates. stack is highly recommended to install echidna. If you are a particularly opinionated experienced Haskell user, cabal or hpack should work, but they are neither officially supported nor tested.

evm-opcodes - Ethereum opcodes and instruction reference

This reference consolidates EVM opcode information from the yellow paper, stack exchange, solidity source, parity source, evm-opcode-gas-costs and Manticore. New issues and contributions are welcome, and are covered by bounties from Trail of Bits. Join us in #ethereum on the Empire Hacking Slack to discuss Ethereum security tool development.

ida-evm - IDA Processor Module for the Ethereum Virtual Machine (EVM)

•    Python

IDA Processor Module for the Ethereum Virtual Machine (EVM). This plugin is under active development. New issues and contributions are welcome, and are covered by bounties from Trail of Bits. Join us in #ethereum on the Empire Hacking Slack to discuss Ethereum security tool development.

pyevmasm - Ethereum Virtual Machine (EVM) disassembler and assembler

•    Python

pyevmasm is an assembler and disassembler library for the Ethereum Virtual Machine (EVM). evmasm is a commandline utility that uses pyevmasm to assemble or disassemble EVM.

evm - A Simple Elasticsearch Version Manager

•    Shell

EVM is a simple bash script used for managing multiple Elasticsearch versions on your local machine.

bamboo - Bamboo: a morphing smart contract language

•    OCaml

Bamboo is a programming language for Ethereum contracts. Bamboo makes state transition explicit and avoids reentrance problems by default. See manifest for the motivation, or tutorial if you want to deploy something first, or semantics if you need something resembling a definition. The Bamboo compiler sometimes produces bytecode, which needs to be tested.