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.3.0.tar.gz (77.9 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.3.0-cp313-cp313-win_amd64.whl (115.1 kB view details)

Uploaded CPython 3.13Windows x86-64

verry-0.3.0-cp313-cp313-musllinux_1_2_x86_64.whl (1.2 MB view details)

Uploaded CPython 3.13musllinux: musl 1.2+ x86-64

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

Uploaded CPython 3.13musllinux: musl 1.2+ ARM64

verry-0.3.0-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (117.4 kB view details)

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

verry-0.3.0-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (113.0 kB view details)

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

verry-0.3.0-cp313-cp313-macosx_11_0_arm64.whl (104.1 kB view details)

Uploaded CPython 3.13macOS 11.0+ ARM64

verry-0.3.0-cp313-cp313-macosx_10_13_x86_64.whl (108.7 kB view details)

Uploaded CPython 3.13macOS 10.13+ x86-64

File details

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

File metadata

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

File hashes

Hashes for verry-0.3.0.tar.gz
Algorithm Hash digest
SHA256 fb53ca6369777b50e189266f7fba7d527b02751a9c346e12d1b857a08a91c498
MD5 c345dcb193c72b5c6e99437fe34405c6
BLAKE2b-256 fe7bf343beb879aacf4676cad78a9a441a10602d71a9357e11ed601efebcbe1d

See more details on using hashes here.

File details

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

File metadata

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

File hashes

Hashes for verry-0.3.0-cp313-cp313-win_amd64.whl
Algorithm Hash digest
SHA256 2ea38e88870ee1c339a148479cbf17f8be32e1b2faf3880b15ef99ebd9121d6b
MD5 7c16bdabb8fb18c3e3fd4d12099c4200
BLAKE2b-256 0c061f5f14674b1d8fd24dad9df91a56908b266627915d7a2f637107b58060af

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for verry-0.3.0-cp313-cp313-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 afeb04ab4de3f704d8e948946ad76cc0643d353701b3ccef3b1eaad1d102e6d4
MD5 b3b3a38ab0ab2763eb06ce4677de2ee0
BLAKE2b-256 a767114a22decbeee0e5fa191450a34a7fa8e810efcf3efb9bb528c49d5b0201

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for verry-0.3.0-cp313-cp313-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 0a62b26f83f4e554cf525328b5f54eb836e1341edaf05599f9f8f4b45e791e6e
MD5 3c00f191b4bf132b5390138d0480a989
BLAKE2b-256 ed89848fc63577a91a44a643f1492f596b12f7b67c5f75c562e14b99c206d812

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for verry-0.3.0-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 a89bad83cf1078e18bf370e0c334ab5f9ee01167408f2f4379ba05417ceeb718
MD5 a5311f4038563e7dc75c7c11a977dd0e
BLAKE2b-256 d622007aa6219c407bc2024f034ffc18ae4b032cb2f05de499d3e2a698be5cfe

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for verry-0.3.0-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 b1c86e4bfca55e5800ae54426cce85ade4ee3b4ce2f6821c3eac443908b8b7b8
MD5 682bc97297bce004360bc808324188a4
BLAKE2b-256 ea587dee93732aac228fe49fd150ba0d91c78bd8570daa20def27dc3762220d1

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for verry-0.3.0-cp313-cp313-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 36dd4f1cb8e44dee53bddee30255754e4b298279f7965b3cbf06aa18e521177a
MD5 ca0e7b0959bb21f8356fe86e74e5ddde
BLAKE2b-256 6a9fcceddbae15de56d778b957f9974a7f5f549b0c3b957d0a1e902234f698cc

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for verry-0.3.0-cp313-cp313-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 11dac05e326ec44e0bc9349a0a44885c4d83d7ce7288b5afdab0d1543c0279bf
MD5 f836993217b1861a0383891645ec74ef
BLAKE2b-256 3373e23de5d13daf27cd6c127ac66001ca3c1e3c382959762a71f40cbaef7638

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