keelrun-core

Keel native core (keel_core): PyO3 binding over keelrun_core::Engine.

These details have not been verified by PyPI

Project description

The author of this package has not provided a project description

Project details

These details have not been verified by PyPI

Release history Release notifications | RSS feed

0.2.0

Jul 16, 2026

0.1.1

Jul 15, 2026

This version

0.1.0

Jul 14, 2026

Download files

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

Source Distribution

keelrun_core-0.1.0.tar.gz (202.2 kB view details)

Uploaded Jul 14, 2026 Source

Built Distributions

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

The dropdown lists show the available interpreters, ABIs, and platforms. Enable javascript to be able to filter the list of wheel files.

keelrun_core-0.1.0-cp311-abi3-win_amd64.whl (2.2 MB view details)

Uploaded Jul 14, 2026 CPython 3.11+Windows x86-64

keelrun_core-0.1.0-cp311-abi3-manylinux_2_28_x86_64.whl (2.6 MB view details)

Uploaded Jul 14, 2026 CPython 3.11+manylinux: glibc 2.28+ x86-64

keelrun_core-0.1.0-cp311-abi3-manylinux_2_28_aarch64.whl (2.5 MB view details)

Uploaded Jul 14, 2026 CPython 3.11+manylinux: glibc 2.28+ ARM64

keelrun_core-0.1.0-cp311-abi3-macosx_11_0_arm64.whl (2.3 MB view details)

Uploaded Jul 14, 2026 CPython 3.11+macOS 11.0+ ARM64

keelrun_core-0.1.0-cp311-abi3-macosx_10_12_x86_64.whl (2.4 MB view details)

Uploaded Jul 14, 2026 CPython 3.11+macOS 10.12+ x86-64

File details

Details for the file keelrun_core-0.1.0.tar.gz.

File metadata

Download URL: keelrun_core-0.1.0.tar.gz
Upload date: Jul 14, 2026
Size: 202.2 kB
Tags: Source
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.13

File hashes

Hashes for keelrun_core-0.1.0.tar.gz
Algorithm	Hash digest
SHA256	`f9d64f2a93f72b0eab62c030385e281f08769a41a6084458bde03744165105c7`
MD5	`d61d90e6f2191f1a25afc24f3e925633`
BLAKE2b-256	`25d6c288617b113932ee89f220d3d88204a9fa5152d3eb41bf469aa265b5fa17`

See more details on using hashes here.

Provenance

The following attestation bundles were made for keelrun_core-0.1.0.tar.gz:

Publisher: release.yml on MisterTK/keel

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: keelrun_core-0.1.0.tar.gz
- Subject digest: f9d64f2a93f72b0eab62c030385e281f08769a41a6084458bde03744165105c7
- Sigstore transparency entry: 2170046704
- Sigstore integration time: Jul 14, 2026
Source repository:
- Permalink: MisterTK/keel@36ee6a1efd475f8630839bdc6abfa7e209a6f8b9
- Branch / Tag: refs/tags/v0.1.0
- Owner: https://github.com/MisterTK
- Access: private
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release.yml@36ee6a1efd475f8630839bdc6abfa7e209a6f8b9
- Trigger Event: workflow_dispatch

File details

Details for the file keelrun_core-0.1.0-cp311-abi3-win_amd64.whl.

File metadata

Download URL: keelrun_core-0.1.0-cp311-abi3-win_amd64.whl
Upload date: Jul 14, 2026
Size: 2.2 MB
Tags: CPython 3.11+, Windows x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.13

File hashes

Hashes for keelrun_core-0.1.0-cp311-abi3-win_amd64.whl
Algorithm	Hash digest
SHA256	`8e00aff5b5e17920c0721ed3b52409af5f9ff23a68bbdea6a036aaac35aae114`
MD5	`a00f51465351d28502b4aa262dfa6a94`
BLAKE2b-256	`c7d2795d5fd4e56199826523063338d5e519bca03650bcff5b37df197ef7a145`

See more details on using hashes here.

Provenance

The following attestation bundles were made for keelrun_core-0.1.0-cp311-abi3-win_amd64.whl:

Publisher: release.yml on MisterTK/keel

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: keelrun_core-0.1.0-cp311-abi3-win_amd64.whl
- Subject digest: 8e00aff5b5e17920c0721ed3b52409af5f9ff23a68bbdea6a036aaac35aae114
- Sigstore transparency entry: 2170046801
- Sigstore integration time: Jul 14, 2026
Source repository:
- Permalink: MisterTK/keel@36ee6a1efd475f8630839bdc6abfa7e209a6f8b9
- Branch / Tag: refs/tags/v0.1.0
- Owner: https://github.com/MisterTK
- Access: private
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release.yml@36ee6a1efd475f8630839bdc6abfa7e209a6f8b9
- Trigger Event: workflow_dispatch

File details

Details for the file keelrun_core-0.1.0-cp311-abi3-manylinux_2_28_x86_64.whl.

File metadata

Download URL: keelrun_core-0.1.0-cp311-abi3-manylinux_2_28_x86_64.whl
Upload date: Jul 14, 2026
Size: 2.6 MB
Tags: CPython 3.11+, manylinux: glibc 2.28+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.13

File hashes

Hashes for keelrun_core-0.1.0-cp311-abi3-manylinux_2_28_x86_64.whl
Algorithm	Hash digest
SHA256	`7bfda6506225ae59411194cfecfa1748174ae6fc5e34ee7deb0aa894162461ff`
MD5	`eb099eae13e0cb0c0c3d4fe290caf99b`
BLAKE2b-256	`2df616a114e3bc48c3a0ff85e982a8c37961883a8a8365ac190060b0c0733924`

See more details on using hashes here.

Provenance

The following attestation bundles were made for keelrun_core-0.1.0-cp311-abi3-manylinux_2_28_x86_64.whl:

Publisher: release.yml on MisterTK/keel

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: keelrun_core-0.1.0-cp311-abi3-manylinux_2_28_x86_64.whl
- Subject digest: 7bfda6506225ae59411194cfecfa1748174ae6fc5e34ee7deb0aa894162461ff
- Sigstore transparency entry: 2170046714
- Sigstore integration time: Jul 14, 2026
Source repository:
- Permalink: MisterTK/keel@36ee6a1efd475f8630839bdc6abfa7e209a6f8b9
- Branch / Tag: refs/tags/v0.1.0
- Owner: https://github.com/MisterTK
- Access: private
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release.yml@36ee6a1efd475f8630839bdc6abfa7e209a6f8b9
- Trigger Event: workflow_dispatch

File details

Details for the file keelrun_core-0.1.0-cp311-abi3-manylinux_2_28_aarch64.whl.

File metadata

Download URL: keelrun_core-0.1.0-cp311-abi3-manylinux_2_28_aarch64.whl
Upload date: Jul 14, 2026
Size: 2.5 MB
Tags: CPython 3.11+, manylinux: glibc 2.28+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.13

File hashes

Hashes for keelrun_core-0.1.0-cp311-abi3-manylinux_2_28_aarch64.whl
Algorithm	Hash digest
SHA256	`3f32f74ac9b37c8c79ea04913acb9763d3a22f373957e0d377529e97da1c98ba`
MD5	`db2e3aa8b7b90e52e8abb466597c3822`
BLAKE2b-256	`dd7b7599f9eb07d21e1009011f34716884bf3eda6b86016c48a8436a8e946171`

See more details on using hashes here.

Provenance

The following attestation bundles were made for keelrun_core-0.1.0-cp311-abi3-manylinux_2_28_aarch64.whl:

Publisher: release.yml on MisterTK/keel

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: keelrun_core-0.1.0-cp311-abi3-manylinux_2_28_aarch64.whl
- Subject digest: 3f32f74ac9b37c8c79ea04913acb9763d3a22f373957e0d377529e97da1c98ba
- Sigstore transparency entry: 2170046749
- Sigstore integration time: Jul 14, 2026
Source repository:
- Permalink: MisterTK/keel@36ee6a1efd475f8630839bdc6abfa7e209a6f8b9
- Branch / Tag: refs/tags/v0.1.0
- Owner: https://github.com/MisterTK
- Access: private
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release.yml@36ee6a1efd475f8630839bdc6abfa7e209a6f8b9
- Trigger Event: workflow_dispatch

File details

Details for the file keelrun_core-0.1.0-cp311-abi3-macosx_11_0_arm64.whl.

File metadata

Download URL: keelrun_core-0.1.0-cp311-abi3-macosx_11_0_arm64.whl
Upload date: Jul 14, 2026
Size: 2.3 MB
Tags: CPython 3.11+, macOS 11.0+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.13

File hashes

Hashes for keelrun_core-0.1.0-cp311-abi3-macosx_11_0_arm64.whl
Algorithm	Hash digest
SHA256	`f98b6a4bd47513cf722c755af7d8d6526f82d09d6b6076c49ae263bf9eb0dc9f`
MD5	`ffd997e23b16a7cfaed397f95dab97dd`
BLAKE2b-256	`fd40bc1b60cc30aefb85d3e75d729396a5c6fa4235f28a3e28b12ea29de5083e`

See more details on using hashes here.

Provenance

The following attestation bundles were made for keelrun_core-0.1.0-cp311-abi3-macosx_11_0_arm64.whl:

Publisher: release.yml on MisterTK/keel

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: keelrun_core-0.1.0-cp311-abi3-macosx_11_0_arm64.whl
- Subject digest: f98b6a4bd47513cf722c755af7d8d6526f82d09d6b6076c49ae263bf9eb0dc9f
- Sigstore transparency entry: 2170046773
- Sigstore integration time: Jul 14, 2026
Source repository:
- Permalink: MisterTK/keel@36ee6a1efd475f8630839bdc6abfa7e209a6f8b9
- Branch / Tag: refs/tags/v0.1.0
- Owner: https://github.com/MisterTK
- Access: private
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release.yml@36ee6a1efd475f8630839bdc6abfa7e209a6f8b9
- Trigger Event: workflow_dispatch

File details

Details for the file keelrun_core-0.1.0-cp311-abi3-macosx_10_12_x86_64.whl.

File metadata

Download URL: keelrun_core-0.1.0-cp311-abi3-macosx_10_12_x86_64.whl
Upload date: Jul 14, 2026
Size: 2.4 MB
Tags: CPython 3.11+, macOS 10.12+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.13

File hashes

Hashes for keelrun_core-0.1.0-cp311-abi3-macosx_10_12_x86_64.whl
Algorithm	Hash digest
SHA256	`0945d7de13ccfcc7c1ba424270dd074a215663cbb36133c2f357f1ac2e604b91`
MD5	`ba5c0e7194792f55a86d300ba2d2b293`
BLAKE2b-256	`ec0fb0779c2ea24034b5e6f42f4aaa5a7a73d93ba3e97407b79c83c73e75bf1b`

See more details on using hashes here.

Provenance

The following attestation bundles were made for keelrun_core-0.1.0-cp311-abi3-macosx_10_12_x86_64.whl:

Publisher: release.yml on MisterTK/keel

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: keelrun_core-0.1.0-cp311-abi3-macosx_10_12_x86_64.whl
- Subject digest: 0945d7de13ccfcc7c1ba424270dd074a215663cbb36133c2f357f1ac2e604b91
- Sigstore transparency entry: 2170046732
- Sigstore integration time: Jul 14, 2026
Source repository:
- Permalink: MisterTK/keel@36ee6a1efd475f8630839bdc6abfa7e209a6f8b9
- Branch / Tag: refs/tags/v0.1.0
- Owner: https://github.com/MisterTK
- Access: private
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release.yml@36ee6a1efd475f8630839bdc6abfa7e209a6f8b9
- Trigger Event: workflow_dispatch

keelrun-core 0.1.0

Navigation

Verified details

Maintainers

Unverified details

Meta

Classifiers

Project description

Project details

Verified details

Maintainers

Unverified details

Meta

Classifiers

Release history Release notifications | RSS feed

Download files

Source Distribution

Built Distributions

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance