Intermediate langauge for tensor compilers

Navigation

Verified details

These details have been verified by PyPI
Project links
GitHub Statistics
Maintainers
Avatar for seanmcl-amazon from gravatar.com seanmcl-amazon

Unverified details

These details have not been verified by PyPI
Meta
Report project as malware

Project description

Python bindings for KLR

Project details

Verified details

These details have been verified by PyPI
Project links
GitHub Statistics
Maintainers
Avatar for seanmcl-amazon from gravatar.com seanmcl-amazon

Unverified details

These details have not been verified by PyPI
Meta

Release history Release notifications | RSS feed

0.0.12

This version

0.0.11

0.0.10

0.0.9

0.0.8

0.0.7

0.0.6

0.0.5

Download files

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

Source Distributions

No source distribution files available for this release.See tutorial on generating distribution archives.

Built Distributions

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

klr_lang-0.0.11-cp312-cp312-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl (54.5 MB view details)

Uploaded CPython 3.12manylinux: glibc 2.27+ ARM64manylinux: glibc 2.28+ ARM64

klr_lang-0.0.11-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (59.4 MB view details)

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

klr_lang-0.0.11-cp312-cp312-macosx_14_0_arm64.whl (48.2 MB view details)

Uploaded CPython 3.12macOS 14.0+ ARM64

klr_lang-0.0.11-cp312-cp312-macosx_13_0_x86_64.whl (55.4 MB view details)

Uploaded CPython 3.12macOS 13.0+ x86-64

klr_lang-0.0.11-cp311-cp311-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl (54.5 MB view details)

Uploaded CPython 3.11manylinux: glibc 2.27+ ARM64manylinux: glibc 2.28+ ARM64

klr_lang-0.0.11-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (59.4 MB view details)

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

klr_lang-0.0.11-cp311-cp311-macosx_14_0_arm64.whl (48.2 MB view details)

Uploaded CPython 3.11macOS 14.0+ ARM64

klr_lang-0.0.11-cp311-cp311-macosx_13_0_x86_64.whl (55.4 MB view details)

Uploaded CPython 3.11macOS 13.0+ x86-64

klr_lang-0.0.11-cp310-cp310-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl (54.5 MB view details)

Uploaded CPython 3.10manylinux: glibc 2.27+ ARM64manylinux: glibc 2.28+ ARM64

klr_lang-0.0.11-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (59.4 MB view details)

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

klr_lang-0.0.11-cp310-cp310-macosx_14_0_arm64.whl (48.2 MB view details)

Uploaded CPython 3.10macOS 14.0+ ARM64

klr_lang-0.0.11-cp310-cp310-macosx_13_0_x86_64.whl (55.4 MB view details)

Uploaded CPython 3.10macOS 13.0+ x86-64

klr_lang-0.0.11-cp39-cp39-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl (54.5 MB view details)

Uploaded CPython 3.9manylinux: glibc 2.27+ ARM64manylinux: glibc 2.28+ ARM64

klr_lang-0.0.11-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (59.4 MB view details)

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

klr_lang-0.0.11-cp39-cp39-macosx_14_0_arm64.whl (48.2 MB view details)

Uploaded CPython 3.9macOS 14.0+ ARM64

klr_lang-0.0.11-cp39-cp39-macosx_13_0_x86_64.whl (55.4 MB view details)

Uploaded CPython 3.9macOS 13.0+ x86-64

File details

Details for the file klr_lang-0.0.11-cp312-cp312-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.11-cp312-cp312-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 574dc09b1a62d671641a6da3b4706c9a086c584c4966a7b0ea61fa9589aebfac
MD5 54a699db7ed8c545c73335630043e3cd
BLAKE2b-256 b90c12a7a638ee0a4d26666b1ab3ad3823122d159167e126444e6eb221f2dacb

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.11-cp312-cp312-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.11-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.11-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 24b492db1bfd14166218eb8308a9b0130634b09d847be9ee4884ab2c9c821e64
MD5 b2fceead2d662604746ffe3bcdec2022
BLAKE2b-256 5b0bb31079d89ebddd0044fd818d4cea06073140ca0298b7f403c9395fd9126b

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.11-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.11-cp312-cp312-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.11-cp312-cp312-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 8f0f3e545c94d541c9cef3644c23337ef42e6f16b4b85f6d3a60820a54260a6f
MD5 4b2db06fa2d8b7ab815b93b251ec8a67
BLAKE2b-256 4bf88e88bb745d893575333cac88c18a9b1eb5f788d899374199ffd2ffa6a5a5

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.11-cp312-cp312-macosx_14_0_arm64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.11-cp312-cp312-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.11-cp312-cp312-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 6c1db71ca7d5d14d6d5713ee38c2af3619c3f67dc1ed4d77baf884071cfd101f
MD5 0476ae5b382c476f260523cfe622aa48
BLAKE2b-256 df249d434f0ebce80a3752fe08c20f8de9f339c6fc8d24cef72a2cdfdf0b39f4

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.11-cp312-cp312-macosx_13_0_x86_64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.11-cp311-cp311-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.11-cp311-cp311-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 9cc59fd3b0b2b464d02bd7a1f5d263263ce8b7ad0b93b5e3a2767b434731f5b2
MD5 bb19e1cec7a43f22b792dd9aacde6e19
BLAKE2b-256 2deba480ec6eda49e42a852afcbfcf488201d414b6cc514154d015eacc2dfc6b

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.11-cp311-cp311-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.11-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.11-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 a75d159663fbf30897b8638529063693d6838f26f749011254bfd6f016415d5d
MD5 8c528fcf370ea7a45e6afc99329971b2
BLAKE2b-256 091585a1afee3f5ae5c50ab0440680d24ecf243854e9ded6a85789df119b3dcb

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.11-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.11-cp311-cp311-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.11-cp311-cp311-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 dff3d7a0005a680e37118bc18b4c2724aec299115997e48594b4585f30d2cdae
MD5 05cc9dfa2e053ea7a7061e7c741614d9
BLAKE2b-256 6b38954abe200b2629f8282516b2fe932b987920e165684734f3d203c13a14e1

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.11-cp311-cp311-macosx_14_0_arm64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.11-cp311-cp311-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.11-cp311-cp311-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 61eb23d8f61040aa2c3da800597c15c4c0d0196799278f8bb17f228f17428dc3
MD5 592f73ae1d9ca1e7cb6eff99dc7a8ab7
BLAKE2b-256 b8d22938346d0afee946ec78c43516b1d9bbfc11a8e4e4c87c062e6074df6fb0

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.11-cp311-cp311-macosx_13_0_x86_64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.11-cp310-cp310-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.11-cp310-cp310-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 7912a8b5936e605d6421235221229bf808c60fe5bd4c7254c79a8a9ba51adf17
MD5 21838c8f9c7d6d63aa99743dbeaf7e17
BLAKE2b-256 c72d07f010447ad40fa77c379d634623950b4e17e39d8508a5800ddfe9f3856e

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.11-cp310-cp310-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.11-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.11-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 7fbc39c6e1c5938833f0f2327dc967bdd863c65e75a1f6ce04e4a0452f5d659f
MD5 68e020e5784e9497a8dd54cb971978a5
BLAKE2b-256 4719f34b1695cfca39db3d4d16bccf1010b7e85de2bed55d2d5870645def5720

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.11-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.11-cp310-cp310-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.11-cp310-cp310-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 be59687a3c4833b9e3bfb6065f720176d02e4501f9243fc20a17566ab1770eed
MD5 0576489c891b5afd96818798ede48232
BLAKE2b-256 d22fb5a15c9ca5b4960f077e229f29ed5805e48a39a194e62e8f2fc50687df79

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.11-cp310-cp310-macosx_14_0_arm64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.11-cp310-cp310-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.11-cp310-cp310-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 ef9d56a6ca1b8f47cea5ebc9a27823ae350b0b378f71bd13fffc5eadfee52010
MD5 db0b4eb7a89237d2beefa5a57674520b
BLAKE2b-256 6ccd7d6b29ec6052a5a2d6bb7c2b36b7bc7eff391175b74fea0f303817f880f7

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.11-cp310-cp310-macosx_13_0_x86_64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.11-cp39-cp39-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.11-cp39-cp39-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 772cdfc5f95c6e789b7f987f8324c401316466401cc7cdc46b1156f3d07273bb
MD5 d072c02f753be36ec2468621cf35bc9f
BLAKE2b-256 1c05584aa156a67132e9de6012c0d6c0789adc508764ad3283277677d5e26631

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.11-cp39-cp39-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.11-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.11-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 451ce2d3d9419441fc139444c1353c217fe9ef53f71668ba8c6e8e8871277bf3
MD5 bb95b0e5b7d877dcc2e1025bc08d5c19
BLAKE2b-256 b78523438c2f9a27c664cfcd42011a28e5d4a788e975894702334b752e25d1f8

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.11-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.11-cp39-cp39-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.11-cp39-cp39-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 de9cdcf7e340c399779c2913733abd04286d00e43b5cb1ddc2d769852261d56b
MD5 5cfce7bcc6dc0d71947c256b6f30b7f6
BLAKE2b-256 28fd3f7b84fbd9b97ff5ed044167a962fcdb373ebaaa1a0466cee5eb42c44b6d

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.11-cp39-cp39-macosx_14_0_arm64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.11-cp39-cp39-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.11-cp39-cp39-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 609a3f5e20e4bebb032ded8f90366e9dd0ca7ea17b0a4e102770e8799e3cbd9b
MD5 188d53a24ba907da439ae4b4e0ceba5a
BLAKE2b-256 0bcefe897e6660f907c54b8a96cc24540ef1bd03923b68f65ac476477946bb58

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.11-cp39-cp39-macosx_13_0_x86_64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

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