Skip to main content

An open-source package for verified computation written in Python.

Project description

Verry is an open-source package for verified computation written in Python.

Documentation is at https://python-verry.github.io/verry

Note that Verry is in the alpha stage. There is not enough testing and any breaking changes possibly occur.

Authorship and Acknowledgement

Verry is developed by Ryoga Iwanami in master’s course at Waseda University. The author would like to acknowledge Masahide Kashiwagi, the developer of kv, and the author’s supervisor.

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

verry-0.1.0.tar.gz (73.8 kB view details)

Uploaded Source

Built Distributions

If you're not sure about the file name format, learn more about wheel file names.

verry-0.1.0-cp313-cp313-win_amd64.whl (106.6 kB view details)

Uploaded CPython 3.13Windows x86-64

verry-0.1.0-cp313-cp313-musllinux_1_2_x86_64.whl (1.1 MB view details)

Uploaded CPython 3.13musllinux: musl 1.2+ x86-64

verry-0.1.0-cp313-cp313-musllinux_1_2_aarch64.whl (1.1 MB view details)

Uploaded CPython 3.13musllinux: musl 1.2+ ARM64

verry-0.1.0-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (105.0 kB view details)

Uploaded CPython 3.13manylinux: glibc 2.24+ x86-64manylinux: glibc 2.28+ x86-64

verry-0.1.0-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (100.3 kB view details)

Uploaded CPython 3.13manylinux: glibc 2.24+ ARM64manylinux: glibc 2.28+ ARM64

verry-0.1.0-cp313-cp313-macosx_11_0_arm64.whl (93.2 kB view details)

Uploaded CPython 3.13macOS 11.0+ ARM64

verry-0.1.0-cp313-cp313-macosx_10_13_x86_64.whl (97.0 kB view details)

Uploaded CPython 3.13macOS 10.13+ x86-64

File details

Details for the file verry-0.1.0.tar.gz.

File metadata

  • Download URL: verry-0.1.0.tar.gz
  • Upload date:
  • Size: 73.8 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.1.0 CPython/3.13.2

File hashes

Hashes for verry-0.1.0.tar.gz
Algorithm Hash digest
SHA256 3cee208ec54fa480ad8cf3af88909a88ae38e335952a505b521f876cebb25e94
MD5 719b364b72b39356695cd1134081ab48
BLAKE2b-256 c6126414ba7725ec58f6c3be78ab9fc026c20f74b3fbc8df2c71b95bf6db354a

See more details on using hashes here.

File details

Details for the file verry-0.1.0-cp313-cp313-win_amd64.whl.

File metadata

  • Download URL: verry-0.1.0-cp313-cp313-win_amd64.whl
  • Upload date:
  • Size: 106.6 kB
  • Tags: CPython 3.13, Windows x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.1.0 CPython/3.13.2

File hashes

Hashes for verry-0.1.0-cp313-cp313-win_amd64.whl
Algorithm Hash digest
SHA256 8e065a678c49fee3518ae756b2e5687477270e034554c02f26a3bced215a8886
MD5 29ab310976d086c70a35cea749cb7f28
BLAKE2b-256 ff3acf91bc78696f0c4ee817288ba2870adef76364347d7a06f5ab7da7b9859c

See more details on using hashes here.

File details

Details for the file verry-0.1.0-cp313-cp313-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for verry-0.1.0-cp313-cp313-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 c8551d84bea52c3838132489e9a589eb99ec68d5ffe195c5dc6e68e154eaac6f
MD5 683555c9a36952ab603be179299b3183
BLAKE2b-256 91c50871bf98d3098ee41073105d346dc459c6ada1999390f746f564dc91bc94

See more details on using hashes here.

File details

Details for the file verry-0.1.0-cp313-cp313-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for verry-0.1.0-cp313-cp313-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 9fb72be133389fa074bad8eab88cfed95d89350751c7be9077002159a2ac6f7a
MD5 9ffac304d92be40e535a10ca4a132d30
BLAKE2b-256 5a0077ba63ec7a09036372be505ba74f789299db5011ff55f5a545ef7403a747

See more details on using hashes here.

File details

Details for the file verry-0.1.0-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for verry-0.1.0-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 f586a31e924a59d2722cd07902e3362eab3764e5f06043ad74fe95d7efbba04a
MD5 cda0a031419cd3876f73a86ea743042f
BLAKE2b-256 bc88124b68022e3959b667af3fdf896099c2d4c77517af470b06e80b853dc7d5

See more details on using hashes here.

File details

Details for the file verry-0.1.0-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for verry-0.1.0-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 c21a285595aaf8a408d5061808b6508a98836e48307a41e8e7f09a18666d3da1
MD5 7141e7516c25aacee17d7f2e14747afe
BLAKE2b-256 ac97e648acd955f74f8935507b8c39ae80e15a5f59bb510629db8c1b7bd61f59

See more details on using hashes here.

File details

Details for the file verry-0.1.0-cp313-cp313-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for verry-0.1.0-cp313-cp313-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 bbb241f0f920aaf4b3c24f9ea6967d9d6ed57a9b8aed5d6b3585e125e2e62720
MD5 7258f68f9dab73de8bb3b34366ed316a
BLAKE2b-256 966e944f25c292dd66bb2ef327a56c57fbaf0731b4b82ca1b8065b4193c1d497

See more details on using hashes here.

File details

Details for the file verry-0.1.0-cp313-cp313-macosx_10_13_x86_64.whl.

File metadata

File hashes

Hashes for verry-0.1.0-cp313-cp313-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 2e2b1bb84d90bbb6c7e6c4eed31a1de8c2e738086f27779c6bc5de167808791a
MD5 3b715df6806db6d6593c611495778c98
BLAKE2b-256 5545e87f4be0823a48c4b4fd0b1b7ec6c714a2c54a6a3e7c7d62c9300401b307

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page