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 blockchainA minimal ethereum javascript wallet. LightWallet is a HD wallet that can store your private keys encrypted in the browser to allow you to run Ethereum dapps even if you're not running a local Ethereum node. It uses BIP32 and BIP39 to generate an HD tree of addresses from a randomly generated 12-word seed.
ethereum blockchain transactions contracts walletOpenZeppelin 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.
zeppelin ethereum solidity evm security smart contractsSolidity 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. With Solidity you can create contracts for uses such as voting, crowdfunding, blind auctions, and multi-signature wallets.
ethereum smart-contracts programming-language blockchain contracts tokenAn analysis tool for Python that blurs the line between testing and type systems. THE LATEST NEWS: Check out the new crosshair cover command which finds inputs to get you code coverage.
testing static-analysis symbolic-execution fuzzing dynamic-analysis z3 contracts hacktoberfest testing-framework concolic-execution type-systemsThe 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 typecheckerConsumer-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 contractsThis 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 contractsA 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 contractsRapid, 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 contractAgree 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 contractsA resource can be considered a combination of a Model and a Controller. Resource methods can have associated schemas which act as a contract for the input and output of the method. Using resources provides unified invocation and validation of all function arguments and results. Defines a new type of Resource.
resource model controller mschema contractsA collection of sweet.js macros that provide contract support for JavaScript! Enforce the runtime behavior of your code with beautiful syntax. Inspired and motivated by contracts.coffee. Powered by contracts.js. Made possible by sweet.js. You may notice that the syntax (and documentation...) of sweet-contracts bears a striking resemblance contracts.coffee. This is by design. The idea is to get roughly the same functionality and smooth syntax without transmogrifying existing code into CoffeeScript. Also, we wanted to present something cool you can do with sweet.js which you couldn't otherwise do in pure JS.
contracts macrosA minimal ethereum javascript signer. This is a fork of eth-lightwallet and will not be backwards compatible.
ethereum blockchain transactions contracts walletDigixDAO Contracts for Ethereum. For more information please visit the DigixDAO Crowdsale website.
solidity dao contracts digixA module containing all WeiFund platform Ethereum smart-contracts. WeiFund is a decentralized crowdfunding platform built on Ethereum. Most of its critical architechure is built with smart-contracts. This repository contains all smart-contracts that power the platform, including unit tests, example use cases and future designs.
weifund contracts braid dapp ethereumA microservice for consumer-driven contract testing. Read about Jackal on the findmypast tech blog. Jackal should now be available at http://localhost:25863. A health endpoint is provided at /api/health.
consumer-driven-contracts consumer contracts consumer-contracts joi docker driven testing microservice jackal findmypastContract programming for C++. All contract programming features are supported: Subcontracting, class invariants (also static and volatile), postconditions (with old and return values), preconditions, customizable actions on assertion failure (e.g., terminate or throw), optional compilation and checking of assertions, disable assertions while already checking other assertions (to avoid infinite recursion), etc. Distributed under the Boost Software License, Version 1.0.
boost contracts-programming design-by-contracts design-by-contract contracts contractRepository implementing the Computable protocol
solidity ethereum smart contracts security computable
We have large collection of open source products. Follow the tags from
Tag Cloud >>
Open source products are scattered around the web. Please provide information
about the open source projects you own / you use.
Add Projects.