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

rivet - Keep your clients and APIs in sync

---

Rapid, modern web service development, which typically involves layers of microservices, reaches a point where a single, non-backwards-compatible API change affects multiple teams. This in turn leads to cascading service failures and finger-pointing. Rivet defines a solution where each service tests itself against real clients to assert that no interfaces have broken any clients at each step of the way. Read more in the Getting Started docs.

contracts testing json-schema strategy services consumers clients api apis rivet test contract

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

crystal-clear - Design by Contract for Crystal

---

Crystal Clear is a small little library with minimal overhead for you who is bad at maintaining the specs for your project. It does this by moving that into be more inline on the project and keep the specs source local. It implements the Design by Contract approach which let's you define what the behaviour for a method, even a whole class, is supposed to be. Most of the code is generated at compile time and you can opt out performance intensive code from the tests. The entire contract framework can be disabled using the -D DISABLE_CONTRACTS flag when compiling. To include Crystal clear you just have to write this to get started.

crystal contracts contract-testing assertions