Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "contracts" keyword
ethlite 0.0.16
A tiny web3/python alternative to interact with any ethereum compatible blockchain16 versions - Latest release: about 4 years ago - 2 dependent repositories - 123 downloads last month - 16 stars on GitHub - 2 maintainers
funion 0.1.2
A tool to put all dependent libraries or contracts to a single file for a Solidity smart contract3 versions - Latest release: 7 months ago - 2 downloads last month - 2 maintainers
algoworld-swapper 1.1.4 removed
⚡️ Free and trustless ASA swapper, powered by Algorand5 versions - Latest release: about 2 years ago - 17 stars on GitHub
Top 3.4% on pypi.org
66 versions - Latest release: about 1 month ago - 7 dependent packages - 28 dependent repositories - 25.6 thousand downloads last month - 690 stars on GitHub - 2 maintainers
deal 4.24.4
**Deal** is a Python library for [design by contract][wiki] (DbC) programming.66 versions - Latest release: about 1 month ago - 7 dependent packages - 28 dependent repositories - 25.6 thousand downloads last month - 690 stars on GitHub - 2 maintainers
plonehrm.contracts 2.5.2
Contracts for Plone HRM32 versions - Latest release: over 14 years ago - 2 dependent repositories - 79 downloads last month - 10 maintainers
python-by-contract-corpus 2021.7.10rc1
Provide a corpus of programs annotated with contracts with no obvious bugs.1 version - Latest release: almost 3 years ago - 1 dependent repositories - 10 downloads last month - 20 stars on GitHub - 2 maintainers
contracts 0.1.0
UNKNOWN1 version - Latest release: almost 11 years ago - 7 dependent repositories - 171 downloads last month - 2 maintainers
contractspy 1.0.7
Python Business Transactions Library6 versions - Latest release: almost 2 years ago - 1 dependent repositories - 20 downloads last month - 10 stars on GitHub - 2 maintainers
sphinx-icontract 2.0.3
Extend sphinx to include icontracts.12 versions - Latest release: almost 3 years ago - 1 dependent package - 8 dependent repositories - 31 downloads last month - 6 stars on GitHub - 4 maintainers
thonny-crosshair 0.0.1
Automatically verify Python code using CrossHair in Thonny.4 versions - Latest release: almost 3 years ago - 1 dependent repositories - 26 downloads last month - 3 stars on GitHub - 2 maintainers
pycontracts-mirror 2.0.1
INCOMPATIBLE FORK OF CURRENT PYCONTRACTS ON GITHUBThe version on pypi is stale, this is a fork th...18 versions - Latest release: almost 2 years ago - 129 downloads last month - 397 stars on GitHub - 2 maintainers
Top 3.4% on pypi.org
39 versions - Latest release: about 5 years ago - 1 dependent package - 77 dependent repositories - 18.3 thousand downloads last month - 397 stars on GitHub - 2 maintainers
pycontracts 1.8.12
PyContracts is a Python package that allows to declare constraints on function parameters and ret...39 versions - Latest release: about 5 years ago - 1 dependent package - 77 dependent repositories - 18.3 thousand downloads last month - 397 stars on GitHub - 2 maintainers
pdf-generator-with-textx 0.0.3
Developing a DSL for generating PDF files. It could be used in other apps as a tool for generatin...3 versions - Latest release: almost 2 years ago - 1 dependent repositories - 21 downloads last month - 0 stars on GitHub - 2 maintainers
Top 5.8% on pypi.org
54 versions - Latest release: about 1 month ago - 6 dependent repositories - 11.8 thousand downloads last month - 945 stars on GitHub - 1 maintainer
crosshair-tool 0.0.54
Analyze Python code for correctness using symbolic execution.54 versions - Latest release: about 1 month ago - 6 dependent repositories - 11.8 thousand downloads last month - 945 stars on GitHub - 1 maintainer
deal-solver 0.1.2
z3-powered solver (theorem prover) for deal.3 versions - Latest release: 7 months ago - 1 dependent package - 5 dependent repositories - 203 downloads last month - 8 stars on GitHub - 2 maintainers
daconx 0.1.0
A tool to collect data for Solidity smart contract for static analysis1 version - Latest release: 8 months ago - 7 downloads last month - 1 maintainer
contrapy 2018.1.30
Contracts for Python1 version - Latest release: over 6 years ago - 1 dependent repositories - 7 downloads last month - 0 stars on GitHub - 2 maintainers
openlegal-lexnlp 2.2.1.0
LexPredict LexNLP1 version - Latest release: over 1 year ago - 6 downloads last month - 675 stars on GitHub - 2 maintainers
Top 8.2% on pypi.org
13 versions - Latest release: about 1 year ago - 7 dependent repositories - 461 downloads last month - 675 stars on GitHub - 2 maintainers
lexnlp 2.3.0
LexPredict LexNLP13 versions - Latest release: about 1 year ago - 7 dependent repositories - 461 downloads last month - 675 stars on GitHub - 2 maintainers
pacti 0.1.0
A package for compositional system analysis and design3 versions - Latest release: 8 months ago - 18 downloads last month - 16 stars on GitHub - 2 maintainers
monte-carlo-contracts 0.10.0
Composable financial contracts with Monte Carlo valuation10 versions - Latest release: about 1 year ago - 1 dependent repositories - 8 downloads last month - 6 stars on GitHub - 2 maintainers
fastapi-icontract 0.0.4
Specify contracts for FastAPI endpoints.4 versions - Latest release: over 2 years ago - 1 dependent repositories - 895 downloads last month - 23 stars on GitHub - 2 maintainers
conker 0.1
Contracts (preconditions, postconditions)1 version - Latest release: over 5 years ago - 1 dependent repositories - 8 downloads last month - 0 stars on GitHub - 1 maintainer
icontract-hypothesis 1.1.7
Combine contracts and automatic testing.11 versions - Latest release: almost 3 years ago - 6 dependent repositories - 648 downloads last month - 74 stars on GitHub - 2 maintainers
bisbasic 0.5.6
Bismuth Blockchain Dependencies14 versions - Latest release: over 4 years ago - 1 dependent repositories - 76 downloads last month - 38 stars on GitHub - 2 maintainers
autoclass 2.2.0
Helps you write compact python classes37 versions - Latest release: almost 4 years ago - 1 dependent package - 4 dependent repositories - 558 downloads last month - 36 stars on GitHub - 1 maintainer
bisnode 0.0.2
Bismuth Node2 versions - Latest release: almost 5 years ago - 1 dependent repositories - 7 downloads last month - 38 stars on GitHub - 2 maintainers
arraycontract 0.0.2
Check shape, ndim and dtype of tensor/ndarray of input of function1 version - Latest release: over 3 years ago - 1 dependent repositories - 15 downloads last month - 0 stars on GitHub - 1 maintainer
ethairballoons 1.0.11
A strictly typed ORM library for Ethereum blockchain.12 versions - Latest release: almost 2 years ago - 16 downloads last month - 1 stars on GitHub - 2 maintainers
telegramcontract2vcard 1.0.2
make telegram contacts.html or result.json to vCard automatically3 versions - Latest release: 9 months ago - 21 downloads last month - 0 stars on GitHub - 2 maintainers
yacontracts 0.1.2
YAContracts: Yet Another contracts package2 versions - Latest release: over 7 years ago - 1 dependent repositories - 10 downloads last month - 1 stars on GitHub - 2 maintainers
schema-overseer-local 0.1.1
Helper to create a compatibility layer between inputs in different formats and other parts of app...2 versions - Latest release: 3 months ago - 2 downloads last month - 2 stars on GitHub - 2 maintainers
thonny-icontract-hypothesis 1.0.0a3
Automatically test Python code using icontract-hypothesis in Thonny.3 versions - Latest release: about 3 years ago - 1 dependent repositories - 13 downloads last month - 3 stars on GitHub - 2 maintainers
oyente 0.2.7
An analysis tool for smart contracts3 versions - Latest release: over 6 years ago - 1 dependent repositories - 58 downloads last month - 4 maintainers
pytreaty 2019.1b5
PyTreaty is a hard fork of the PyContracts library from Andrea Censi. This fork has been updated ...5 versions - Latest release: almost 5 years ago - 1 dependent repositories - 6 downloads last month - 0 stars on GitHub - 2 maintainers
classtools-autocode 1.1.0
Helps you write compact python classes2 versions - Latest release: almost 7 years ago - 1 dependent repositories - 6 downloads last month - 36 stars on GitHub - 2 maintainers
djburger 0.11.1
Framework for views in big projects on Django.11 versions - Latest release: over 5 years ago - 1 dependent package - 1 dependent repositories - 17 downloads last month - 75 stars on GitHub - 1 maintainer
Related Keywords
python
9
design-by-contract
8
smart
7
testing
6
automatic
5
value checking
4
type checking
4
contract
4
generator
3
python3
3
data
3
property-based
3
contracts-programming
3
blockchain
3
ethereum
3
bismuth
2
boilerplate
2
linguistics
2
legaltech
2
law
2
pep484
2
type-hints
2
language
2
natural
2
learning
2
machine
2
runtime-typechecking
2
ml
2
nlp
2
analytics
2
document
2
typechecking
2
legal
2
autoargs
2
code-generator
2
object
2
attr
2
attribute
2
fields
2
properties
2
property
2
decorator
2
autoprops
2
constructor
2
setter
2
getter
2
code
2
auto
2
original
2
network
2
decentralized
2
cryptocurrency
2
class
2
crypto
2
enforce
2
consensus
2
bitcoin
2
validation
2
verification
2
decorators
2
dapp
2
post
2
pre
2
Solidity
2
hacktoberfest
2
deal
2
pytorch
1
tensor
1
web3
1
orm
1
database
1
library
1
dao
1
ethereum-blockchain
1
smart-contracts
1
telegram
1
numpy
1
ndarray
1
events
1
signature
1
transaction
1
algoworld
1
algorand
1
pyteal
1
valid
1
algorand-standard-assets
1
algoworldexplorer
1
validator
1
solid
1
scheme
1
restful-api
1
rest-api
1
rest
1
parse
1
mvc-framework
1
mvc
1
marshmallow
1
django-rest-framework
1
clean-code
1
cbv
1