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.2.0.tar.gz (73.4 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.2.0-cp313-cp313-win_amd64.whl (106.1 kB view details)

Uploaded CPython 3.13Windows x86-64

verry-0.2.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.2.0-cp313-cp313-musllinux_1_2_aarch64.whl (1.1 MB view details)

Uploaded CPython 3.13musllinux: musl 1.2+ ARM64

verry-0.2.0-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (104.4 kB view details)

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

verry-0.2.0-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (99.8 kB view details)

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

verry-0.2.0-cp313-cp313-macosx_11_0_arm64.whl (92.7 kB view details)

Uploaded CPython 3.13macOS 11.0+ ARM64

verry-0.2.0-cp313-cp313-macosx_10_13_x86_64.whl (96.5 kB view details)

Uploaded CPython 3.13macOS 10.13+ x86-64

File details

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

File metadata

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

File hashes

Hashes for verry-0.2.0.tar.gz
Algorithm Hash digest
SHA256 9138c907d172922908f8857851c3b5ad12b002f36b3c4d172a34628cd9e30226
MD5 422e1cfada6f90d87716675a3ab10dea
BLAKE2b-256 4ca87a4b8899cc09e574efaed337880f420120e03ec23e9a466de4c369a5448a

See more details on using hashes here.

File details

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

File metadata

  • Download URL: verry-0.2.0-cp313-cp313-win_amd64.whl
  • Upload date:
  • Size: 106.1 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.2.0-cp313-cp313-win_amd64.whl
Algorithm Hash digest
SHA256 3c564257df6238f1948b77a8a8999d353adfcd2f48e629d06bf83d0b1767a11e
MD5 598d5a5e5372d6024c4dfb8dc697fb72
BLAKE2b-256 889518920622e8b7172137b9e9425cdb798d18db9d8c471103eb1f6a4d43a2b1

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for verry-0.2.0-cp313-cp313-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 e684b932edcf69e9209679f834cdfb4bdc047ad96c65d38c4c9537ede7ca9555
MD5 522a12379b1c44772d3432d324fa41a6
BLAKE2b-256 f01cc158819d076fb5d5163c52684bb6eb50f7fd5bbbf7f3cf0b325a3547fc71

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for verry-0.2.0-cp313-cp313-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 41665a845c3a9e7a5fb0bd976fc89d05bf3a43906a7fca814a53993e4d5fda68
MD5 7b9590346a28757054c9106d1db0e169
BLAKE2b-256 57b5f99e181f911e1fcee5ff33f3f19780eaf5561c33c07515009667adfae3a8

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for verry-0.2.0-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 e370e46db1e64d1d32ab56f9db2cf9eca8ae696c75aee0aa4e198b06f30f4242
MD5 48ad7b12987ce13f07c7dd18147f7306
BLAKE2b-256 c123b1cb7b342931a6c6e6a29f6b9fd3bb08c358740cbeeee08fb4dc8c8cbd7e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for verry-0.2.0-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 62f0de94f9b366b170239b350faf983d255f882e6b169c4a2b11a94951e17176
MD5 71b71806d8cead65d172822cc273e96c
BLAKE2b-256 6d152b23cd8cc878ee8f6d65dc3f02e6af83e25f6e602def13d4f5fbae011fec

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for verry-0.2.0-cp313-cp313-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 51a6846cf3b0f6b0d01a6b7d470c21268082a6dc7005439c28463c6058accffd
MD5 40a3fbdccf5433d80976d4f51400644c
BLAKE2b-256 7ec6f0003d79e6727c2d2da7e58fe60565f3e1f3fabce1db1334d31eb3ca2faf

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for verry-0.2.0-cp313-cp313-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 b2f33d6f4afa1ac52e443a94a724bb80c66aef2e083274791aaff84bd0e99d94
MD5 d6efa99423ff96b790dbafc20ef028c1
BLAKE2b-256 326d57455602ff44384346ee89381892c6393faa55e0897f7a2a3cd30726f5c2

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