deal
Contract library
A Python library that enables design by contract programming to write bug-free code with automatic tests and static analysis.
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
760 stars
14 watching
25 forks
Language: Python
last commit: almost 2 years agocontractscontracts-programmingdbcdealdecoratorsdesign-by-contractflake8functional-programminghacktoberfestinterfaceinvariantlintermypyproperty-based-testingpythonpythonicrefinement-typestestingtypingvalidation
Related projects:
| Repository | Description | Stars |
|---|---|---|
 sellout/quid-pro-quo | A Common Lisp package that enables contract programming and specifies the relationship between a class and its clients through preconditions and postconditions. | 95 |
 neilisaac/lazycontract | A Python library to define declarative contracts for serialization and deserialization | 7 |
 makerdao/pymaker | An API providing access to Maker contracts | 193 |
 algorand/pyteal | Provides a Python interface to Algorand Smart Contracts enabling developers to create and manage smart contracts using a high-level, functional programming style | 286 |
 codemix/babel-plugin-contracts | A Babel plugin that supports design by contract for JavaScript functions. | 267 |
 thirdweb-dev/contracts | A collection of reusable, pre-built smart contract modules with shared functionality and interfaces. | 1,007 |
 rango-exchange/rango-contracts-v2 | A collection of reusable smart contract components for decentralized applications on EVM blockchains | 19 |
 udiknedormin/nimcontracts | A library that enables contract-based programming in the Nim language. | 71 |
 jkirkby3/fypy | A comprehensive Python library for pricing exotic financial options and contracts using various analytical and numerical methods. | 83 |
 bcnmy/scw-contracts | A collection of smart contract templates and utilities for implementing Account Abstraction on the Ethereum blockchain. | 124 |
 dbrojas/optlib | A Python library for pricing financial options using closed-form solutions and TDAmeritrade API | 665 |
 fisxoj/sanity-clause | Library for defining data validation contracts in dynamically typed languages | 51 |
 merklejerk/flex-contract | An abstraction layer for Ethereum smart contracts with flexible configuration options and simple integration | 26 |
 openzeppelin/openzeppelin-contracts-upgradeable | A library providing secure smart contract development tools and components | 1,005 |
| openzeppelin/contracts-wizard | Generates smart contract code from pre-defined components | 251 |