AndreaCensi/contracts
PyContracts is a Python package that allows to declare constraints on function parameters and return values. Contracts can be specified using Python3 annotations, or inside a docstring. PyContracts supports a basic type system, variables binding, arithmetic constraints, and has several specialized contracts and an extension API.
PythonNOASSERTION
Stargazers
- aaur0
- AndreaCensiETH Zürich @idsc-frazzoli & @duckietown
- aramboi@hellounicorn
- asharpOrionVM
- bbiskup
- beloglazovGoogle
- braingram
- ccordoba12Bogota, Colombia
- chaseleeVanta
- chopachom
- dcolishPortland, OR
- develmaycare
- docheadCape Town
- dpyroFacebook
- emreAdyen
- jabergkindred.ai
- JohnStuartRutledgeSlowTalk
- jssevestreLumApps
- kar8nga
- keanpantrawRussia, Saratov
- kelleykSan Francisco, CA
- KenjiTakahashi@Bugfender
- kennknowles@GoogleCloudPlatform
- koffieNavara
- lud4ikGenesis
- mschuetzHeidelberg, Germany
- plumaSenior Consultant at @foss-haas
- robinceGlasgow, UK
- samos123@GoogleCloudPlatform
- sampsyoCornell University
- slivingston@rerobots
- srusskihTakeoff Tech.
- tailhook@edgedb
- XionBoulder, CO
- zlatkoc
- zoemccMIT Julia Lab