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.1.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.1-cp313-cp313-win_amd64.whl (106.6 kB view details)

Uploaded CPython 3.13Windows x86-64

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

Uploaded CPython 3.13musllinux: musl 1.2+ ARM64

verry-0.1.1-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (104.9 kB view details)

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

verry-0.1.1-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.1-cp313-cp313-macosx_11_0_arm64.whl (93.2 kB view details)

Uploaded CPython 3.13macOS 11.0+ ARM64

verry-0.1.1-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.1.tar.gz.

File metadata

  • Download URL: verry-0.1.1.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.1.tar.gz
Algorithm Hash digest
SHA256 f8b11fb4718f3c778e3010c9d0f0a394b93219edc74aa3b0aeb391d2a03fe9a8
MD5 2aa44745289392b88ba69b055bdfca18
BLAKE2b-256 c0e149cd1ca526ca3776230e701117c840fc431bec2656a1928b26a11337df16

See more details on using hashes here.

File details

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

File metadata

  • Download URL: verry-0.1.1-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.1-cp313-cp313-win_amd64.whl
Algorithm Hash digest
SHA256 e5e30522297d20384a9a47cce8a708428139d4a06006bf982510a464ac367404
MD5 85f4f133f0317b3292417de48d1880cd
BLAKE2b-256 cbabe62329041cf19edbf10797d762bbcf3a94bc61755c2842b19ac19e6a873f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for verry-0.1.1-cp313-cp313-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 c3099e77184b7f55af898541e16f728e2ffb287427fe9ecb83b6634f43172db2
MD5 6040bbf3a2e74143b6fa200f52717d98
BLAKE2b-256 15564d96e281deb2ebd7d23abf62bd65bb0bc7eda84aba8db1abac3383a995c4

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for verry-0.1.1-cp313-cp313-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 31a42e4967294cb0267cdad0d4ed6fadafd859063be77359ed8ada356186c30c
MD5 abc22663c888cdbe1dad6dff6dac9d42
BLAKE2b-256 126e98f65cf13430e8572a2205bbdda35f9b70a339f197ad56beadb97de77fa1

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for verry-0.1.1-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 86036a694557433eabb88b891730c5a9e72217878b4f6721a4a7dbb391d45fa0
MD5 db9098c2f308454d338509c301b977ba
BLAKE2b-256 95831646a520505fa98c3a9e5e8c780a04a259806d5990711c0ffa572aa163d4

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for verry-0.1.1-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 a54df19395a0501b92baf6d9eabfddd5fffdb2adf9881d55187e859f69255e73
MD5 76a0af725440e2a9878706618e6ac3d1
BLAKE2b-256 9b0a8af93a4fe6c416dcc2c44cfcdb0cf7fc1aecdca95487d6682a70078a1bab

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for verry-0.1.1-cp313-cp313-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 e89fb04def280cfd30a3b270eedae06686fcd20c3c74c115d202b818e5697a8c
MD5 52762fc3844c1516cbb05aabc7c0f359
BLAKE2b-256 77778aed04d804b254a6e77cd4f8877e2f2fc718e295652cb06f5f5a275503d7

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for verry-0.1.1-cp313-cp313-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 97fc8dbf1a07d50b46b136dbbe0ad5fe1cf7c44b0bbcdba8db456d39bf324470
MD5 7c2bfa58295119c0576afe1e7dc6d28c
BLAKE2b-256 31ae2ea024e5643e2f06c02eccf29b35c602580b5640a6bc1f89ccfc77b49894

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