PyRank
  • Insights
  • PyPI
  • GitHub
  • Search
  • Compare
  • Advisories
  • Ecosystem
  • About

Contracts Python Packages

Python packages with the GitHub topic contracts. Sorted by relevance, with stars and monthly downloads.
pschanely
crosshair-tool

An analysis tool for Python that blurs the line between testing and type systems.

395K 1K 83
life4
deal

🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.

63K 891 36
nold-ai
specfact-cli

The Swiss-knife CLI for validation and alignment in software delivery. Keep backlog intent, specs, tests, and code in sync across AI-assisted and brownfield delivery.

13K 15 1
smarie
autoclass

A python 3 library providing functions and decorators to automatically generate class code, such as constructor body or properties getters/setters along with optional support of validation contracts on the generated setters. Its objective is to reduce the amount of copy/paste code in your classes - and hence to help reducing human mistakes :).

2K 38 2
nevermined-io
nevermined-contracts

Smart Contracts for Nevermined Data platform

1K 1 0
bismuthfoundation
bisbasic

Bismuth Blockchain Dependencies

707 37 14
AssertLang
assertlang

Executable contracts for multi-agent systems - deterministic coordination across frameworks and languages

679 2 1
emilianobilli
ethlite

A tiny web3/python alternative to interact with any ethereum compatible blockchain

483 16 3
oasisprotocol
oasis-rofl-client

Official SDK for the Oasis Network.

361 89 33
cchinchilla-dev
agentanvil

Contract-based testing for LLM agents: hybrid evaluation, multi-agent + A2A, deterministic replay.

345 0 0
jjh4450
telegramcontract2vcard

make telegram contacts.html or result.json to vCard automatically

323 0 0
brunodantas
ensures

Design by Contract with Functional Programming

242 8 0
awkronos
provably

Proof-carrying Python functions via Z3 — annotate, verify, ship.

215 0 0
bismuthfoundation
bisnode

Bismuth Node

201 37 14
oasisprotocol
oasis-rofl-client-rube

Official SDK for the Oasis Network.

155 89 33
QWED-AI
qwed-legal

🏛️ Verification guards for legal contracts - Date calculations, clause consistency, liability verification

126 2 3
smarie
classtools-autocode

A python 3 library providing functions and decorators to automatically generate class code, such as constructor body or properties getters/setters along with optional support of validation contracts on the generated setters. Its objective is to reduce the amount of copy/paste code in your classes - and hence to help reducing human mistakes :).

123 38 2
cjwcommuny
arraycontract

Contract programming for Pytorch, Numpy

117 0 0
Schema-Overseer
schema-overseer-local

Helper to create a compatibility layer between inputs in different formats and other parts of application.

110 2 0
digitalmensch
contrapy

Contracts for Python

52 0 0
byxor
conker

Contracts (preconditions, postconditions)

50 0 0
    • Data from PyPI, GitHub, ClickHouse, and BigQuery