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

0.0.11

This version

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.10-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (998.9 kB view details)

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

klr_lang-0.0.10-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (986.3 kB view details)

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

klr_lang-0.0.10-cp312-cp312-macosx_14_0_arm64.whl (147.2 kB view details)

Uploaded CPython 3.12macOS 14.0+ ARM64

klr_lang-0.0.10-cp312-cp312-macosx_13_0_x86_64.whl (161.5 kB view details)

Uploaded CPython 3.12macOS 13.0+ x86-64

klr_lang-0.0.10-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (990.4 kB view details)

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

klr_lang-0.0.10-cp311-cp311-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (976.5 kB view details)

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

klr_lang-0.0.10-cp311-cp311-macosx_14_0_arm64.whl (147.1 kB view details)

Uploaded CPython 3.11macOS 14.0+ ARM64

klr_lang-0.0.10-cp311-cp311-macosx_13_0_x86_64.whl (161.2 kB view details)

Uploaded CPython 3.11macOS 13.0+ x86-64

klr_lang-0.0.10-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (988.2 kB view details)

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

klr_lang-0.0.10-cp310-cp310-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (974.3 kB view details)

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

klr_lang-0.0.10-cp310-cp310-macosx_14_0_arm64.whl (147.2 kB view details)

Uploaded CPython 3.10macOS 14.0+ ARM64

klr_lang-0.0.10-cp310-cp310-macosx_13_0_x86_64.whl (161.3 kB view details)

Uploaded CPython 3.10macOS 13.0+ x86-64

klr_lang-0.0.10-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (988.2 kB view details)

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

klr_lang-0.0.10-cp39-cp39-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (974.0 kB view details)

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

klr_lang-0.0.10-cp39-cp39-macosx_14_0_arm64.whl (147.2 kB view details)

Uploaded CPython 3.9macOS 14.0+ ARM64

klr_lang-0.0.10-cp39-cp39-macosx_13_0_x86_64.whl (161.3 kB view details)

Uploaded CPython 3.9macOS 13.0+ x86-64

File details

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

File metadata

File hashes

Hashes for klr_lang-0.0.10-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 6e780eca854bfdd4b8bce9bb13785d2824bd0249e94d79c8b221bb5f04bae307
MD5 34487319179749fc3f1257b1ecdb4adc
BLAKE2b-256 e555de008c379a5599bba5ea3ce2417196c4bb0100da407e659ffa9484feabeb

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.10-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.10-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.10-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 61f8f66d9d6f52eb1da44282d3f395e7d9146d4b7494bc2f8bffb14e600960fd
MD5 0e26a9081c6c00f2f7534ba1fb0423a2
BLAKE2b-256 9f28b2b1680ada3b6ae4900fe935c1d0b080fa93492b380642154c07aa513b92

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.10-cp312-cp312-manylinux_2_24_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.10-cp312-cp312-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.10-cp312-cp312-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 e22f3eb72c6f985d75c02769c653d4afca2a9447a855861c1a366b652045d678
MD5 926ca395b2dee3a7208d1a4afd55f527
BLAKE2b-256 2745ef037f336cb9cc75acdf10c6f164e715fdb46534c83c4c0e5a0fb92a9cf3

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.10-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.10-cp312-cp312-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.10-cp312-cp312-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 c67b0c6a1d2d38bf4c79e53723cbfe523e70580e95cda39507b923b52b79b4f6
MD5 0a082a865c1c04d44a8809d0881d2973
BLAKE2b-256 b25ed9df469754aef1bd1877d236b8998f18cf1c552efcf31d3283d9b0da8d19

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.10-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.10-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.10-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 db5eaf222a7e5c136b850d31c489fb23a4e3a2e5d24894b144ac072daaa1aff0
MD5 5f353f185e0f50a0f72cb7f0464b2c32
BLAKE2b-256 c85c6850e1987baec67fe15075827300747188395ee4e79c192038c1b473ee8b

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.10-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.10-cp311-cp311-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.10-cp311-cp311-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 3ce9b3cb643e7c1f8525409d8b6d9c5572c866b7a67a0c695180345d6427a86a
MD5 863a132804077e7b255b9548c0afd709
BLAKE2b-256 1f70df8fda266a7dcfd4cd4a60d0c1e7bbb3b4f533ded55c87794496ae1adbee

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.10-cp311-cp311-manylinux_2_24_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.10-cp311-cp311-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.10-cp311-cp311-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 292c4437241b77279d92369af2ae9ecedf15054bd87fdab1b7c5ac52ce5ef149
MD5 91b5331ddee61d1581e5c55a59231779
BLAKE2b-256 2d310846800efa83a57beb22d7cbf3fee2774f1b40ee667703d61c37c7691ca4

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.10-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.10-cp311-cp311-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.10-cp311-cp311-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 600161d01bfa7b205927e33c40b8a963e0efed90743d85166303f44e7c14794e
MD5 fb37aaa7493bbe0aea848f37f6d3f7cc
BLAKE2b-256 977b39022a2d0c29d6afa545b9a8ba1c8a766e27740762f5b728500c03222715

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.10-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.10-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.10-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 b5cdc0eb411195d0d71783a9969f4609fca1d8a77dd4c0bc12bd3381ff4b5ede
MD5 8c74069231e257a940fef05fdc812479
BLAKE2b-256 ab1b55512ffe53c91cef3d62f80467e8e92affa4605f71b087f405ad952d9ff6

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.10-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.10-cp310-cp310-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.10-cp310-cp310-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 de5e537e555e4ecb3db41ae3226a322b246dfa9d9bcb4e2d71f3045bf5292d92
MD5 d53d3ba3bc58c24b87d174f94ba53e38
BLAKE2b-256 24586a3836827578e2577a1af7fb94d673aa155fe6087151a84282bcddff8045

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.10-cp310-cp310-manylinux_2_24_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.10-cp310-cp310-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.10-cp310-cp310-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 6f8d99bee2848e6a0286a8f37a73817c02f8afa9854efe659a1ee2a2898b47ee
MD5 90efd28015ba8a02f313801e07a18c0d
BLAKE2b-256 86876895a9340f42d6e62e2d8adae9bb9aa0b4c27eb4931f556d3eaf669eb5a0

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.10-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.10-cp310-cp310-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.10-cp310-cp310-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 c4517e50cb5b02fa2da8430829616502d42cd91f97b86d2c51a92d8cb79d0561
MD5 b790ce6fc6093378ed6edcb7a09b900b
BLAKE2b-256 25660f143dd55f600836002c62ed0cf7e72fc1c5d90b92e6b2dc13b6cfb76cc2

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.10-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.10-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.10-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 61d95070a067dfddd9679a532fc51fc97b672628a4b37ef629e3af94fc897a7e
MD5 a3ab765373b61b9987e46627a9bd89a1
BLAKE2b-256 733b9ce2222e61659b61055224b41a01a4f11ad71430adf53daeac14d280967b

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.10-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.10-cp39-cp39-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.10-cp39-cp39-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 431a2475db5c7995836cb9658bfe8f23763567639a918e9f83abc3da28dbae4f
MD5 50aad66b2bee97468be77f46d6380d70
BLAKE2b-256 433bb1179a7246ef0f29674d9225d8494ca6d3966ea654bed9605ce718da9c33

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.10-cp39-cp39-manylinux_2_24_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.10-cp39-cp39-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.10-cp39-cp39-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 8d556888cefbb4645c33949c7dcc3ce269ac2c0a69a26fd52b901bd920a34a6d
MD5 46e4e4cfe6df456010f2cf7573eedc9a
BLAKE2b-256 00b55a09803a956c71e11cc9f5c19f3f9c8d175a2c9c94e8d11f59530c12b2c2

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.10-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.10-cp39-cp39-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.10-cp39-cp39-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 dc4d36b0cf9c88f098f69ace5cb6ac58af3da9f80f5a423f26e5df148596a976
MD5 a275bb07bdb0bfaf0698cb6b186aefc8
BLAKE2b-256 b77c72d8a73e2f5fdeca2aaa4ba329e36640ced12bb1d60431641f514cf42abd

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.10-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