pypi.org "contracts" keyword
View the packages on the pypi.org package registry that are tagged with the "contracts" keyword.
Top 5.8% on pypi.org
97 versions - Latest release: 1 day ago - 2 dependent packages - 6 dependent repositories - 114 thousand downloads last month - 1,205 stars on GitHub - 1 maintainer
crosshair-tool 0.0.97
Analyze Python code for correctness using symbolic execution.97 versions - Latest release: 1 day ago - 2 dependent packages - 6 dependent repositories - 114 thousand downloads last month - 1,205 stars on GitHub - 1 maintainer
oasis-rofl-client 0.1.4
Python client SDK for Oasis ROFL.2 versions - Latest release: 4 days ago - 220 downloads last month - 87 stars on GitHub
oasis-rofl-client-rube 0.0.4
Python client SDK for Oasis ROFL.4 versions - Latest release: 7 days ago - 443 downloads last month - 87 stars on GitHub - 1 maintainer
bisnode 0.0.2
Bismuth Node2 versions - Latest release: over 6 years ago - 1 dependent repositories - 33 downloads last month - 37 stars on GitHub - 1 maintainer
bisbasic 0.5.6
Bismuth Blockchain Dependencies14 versions - Latest release: about 6 years ago - 1 dependent repositories - 171 downloads last month - 37 stars on GitHub - 1 maintainer
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: about 2 years ago - 13 downloads last month - 1 maintainer
daconx 0.1.0
A tool to collect data for Solidity smart contract for static analysis1 version - Latest release: about 2 years ago - 11 downloads last month - 1 maintainer
Top 8.2% on pypi.org
13 versions - Latest release: over 2 years ago - 7 dependent repositories - 777 downloads last month - 747 stars on GitHub - 1 maintainer
lexnlp 2.3.0
LexPredict LexNLP13 versions - Latest release: over 2 years ago - 7 dependent repositories - 777 downloads last month - 747 stars on GitHub - 1 maintainer
contracts 0.1.0
UNKNOWN1 version - Latest release: over 12 years ago - 7 dependent repositories - 969 downloads last month - 1 maintainer
sphinx-icontract 2.0.3
Extend sphinx to include icontracts.12 versions - Latest release: over 4 years ago - 1 dependent package - 8 dependent repositories - 40 downloads last month - 6 stars on GitHub - 2 maintainers
oyente 0.2.7
An analysis tool for smart contracts3 versions - Latest release: almost 8 years ago - 1 dependent repositories - 43 downloads last month - 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: over 1 year ago - 7 downloads last month - 2 stars on GitHub - 1 maintainer
llm-contracts 1.0.0
LLM Output Validation, Linting, and Assertion Layer1 version - Latest release: 2 months ago - 38 downloads last month - 8 stars on GitHub - 1 maintainer
deal-solver 0.1.2
z3-powered solver (theorem prover) for deal.3 versions - Latest release: about 2 years ago - 1 dependent package - 5 dependent repositories - 465 downloads last month - 12 stars on GitHub - 1 maintainer
autoclass 2.2.0
Helps you write compact python classes37 versions - Latest release: over 5 years ago - 1 dependent package - 4 dependent repositories - 945 downloads last month - 38 stars on GitHub - 1 maintainer
Top 3.4% on pypi.org
39 versions - Latest release: over 6 years ago - 1 dependent package - 77 dependent repositories - 12.9 thousand downloads last month - 407 stars on GitHub - 1 maintainer
pycontracts 1.8.12
PyContracts is a Python package that allows to declare constraints on function parameters and ret...39 versions - Latest release: over 6 years ago - 1 dependent package - 77 dependent repositories - 12.9 thousand downloads last month - 407 stars on GitHub - 1 maintainer
djburger 0.11.1
Framework for views in big projects on Django.11 versions - Latest release: about 7 years ago - 1 dependent package - 1 dependent repositories - 32 downloads last month - 75 stars on GitHub - 1 maintainer
monte-carlo-contracts 0.10.0
Composable financial contracts with Monte Carlo valuation10 versions - Latest release: over 2 years ago - 1 dependent repositories - 29 downloads last month - 9 stars on GitHub - 1 maintainer
classtools-autocode 1.1.0
Helps you write compact python classes2 versions - Latest release: over 8 years ago - 1 dependent repositories - 12 downloads last month - 38 stars on GitHub - 1 maintainer
telegramcontract2vcard 1.0.2
make telegram contacts.html or result.json to vCard automatically3 versions - Latest release: about 2 years ago - 20 downloads last month - 0 stars on GitHub - 1 maintainer
briefcasebrain-sdk 1.0.0
Official Python SDK for BriefcaseBrain Legal AI Platform1 version - Latest release: about 1 month ago - 1 maintainer
contractme 1.3.0
A powerful, expressive and lightweight design-by-contract framework4 versions - Latest release: 5 months ago - 31 downloads last month - 1 stars on gitlab.com - 1 maintainer
ethairballoons 1.0.11
A strictly typed ORM library for Ethereum blockchain.12 versions - Latest release: about 3 years ago - 11 downloads last month - 1 stars on GitHub - 1 maintainer
thonny-crosshair 0.0.1
Automatically verify Python code using CrossHair in Thonny.4 versions - Latest release: over 4 years ago - 1 dependent repositories - 31 downloads last month - 3 stars on GitHub - 1 maintainer
ethlite 0.0.16
A tiny web3/python alternative to interact with any ethereum compatible blockchain16 versions - Latest release: over 5 years ago - 2 dependent repositories - 22 downloads last month - 16 stars on GitHub - 1 maintainer
thonny-icontract-hypothesis 1.0.0a3
Automatically test Python code using icontract-hypothesis in Thonny.3 versions - Latest release: over 4 years ago - 1 dependent repositories - 11 downloads last month - 3 stars on GitHub - 1 maintainer
pydoge-api 0.2.1
PyDOGE API is an advanced, Python wrapper for interacting with the public-facing API of the Depar...5 versions - Latest release: 6 months ago - 21 downloads last month - 1 stars on GitHub - 1 maintainer
ensures 0.3.0
Design by Contract with Functional Programming5 versions - Latest release: 23 days ago - 423 downloads last month - 1 stars on GitHub - 1 maintainer
onec-contract-generator 2.2.0
Autonomous system for generating structured JSON contracts from 1C:Enterprise configurations3 versions - Latest release: 2 months ago - 70 downloads last month - 1 maintainer
icontract-hypothesis 1.1.7
Combine contracts and automatic testing.11 versions - Latest release: about 4 years ago - 6 dependent repositories - 1 thousand downloads last month - 84 stars on GitHub - 1 maintainer
contractspy 1.0.7
Python Business Transactions Library6 versions - Latest release: over 3 years ago - 1 dependent repositories - 360 downloads last month - 10 stars on GitHub - 1 maintainer
yacontracts 0.1.2
YAContracts: Yet Another contracts package2 versions - Latest release: about 9 years ago - 1 dependent repositories - 5 downloads last month - 1 stars on GitHub - 1 maintainer
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: over 3 years ago - 1 dependent repositories - 29 downloads last month - 0 stars on GitHub - 1 maintainer
pytreaty 2019.1b5
PyTreaty is a hard fork of the PyContracts library from Andrea Censi. This fork has been updated ...5 versions - Latest release: about 6 years ago - 1 dependent repositories - 18 downloads last month - 0 stars on GitHub - 2 maintainers
pacti 0.2.0
A package for compositional system analysis and design4 versions - Latest release: 3 months ago - 423 downloads last month - 18 stars on GitHub - 1 maintainer
fastapi-icontract 0.0.4
Specify contracts for FastAPI endpoints.4 versions - Latest release: over 3 years ago - 1 dependent repositories - 924 downloads last month - 24 stars on GitHub - 1 maintainer
python-by-contract-corpus 2021.7.10rc1
Provide a corpus of programs annotated with contracts with no obvious bugs.1 version - Latest release: about 4 years ago - 1 dependent repositories - 180 downloads last month - 24 stars on GitHub - 1 maintainer
contrapy 2018.1.30
Contracts for Python1 version - Latest release: over 7 years ago - 1 dependent repositories - 7 downloads last month - 0 stars on GitHub - 1 maintainer
conker 0.1
Contracts (preconditions, postconditions)1 version - Latest release: almost 7 years ago - 1 dependent repositories - 14 downloads last month - 0 stars on GitHub - 1 maintainer
arraycontract 0.0.2
Check shape, ndim and dtype of tensor/ndarray of input of function1 version - Latest release: about 5 years ago - 1 dependent repositories - 37 downloads last month - 0 stars on GitHub - 1 maintainer
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: about 3 years ago - 54 downloads last month - 408 stars on GitHub - 1 maintainer
openlegal-lexnlp 2.2.1.0
LexPredict LexNLP1 version - Latest release: almost 3 years ago - 16 downloads last month - 675 stars on GitHub - 1 maintainer
Top 3.4% on pypi.org
67 versions - Latest release: 7 months ago - 9 dependent packages - 28 dependent repositories - 44.7 thousand downloads last month - 828 stars on GitHub - 2 maintainers
deal 4.24.5
**Deal** is a Python library for [design by contract][wiki] (DbC) programming.67 versions - Latest release: 7 months ago - 9 dependent packages - 28 dependent repositories - 44.7 thousand downloads last month - 828 stars on GitHub - 2 maintainers
plonehrm.contracts 2.5.2
Contracts for Plone HRM32 versions - Latest release: over 15 years ago - 2 dependent repositories - 26 downloads last month - 5 maintainers
algoworld-swapper 1.1.4
⚡️ Free and trustless ASA swapper, powered by Algorand5 versions - Latest release: over 3 years ago - 23 stars on GitHub
pycontracts311 2.0.1
PyContracts is a Python package that allows to declare constraints on function parameters and ret...1 version - Latest release: 4 months ago - 407 stars on GitHub - 1 maintainer
Related Keywords
python
11
design-by-contract
9
smart
7
testing
7
blockchain
5
type checking
5
value checking
5
automatic
5
contract
4
validation
4
ethereum
3
generator
3
legal
3
smart-contracts
3
python3
3
contracts-programming
3
sdk
3
data
3
property-based
3
functional-programming
2
ai
2
deal
2
verification
2
auto
2
json
2
code
2
schema
2
invariant
2
decorators
2
getter
2
setter
2
pre
2
post
2
api
2
code-generator
2
autoargs
2
typechecking
2
runtime-typechecking
2
type-hints
2
pep484
2
boilerplate
2
enforce
2
class
2
object
2
attr
2
attribute
2
fields
2
properties
2
property
2
decorator
2
autoprops
2
constructor
2
decentralized
2
cryptocurrency
2
crypto
2
consensus
2
bitcoin
2
bismuth
2
typescript
2
rust
2
runtime
2
reproducible-builds
2
paratime
2
golang
2
go
2
builder
2
rofl
2
oasis
2
client
2
dapp
2
hacktoberfest
2
linguistics
2
legaltech
2
law
2
language
2
natural
2
learning
2
machine
2
ml
2
nlp
2
analytics
2
document
2
Solidity
2
original
2
network
2
reports
1
PDF
1
system design
1
compositional
1
textX
1
documentation
1
transactions
1
usecases
1
railway-oriented
1
xml
1
analysis
1
generation
1
metadata
1
enterprise
1
1c
1