proven-py
Python bindings for the proven library - safe, formally verified operations.
Installation
pip install proven
Usage
from proven import SafeMath, SafeString, SafeEmail
# Safe math operations
result = SafeMath.add(1, 2)
if result.is_ok():
print(result.unwrap()) # 3
# Overflow detection
overflow = SafeMath.add(2**63 - 1, 1)
if overflow.is_err():
print("Overflow detected!")
# Safe string escaping
escaped = SafeString.escape_html("<script>alert('xss')</script>")
print(escaped) # <script>...
# Email validation
if SafeEmail.is_valid("user@example.com"):
print("Valid email")
License
AGPL-3.0-or-later
1 maintainer
Metadata
1 maintainer
Release files for proven 0.9.0
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| proven-0.9.0.tar.gz | 23.5 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| proven-0.9.0-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 52.4 kB
Release files / proven-0.9.0.tar.gz
| Download URL | proven-0.9.0.tar.gz |
|---|---|
| Size | 23.5 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
2a18a608249130987b29a8eb6696793083802c565516321325367129ca050706
|
|
BLAKE2b-256 checksum How to use checksums |
b566e8df3fab0c689949ba162c670a269925f89d0b67ee4b661d85335b4c2f99
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.14.2
|
Release files / proven-0.9.0-py3-none-any.whl
| Download URL | proven-0.9.0-py3-none-any.whl |
|---|---|
| Size | 28.9 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
082b1ba27975b54e0953ad930138e86eaec5d6939e412f309e3b05015247c67d
|
|
BLAKE2b-256 checksum How to use checksums |
1d26440d7230b3f15e483d5a2646e9e761a30e7a72485db35dd6185d17f0c8f3
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.14.2
|
