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
  • License: Apache-2.0
  • Author: Paul Govereau
  • Tags trainium , tpu , pallas , triton , gpu
  • Requires: Python <3.13, >=3.9
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
  • License: Apache-2.0
  • Author: Paul Govereau
  • Tags trainium , tpu , pallas , triton , gpu
  • Requires: Python <3.13, >=3.9

Release history Release notifications | RSS feed

This version

0.0.12

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 Distribution

klr-lang-0.0.12.tar.gz (58.0 MB view details)

Uploaded Source

Built Distributions

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

klr_lang-0.0.12-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.12-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.12-cp312-cp312-macosx_14_0_arm64.whl (48.2 MB view details)

Uploaded CPython 3.12macOS 14.0+ ARM64

klr_lang-0.0.12-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.12-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.12-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.12-cp311-cp311-macosx_14_0_arm64.whl (48.2 MB view details)

Uploaded CPython 3.11macOS 14.0+ ARM64

klr_lang-0.0.12-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.12-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.12-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.12-cp310-cp310-macosx_14_0_arm64.whl (48.2 MB view details)

Uploaded CPython 3.10macOS 14.0+ ARM64

klr_lang-0.0.12-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.12-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.12-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.12-cp39-cp39-macosx_14_0_arm64.whl (48.2 MB view details)

Uploaded CPython 3.9macOS 14.0+ ARM64

klr_lang-0.0.12-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.12.tar.gz.

File metadata

  • Download URL: klr-lang-0.0.12.tar.gz
  • Upload date:
  • Size: 58.0 MB
  • Tags: Source
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/6.1.0 CPython/3.12.9

File hashes

Hashes for klr-lang-0.0.12.tar.gz
Algorithm Hash digest
SHA256 1fa8b4778ac9f756a81529d200bf7521c3cfb7327d5e52a2f982297e7aacad2d
MD5 65dc4a7564001f3242195d03e3d64eeb
BLAKE2b-256 1f41b8cbee07fd148424e524400165ead9d5e14c22a06751d945d93fdc54412a

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr-lang-0.0.12.tar.gz:

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.12-cp312-cp312-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.12-cp312-cp312-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 a59320c8d127af42905e19193d2247ac878e4f73e74720a43aa401808089d746
MD5 b3325f4df147ed1bff006e9f28ddc241
BLAKE2b-256 97f1ac780e2483f38946ad72d91ac237e2bb1db1a55d861b9e259d301f3c37f5

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.12-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.12-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.12-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 4198616c85375a79b3de17365619871ace814099fb76834cba8edf5ef5195d4d
MD5 f9ed8b63244022312aea62636201c44e
BLAKE2b-256 8900eee8cca602fe290d65a880ba527a835fcabb8668731f8395e33d3b131b46

See more details on using hashes here.

Provenance

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

File metadata

File hashes

Hashes for klr_lang-0.0.12-cp312-cp312-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 957ff00716b20baa30475f0a4746137ec9a36878d8f88e339d154e0a02ed5f17
MD5 8290f1264c9645cb6457713ce2aeee32
BLAKE2b-256 9126377a559c6d050c1256219f8b3f3e84af4a31221dec9394860ee8ac8d2f42

See more details on using hashes here.

Provenance

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

File metadata

File hashes

Hashes for klr_lang-0.0.12-cp312-cp312-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 eac5daf722d6e63d8a4d71df5c927fc5876e0e420301f4ffa79951c21d15fc77
MD5 c34efebea4293c276de47670463137af
BLAKE2b-256 961144bc47986cd7bff07628261dbcda55e382ecbbf60239e86ce37b63987860

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.12-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.12-cp311-cp311-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.12-cp311-cp311-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 32009fab1ef11a3f85cb213e9983bb32aed943dcb8f507ddc53e04184f58b57d
MD5 f8bd9fb7463f341dbc448a44006d7d1a
BLAKE2b-256 83922aeca45798eb61b554999171bba9e5b38d5a1a51154edd065b9ef0c25773

See more details on using hashes here.

Provenance

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

File metadata

File hashes

Hashes for klr_lang-0.0.12-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 5238c9dac98f0cb681cc3288aad9256dde255b5733e61fb8f90af777eb5d1b11
MD5 7980bf7550fe4fe6a4024b2bffa106e3
BLAKE2b-256 e74b58d9d9688cb36c28761068e8c30834e51ad5bf48dcb9145e6b6a1d9ef1e3

See more details on using hashes here.

Provenance

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

File metadata

File hashes

Hashes for klr_lang-0.0.12-cp311-cp311-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 cf9b6368d9fc162fc703f412308094952cc4d119382c72af0e2b9d40642f47ea
MD5 706fc2ccb330a70113ec233e3ea89814
BLAKE2b-256 b02b705f822e8a08d144244c76b009791a54ff471b67e2526e11cb2d08ffb0f2

See more details on using hashes here.

Provenance

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

File metadata

File hashes

Hashes for klr_lang-0.0.12-cp311-cp311-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 723a85a9ad6713a5447211a511ee7c5a49ac999d2ca0e820a8b591b977bcdcf7
MD5 46476972e41baf1a5a759727ac1b4577
BLAKE2b-256 ddaf5c17e323e868c8b300c45d0a047d08016e2bc64b0dc54d760b4fbfaa4b2e

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.12-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.12-cp310-cp310-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.12-cp310-cp310-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 8a1bd0925febe1165158bd7c413802076b8acb22e28ebaab0c59ab5202b817d1
MD5 c4991f58e31e8daac648cad6f8cae4a5
BLAKE2b-256 8cb62ea50d92b5b5f49eb5b9963b5347c280283fa6dea1dbf092520ede40c0fe

See more details on using hashes here.

Provenance

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

File metadata

File hashes

Hashes for klr_lang-0.0.12-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 fd5456fcb9f568f69f4e5839e248cf8b55347387253198dd02177f2f14354fa6
MD5 bdf422b904c44adc377e2a6a47544062
BLAKE2b-256 a9d3ab192efb6cdb65f2f2bf4b2cbf87f2acb3ee01bda02a19c1157744580a13

See more details on using hashes here.

Provenance

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

File metadata

File hashes

Hashes for klr_lang-0.0.12-cp310-cp310-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 7a84f826b702ba8b805f8c716af3ebaf7c45eac4a09cc7f188952858ab24751b
MD5 507bc5a2a8406cea1b67cebd006522ea
BLAKE2b-256 ddf791e30e955571e3e9a4e5eb6853f5c710b0bbb5f6fabd18ba663cdb4bafa0

See more details on using hashes here.

Provenance

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

File metadata

File hashes

Hashes for klr_lang-0.0.12-cp310-cp310-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 d2302b953c1b506028ad9f89541c2d8e0024fe5b51dc6a15179d0bc6d46e4154
MD5 4cd98924e53f20133afb16f134a2dfa5
BLAKE2b-256 8e6e11f3d4e988b2d37091dbf3baf616d7f517c4c9cc8feb8ee4c4a3053fc23b

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.12-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.12-cp39-cp39-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.12-cp39-cp39-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 963235621fe9cbcd925a12c208ee4e2a5fa92f7f8f71246a6c603fbaaaf6a0fa
MD5 7581d432d67aa47bb3c7968c6d3c26f6
BLAKE2b-256 b40c4cdbda33489a8156c3c6f97e6eaa602625addb04409ce2558001bc19a493

See more details on using hashes here.

Provenance

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

File metadata

File hashes

Hashes for klr_lang-0.0.12-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 35e3d246b160e35f11d76be71897fbe8ce10af48fb641e2adb2903e5b952b55d
MD5 07907addc4adb843aab12b80f69d7162
BLAKE2b-256 b7c4a0f242aed670ccb5f88007004405ac026994d1d2b107e30ce1c8e4c8c882

See more details on using hashes here.

Provenance

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

File metadata

File hashes

Hashes for klr_lang-0.0.12-cp39-cp39-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 01e5c4f633d351ca45b1a25c3ff109e8ff36ebef4a54a9898df0f64922305c59
MD5 63a0098f383c781e3dba14ee54ad83ee
BLAKE2b-256 8e49bc9e0b904086fadc76b20023c5ede81c4a737475dab2ef62edc778a555ff

See more details on using hashes here.

Provenance

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

File metadata

File hashes

Hashes for klr_lang-0.0.12-cp39-cp39-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 b05a0e9bf71982f2b554382765a7877df09b4aec00a68a7ac227b55d236b6f16
MD5 9fdf78ffe0d28c62c6274ccbf9095f9e
BLAKE2b-256 ff5e31bd3d961b65437d58b02181f57bdb3a3c28fc32fcfb2e8ca6c5a8b071c0

See more details on using hashes here.

Provenance

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