OpenZeppelin - A Framework to build secure smart contracts on Ethereum

---

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.

zeppelin ethereum solidity evm security smart contracts smart-contracts blockchain

Solidity - The Solidity Contract-Oriented Programming Language

---

Solidity is a contract-oriented, high-level language for implementing smart contracts. It was influenced by C++, Python and JavaScript and is designed to target the Ethereum Virtual Machine (EVM). It is statically typed, supports inheritance, libraries and complex user-defined types among other features.

ethereum smart-contracts programming-language blockchain contracts token

sig - Validate Method Arguments & Results in Ruby

---

The first argument is an array that defines the behavior of the method arguments, and the second one the behavior of the method result. Don't forget the trailing comma, because the method definition needs to be the last argument to the sig method. Nevertheless, nothing is wrong with ensuring specific behaviour of method arguments when you need it.

contracts ruby-types types signatures ruby-methods typechecker

consumer-contracts - Consumer-driven contracts in JavaScript

---

Consumer-driven contracts let you move fast without breaking things.API consumers codify their expections of your service in an executable contract. This defines the type of response that they expect for a given request. Contracts give you an insight into which parts of your API clients depend on, and which parts can be changed without fear of breaking them.

consumer contracts

truffle-deployer - Light deployment module for deploying Ethereum contracts

---

This package is in the process of being moved to its own module (here). For documentation, see the deployer section within the Truffle migration documentation.

ethereum truffle solidity deployment contracts

condicio - A preconditions library for JavaScript similar to Google's Preconditions from Guava

---

A simple library similar to Google's Preconditions in Guava. The current version is 2.0.0. I got tired of writing boilerplate code to check my arguments and their types, and I didn't want to bring in a huge dependency like jQuery or Underscore simply to do parameter and argument checking. I couldn't really find anything out there that did the job so I decided to roll my own.

condicio argument validation code quality contracts

agree - Introspectable Contracts Programming for JavaScript

---

Agree is a library for implementing Contract Programming / Design by contract in JavaScript, including preconditions, postconditions and class invariants. It is inspired by projects like contracts.coffee, but requires no build steps, no non-standard language features, and is introspectable.

invariants design-by-contracts contracts-programming contracts