| Name | Version | Summary | date |
| moralis |
0.1.44 |
The official Moralis Python SDK |
2024-03-06 11:23:19 |
| deal-solver |
0.1.2 |
z3-powered solver (theorem prover) for deal. |
2023-09-28 13:31:23 |
| daconx |
0.1.0 |
A tool to collect data for Solidity smart contract for static analysis |
2023-09-17 02:13:35 |
| funion |
0.1.1 |
A tool to put all dependent libraries or contracts to a single file for a Solidity smart contract |
2023-09-15 00:45:08 |
| Pacti |
0.1.0 |
A package for compositional system analysis and design |
2023-09-03 20:32:31 |
| PyContracts-mirror |
2.0.1.17 |
INCOMPATIBLE FORK OF CURRENT PYCONTRACTS ON GITHUBThe version on pypi is stale, this is a fork that is updated from github andwith added support for jax. No guarantee that this will be kept up to date, or developed furtheror kept compatible with the original.See the original repo here: http://andreacensi.github.com/contracts/ |
2023-04-24 21:17:36 |
| monte-carlo-contracts |
0.10.0 |
Composable financial contracts with Monte Carlo valuation |
2023-04-03 20:21:32 |
| PyContracts3 |
3.0.2 |
PyContracts is a Python package that allows to declare constraints on function parameters and return values. Contracts can be specified using Python3 annotations, in a decorator, or inside a docstring :type: and :rtype: tags. PyContracts supports a basic type system, variables binding, arithmetic constraints, and has several specialized contracts (notably for Numpy arrays), as well as an extension API. |
2020-07-13 07:49:38 |
| PyContracts |
1.8.12 |
PyContracts is a Python package that allows to declare constraints on function parameters and return values. Contracts can be specified using Python3 annotations, in a decorator, or inside a docstring :type: and :rtype: tags. PyContracts supports a basic type system, variables binding, arithmetic constraints, and has several specialized contracts (notably for Numpy arrays), as well as an extension API. |
2019-02-05 19:33:30 |