sdfgen

This repository currently holds libraries to make it easier to develop seL4 Microkit-based systems.

[!IMPORTANT] This project is experimental, we are using it internally to get it into a usable state for the public. For development this work exists in a separate repository, but that may change once it has matured (e.g by the Microkit part of the tooling part of the official Microkit repository, the sDDF part being in the sDDF repository, etc).

Use

The sdfgen tooling (name temporary) contains libraries for programmatically creating:

  • Microkit System Description Files (SDF)
  • systems using the seL4 Device Driver Framework (sDDF)
  • systems using LionsOS

It has first-class support for use in the following languages:

  • C
  • Python
  • Zig

The Python package is available via pip (on PyPI) and can be installed simply via pip install sdfgen.

Documentation for the Python package can be found here.

Pre-built archives of the C library are available in each release.

Building from source

Dependencies

C library (libcsdfgen)

The C library can be built with:

zig build c

The library will be in zig-out/lib/ and the include headers will be in zig-out/include/. On Linux we default to a static binary for the C library, if you want a dynamic library you can add the -Dc-dynamic=true option.

If you want to output the artefacts to a specific directory, you can so with:

zig build c -p <install dir>

Python

The Python package is supported for versions 3.9 to 3.13. Linux (x86-64) and macOS (Intel/Apple Silicon) are supported.

To build a usable Python package run the following:

python3 -m venv venv
./venv/bin/pip install .

Now you should be able to import and use the bindings:

./venv/bin/python3
>>> import sdfgen
>>> help(sdfgen)

Zig

With Zig you will add this repository to your build.zig.zon either via a URL or path depending on your preference, and then change your build.zig to include the sdf module.

Developing

If you want to modify the tooling, please look at docs/developing.md.

Motivation

Problem

In order to remain simple, the seL4 Microkit (intentionally) does not provide one-size-fits-all abstractions for creating systems where the information about the design of the system flows into the actual code of the system.

A concrete example of this might be say some code that needs to know how many clients it needs to serve. This obviously depends on the system designer, and could easily be something that changes for different configurations of the same system. The Microkit SDF offers no way to pass down this kind of information. For the example described, an easy 'solution' would be to pass some kind of compile-time parameter (e.g a #define in C) for the number of clients. However imagine now you have the same system with two configurations, with two clients and one with three, this requires two separate SDF files even though they are very similar systems and the code remains identical expect for the compile-time parameter. This problem ultimately hampers experimentation.

Another 'problem' with SDF is that is verbose and descriptive. I say 'problem' as the verbosity of it makes it an ideal source of truth for the design of the system and hides minimal information as to the capability distribution and access policy of a system. But the negative of this is that it does not scale well, even small changes to a large SDF file are difficult to make and ensure are correct.

Solution(s)

  • Allow for users to easily auto-generate SDF programmatically using a tool called sdfgen.
  • Create a graphical user-interface to visually display and produce/maintain the design of a Microkit system. This graphical user-interface will sort of act as a 'frontend' for the sdfgen tool.

The sdfgen tooling is available and being used by sDDF and LionsOS, although still experimental. The GUI for the tooling is still very much a work-in-progress and not ready for use.

Project links

Data verified by PyPI on Aug 18, 2026
Data provided by the project maintainers, verified at the time the release was uploaded to PyPI.

Key dates

PyPI data
Data sourced directly from PyPI's database.
  • Released:
Latest release

1 maintainer

PyPI data
Data sourced directly from PyPI's database.
Avatar for TrustworthySystems from gravatar.com TrustworthySystems

GitHub Statistics

Data verified by PyPI on Aug 18, 2026
The GitHub source repository was provided by the project maintainers and verified by PyPI at the time of upload. Stars, forks, and open issues/PRs are derived from that repository and have not been independently verified.
Report project as malware

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.

sdfgen-0.35.0-cp314-cp314-musllinux_1_2_x86_64.whl (4.6 MB view details)

Uploaded CPython 3.14musllinux: musl 1.2+ x86-64

sdfgen-0.35.0-cp314-cp314-musllinux_1_2_aarch64.whl (4.4 MB view details)

Uploaded CPython 3.14musllinux: musl 1.2+ ARM64

sdfgen-0.35.0-cp314-cp314-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl (4.6 MB view details)

Uploaded CPython 3.14manylinux: glibc 2.27+ x86-64manylinux: glibc 2.28+ x86-64

sdfgen-0.35.0-cp314-cp314-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl (4.5 MB view details)

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

sdfgen-0.35.0-cp314-cp314-macosx_15_0_x86_64.whl (1.2 MB view details)

Uploaded CPython 3.14macOS 15.0+ x86-64

sdfgen-0.35.0-cp314-cp314-macosx_14_0_arm64.whl (1.1 MB view details)

Uploaded CPython 3.14macOS 14.0+ ARM64

sdfgen-0.35.0-cp313-cp313-musllinux_1_2_x86_64.whl (4.6 MB view details)

Uploaded CPython 3.13musllinux: musl 1.2+ x86-64

sdfgen-0.35.0-cp313-cp313-musllinux_1_2_aarch64.whl (4.4 MB view details)

Uploaded CPython 3.13musllinux: musl 1.2+ ARM64

sdfgen-0.35.0-cp313-cp313-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl (4.6 MB view details)

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

sdfgen-0.35.0-cp313-cp313-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl (4.5 MB view details)

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

sdfgen-0.35.0-cp313-cp313-macosx_15_0_x86_64.whl (1.2 MB view details)

Uploaded CPython 3.13macOS 15.0+ x86-64

sdfgen-0.35.0-cp313-cp313-macosx_14_0_arm64.whl (1.1 MB view details)

Uploaded CPython 3.13macOS 14.0+ ARM64

sdfgen-0.35.0-cp312-cp312-musllinux_1_2_x86_64.whl (4.6 MB view details)

Uploaded CPython 3.12musllinux: musl 1.2+ x86-64

sdfgen-0.35.0-cp312-cp312-musllinux_1_2_aarch64.whl (4.4 MB view details)

Uploaded CPython 3.12musllinux: musl 1.2+ ARM64

sdfgen-0.35.0-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl (4.6 MB view details)

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

sdfgen-0.35.0-cp312-cp312-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl (4.5 MB view details)

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

sdfgen-0.35.0-cp312-cp312-macosx_15_0_x86_64.whl (1.2 MB view details)

Uploaded CPython 3.12macOS 15.0+ x86-64

sdfgen-0.35.0-cp312-cp312-macosx_14_0_arm64.whl (1.1 MB view details)

Uploaded CPython 3.12macOS 14.0+ ARM64

sdfgen-0.35.0-cp311-cp311-musllinux_1_2_x86_64.whl (4.6 MB view details)

Uploaded CPython 3.11musllinux: musl 1.2+ x86-64

sdfgen-0.35.0-cp311-cp311-musllinux_1_2_aarch64.whl (4.4 MB view details)

Uploaded CPython 3.11musllinux: musl 1.2+ ARM64

sdfgen-0.35.0-cp311-cp311-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl (4.6 MB view details)

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

sdfgen-0.35.0-cp311-cp311-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl (4.5 MB view details)

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

sdfgen-0.35.0-cp311-cp311-macosx_15_0_x86_64.whl (1.2 MB view details)

Uploaded CPython 3.11macOS 15.0+ x86-64

sdfgen-0.35.0-cp311-cp311-macosx_14_0_arm64.whl (1.1 MB view details)

Uploaded CPython 3.11macOS 14.0+ ARM64

sdfgen-0.35.0-cp310-cp310-musllinux_1_2_x86_64.whl (4.6 MB view details)

Uploaded CPython 3.10musllinux: musl 1.2+ x86-64

sdfgen-0.35.0-cp310-cp310-musllinux_1_2_aarch64.whl (4.4 MB view details)

Uploaded CPython 3.10musllinux: musl 1.2+ ARM64

sdfgen-0.35.0-cp310-cp310-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl (4.6 MB view details)

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

sdfgen-0.35.0-cp310-cp310-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl (4.5 MB view details)

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

sdfgen-0.35.0-cp310-cp310-macosx_15_0_x86_64.whl (1.2 MB view details)

Uploaded CPython 3.10macOS 15.0+ x86-64

sdfgen-0.35.0-cp310-cp310-macosx_14_0_arm64.whl (1.1 MB view details)

Uploaded CPython 3.10macOS 14.0+ ARM64

sdfgen-0.35.0-cp39-cp39-musllinux_1_2_x86_64.whl (4.6 MB view details)

Uploaded CPython 3.9musllinux: musl 1.2+ x86-64

sdfgen-0.35.0-cp39-cp39-musllinux_1_2_aarch64.whl (4.4 MB view details)

Uploaded CPython 3.9musllinux: musl 1.2+ ARM64

sdfgen-0.35.0-cp39-cp39-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl (4.6 MB view details)

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

sdfgen-0.35.0-cp39-cp39-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl (4.5 MB view details)

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

sdfgen-0.35.0-cp39-cp39-macosx_15_0_x86_64.whl (1.2 MB view details)

Uploaded CPython 3.9macOS 15.0+ x86-64

sdfgen-0.35.0-cp39-cp39-macosx_14_0_arm64.whl (1.1 MB view details)

Uploaded CPython 3.9macOS 14.0+ ARM64

File details

Details for the file sdfgen-0.35.0-cp314-cp314-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp314-cp314-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 c1925dc285efad6b712fbc09596ba9293567040ad6358f40b51346ec67793c54
MD5 10e6f533c2ca3f0fbed379bac94d3b3e
BLAKE2b-256 ee70a9965685dd2614b2e3682ada6c96dc432f0ebe0843e7b61b515de1eebb65

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp314-cp314-musllinux_1_2_x86_64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp314-cp314-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp314-cp314-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 d2d525fd952c32b9f1af907ed8ebb905cfafff116ce12b16f2cb1961a9f64ee3
MD5 491d6d55920058b2a7a08915f7280d4e
BLAKE2b-256 4eb24a01315325d90d2172668a97a522c6fe04402a4d6df92aef73680b8c3cc4

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp314-cp314-musllinux_1_2_aarch64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp314-cp314-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp314-cp314-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 af854f16a9c4598292b1b61fef6ad736fc75320c44cfc5526863cf1facd4370e
MD5 74fe965694e61d3a6a53b1c6d1f8dae1
BLAKE2b-256 db58d57e0228dfa9368d13c45019a5c038d92da7dea9a27771be71aa66fbe4a4

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp314-cp314-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp314-cp314-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp314-cp314-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 e4eb68c2ea71833f4ef5a541395f918b779c3aeb6b859e33627d6fadf9d864fd
MD5 68f1d38e4c1f0cbcdf91311bccb7e0f3
BLAKE2b-256 ff76cb86ac5d4cfcb9b94d96162ecd298521dee7c25ef13bf0b1d5a411c348f3

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp314-cp314-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp314-cp314-macosx_15_0_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp314-cp314-macosx_15_0_x86_64.whl
Algorithm Hash digest
SHA256 59fe136aa4088dc9959e59ca48ae719b59c93093566517eecc500e7795f02879
MD5 f1c67ae0a1d69e181aecff7ce8eae556
BLAKE2b-256 47f988b17742f256f1f6db5b8fcb6f37fd71f322b8695209b535a2403f9951ad

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp314-cp314-macosx_15_0_x86_64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp314-cp314-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp314-cp314-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 474de013a4aa0f3a475c7b05c9bfae4bd0972b723e45a30d387fb9759bbeb42f
MD5 8424bdcd15e2086f70fa718019099936
BLAKE2b-256 51e7185358c864be79658ee63896dc278787d838cb89e6b485ef4077b44251e6

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp314-cp314-macosx_14_0_arm64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp313-cp313-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp313-cp313-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 e59fbe76d03c12f105c21ce6f08eb190cde892361c1e4218423b2e8c26c9c806
MD5 874a5133ba49be0c33c667943e514875
BLAKE2b-256 3039138b79f2d6124336ea7db65432dafb3a377f08e117316e5d9421860dd872

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp313-cp313-musllinux_1_2_x86_64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp313-cp313-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp313-cp313-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 df658c184248ed96f822ffb15ebba229924931e6877ea718298a8083863e8d59
MD5 929146f29cafd8eddbf1131e38189112
BLAKE2b-256 f388bb57415e040a2dec17e275b28187838e07e4acce894a2cf7449f54596dab

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp313-cp313-musllinux_1_2_aarch64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp313-cp313-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp313-cp313-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 9b6251ba6873bfe0ae4195654cfa4f5f9ce32f4a0c9cfa765555d651a3d9e086
MD5 42886ca1c2c3cff64b776c0c1bba09c8
BLAKE2b-256 9674ce497c969d66fb4b9a0af58781f56d3809592d5e205fef0b53c00b99c02b

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp313-cp313-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp313-cp313-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp313-cp313-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 9aed4c27354fd6925b3e9ccc2594ea58a0fe5482691e54cdb7559378cfa4b3df
MD5 7405db0aace8f2c06253a2d5e2c511d8
BLAKE2b-256 c0bffc27565a3f6fc510dc0f1ffca4fc76fa860f2bf880f6bb7f5755bad74229

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp313-cp313-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp313-cp313-macosx_15_0_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp313-cp313-macosx_15_0_x86_64.whl
Algorithm Hash digest
SHA256 d92e39bba35899e8e4a132dc076682f90491b90ab10749862b06bf26e7a1765a
MD5 b9229f820fb06104662bc6061b077fb7
BLAKE2b-256 114175d088bc5caeefaaeb00afbd406d77144d35aff524e5f0dee309ff27b381

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp313-cp313-macosx_15_0_x86_64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp313-cp313-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp313-cp313-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 2058dc487d227564367fc1fe28bcb91ccfda5a002dc8d00141a291d4ab0e296e
MD5 b611fbe22bea417d1565e3bb61a14c0c
BLAKE2b-256 b640cbb064336f110535259ac1fc420a571c89efc21aa01b57d06fea47000210

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp313-cp313-macosx_14_0_arm64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp312-cp312-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp312-cp312-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 c59062339797eca12e1e368cb6b38aacf2815c08de44a0c7162b6206d5ea0e8f
MD5 3418196fb3b1d76a9d84ed3b7aff3738
BLAKE2b-256 e01982ec56b6562a35ae671cd270c35bb980d7a956ade0402d17351df0860a1d

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp312-cp312-musllinux_1_2_x86_64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp312-cp312-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp312-cp312-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 bd382b95db530c91133e3ae2d0b8192b848d93a9015bbeb71fe2f4efa3671ec4
MD5 95d968110dd452ef44c27e7cc6d62ec0
BLAKE2b-256 23bcc5d6938a30c08a43ea13e394d1ab53cac5f9166097ad51ecbef6edaad02e

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp312-cp312-musllinux_1_2_aarch64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 06a7b3aec88e6ae77f4f2ac209600fe322aff5ee0582d1f9d72fb3f859aa3524
MD5 6bd53d565d959bee603150792f28626f
BLAKE2b-256 3eec203787f15ea11b6e5b54babcbdbb1cbc918466de35d2cae289dda250d035

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp312-cp312-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp312-cp312-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 75171e2317bffff1ed3b2c6042e2a4edcbe45ed42ca27bf6db8432342d23a219
MD5 01162c759757ef62ed0135bc5a1358ed
BLAKE2b-256 6c5b0d06eb32d54b5ee7438c6ff448d449765b9b9690e8e39863e6a99afb50d9

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp312-cp312-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp312-cp312-macosx_15_0_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp312-cp312-macosx_15_0_x86_64.whl
Algorithm Hash digest
SHA256 1b1b7737cc6cb18f72cf44d57aeda7bc39d0db99f0f3b1169f4fb1c4c170e635
MD5 c5cfb34a6fe8908f8e9b23e422f1d48d
BLAKE2b-256 79ad378b056b1ff089501effc671ffc87ef4b34a47ad694f1b1d649a4c71d419

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp312-cp312-macosx_15_0_x86_64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp312-cp312-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp312-cp312-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 75ba3d63f5d7e59f1f3efd81530bf0a28db8f28068d2a19fd987ae895b43d0e2
MD5 721b29f8922249f9d1937ceac6d19f27
BLAKE2b-256 ff64ca67180ca35615b85b7011e614d0c006362f983b9d0a92f27adc03a04dab

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp312-cp312-macosx_14_0_arm64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp311-cp311-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 7acb706303c41d0553bcc0624bef5cb29b32ac5ca48ab681e2d4fe10db1c75a9
MD5 dcd559f898013ab04c59b98fed17d174
BLAKE2b-256 e9401b5816d481ebaf43d0a85c01add05419355f141b3b9eb443553b6a7ef891

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp311-cp311-musllinux_1_2_x86_64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp311-cp311-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp311-cp311-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 e81caa36c342379c6798834bccf500f183121fcd8979dc19490aefb55d45d706
MD5 1b58d0fcc5b83b41aad4ed818991562f
BLAKE2b-256 bc99e1f59664498f71f59ebd8534baf608f28738ef8482727005886bb0b26073

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp311-cp311-musllinux_1_2_aarch64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp311-cp311-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp311-cp311-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 13ee248b18a150def3f51c233bf0fd5a8bf78d84ba1ca4157e0311e07ad86985
MD5 dad728ee7f7e7bbd1d49bb26ad1dc7fc
BLAKE2b-256 105d83f14c411798fe253a19dc6b8d42a54e46534a6a4ad1fc7cc7cd2c7f105a

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp311-cp311-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp311-cp311-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp311-cp311-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 5698e0d2aff00f8d967301a846200a8f90d07f1d10a2893226582bced307372d
MD5 c72bb712967a3005358f068c118ca379
BLAKE2b-256 2a1543a5fd4a7ea6b3db6986f4ae8530324e1923078d5fb67a877dd4f69fabef

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp311-cp311-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp311-cp311-macosx_15_0_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp311-cp311-macosx_15_0_x86_64.whl
Algorithm Hash digest
SHA256 1cde42f6e0356c2d8065fe39e979c2883ee462d0139b3173980679232209b8d4
MD5 384d2eaf864edcf927bf3ec1ea4d7363
BLAKE2b-256 bf647a4d7b3a9d279196585075fbb2018bdb4c7e81f643c2b29fa1c73b8d5fa0

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp311-cp311-macosx_15_0_x86_64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp311-cp311-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp311-cp311-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 9a4236175c7a7b233828e6e13a0cbfa6871d1838abc52870d82da1f87fb086e5
MD5 58fa2ccb06e21174d56873ea7ed8fcc7
BLAKE2b-256 fb0e0e77d3b33e6f00ac1f8e3faf194bff8ddbb418d61fbd44565018a5004760

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp311-cp311-macosx_14_0_arm64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp310-cp310-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp310-cp310-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 18eb34097d9e747d9d2b2b1f6c4e3d21b787a51a4f50489da9f94938eba245ac
MD5 72e63f1096dcb406ec4ed1c4721e18ab
BLAKE2b-256 0a5897cf1763766a704fadde660d5108d90e5f295031e3ea8fae5bcc9dc54bea

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp310-cp310-musllinux_1_2_x86_64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp310-cp310-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp310-cp310-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 f1150ed66176a52f11921e25f26e8e04737da6343779248088c9e1b1538a7308
MD5 bcf9edea98fff7090f34643e360edacd
BLAKE2b-256 d867876589a9a16cb0137f618f2aea5bef6e34107fb0020b2d36c71a485a9b8c

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp310-cp310-musllinux_1_2_aarch64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp310-cp310-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp310-cp310-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 f772ae18e07fa5277145aeac264b025c4e51af4b2d2f9a6777191414af208081
MD5 f315b7d2caef908a50f45d85e422d43c
BLAKE2b-256 3121bc0222234c71491ca055de0c65272e9b192363e4e9a203ddaa6697c8c229

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp310-cp310-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp310-cp310-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp310-cp310-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 519ba927de8db6e28a6b5997f42a1b135d5a561299e4ecb9f9e0acd51f3b6657
MD5 36e158afb275a7e70f5d0531f41bdaeb
BLAKE2b-256 e9258433dd0df6f0e49603ee51978fdf641ae81fd08a9d7284c3f8f1208d73c9

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp310-cp310-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp310-cp310-macosx_15_0_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp310-cp310-macosx_15_0_x86_64.whl
Algorithm Hash digest
SHA256 71fbf610aaaf1a3ad8159c4ea65224e3d6a8893de8183c75fcb089d69af55e55
MD5 4fb61c09b6c8c85fba3aab9810cd67b3
BLAKE2b-256 63bc93fb758d5c2529e32f709d1a4817d2fd43d928b53380ca33527d3d132ae0

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp310-cp310-macosx_15_0_x86_64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp310-cp310-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp310-cp310-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 6308cbdc7e749b72997f37f5f61ecf2884f991c4e607bdb1eff9e47ef7ecb034
MD5 257e2736b13cbf011a1121057738eaa8
BLAKE2b-256 b96f89226e3b13152f2eda90623c1233261370da98a301e6a85bc7eed3d0dbde

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp310-cp310-macosx_14_0_arm64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp39-cp39-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp39-cp39-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 b48b2ec90f173bcbf730d5a43ac40adf667acb2c2d177a372268b7bd063f77b3
MD5 20d759d7c70564db37233ecc9fd8d060
BLAKE2b-256 a93abd3ab5b45e18ad4b1f009ef5ffecf0a791e59367b8d72a4417c7de4c2726

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp39-cp39-musllinux_1_2_x86_64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp39-cp39-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp39-cp39-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 eca8f2d80fdf15d4d71692384f9d2eae1257d45f88faab84d7c67643a2fe599a
MD5 e0a142618abc453f45f1f368a9739291
BLAKE2b-256 2ee608eaa25d369fa45f841fd74a338aa90494a9f0f476702b16bfaf3f1b59f7

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp39-cp39-musllinux_1_2_aarch64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp39-cp39-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp39-cp39-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 5f5f9f82f35135c390222c6c4d22cb5ec5801e6c994e2a1877814be135250c35
MD5 d518690db897ee9330ffdee0e4260208
BLAKE2b-256 b2ad39b36e731e701547d19c1dd321f0d88d4ce76b0a9b19545632ec7d4606a7

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp39-cp39-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp39-cp39-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp39-cp39-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 7d51c1e8aa7676e84eeb8f13cff69bd81c319f229c94774482b9f2662465ca05
MD5 660458b65e057c1fe120b43371f4217a
BLAKE2b-256 09aec81b511c8c7f704d285b3c9d6fa5ac0d39b589c0a5eeb157aba76aec04f4

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp39-cp39-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp39-cp39-macosx_15_0_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp39-cp39-macosx_15_0_x86_64.whl
Algorithm Hash digest
SHA256 184e266569a473dcb3f6006da3372baaf2a9ed1256753c1106f62cdac1b8b26c
MD5 605ab3a263cc742dd0f4920a93baeab3
BLAKE2b-256 0c91c1c6d73fc113f1e760909e8a1f05f9c0a205b3610eef625cfb6d2183fce6

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp39-cp39-macosx_15_0_x86_64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

File details

Details for the file sdfgen-0.35.0-cp39-cp39-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for sdfgen-0.35.0-cp39-cp39-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 4bef862db8738936713ff19f6ab060fa42e5ccaf068b7b86763109aa0fdf7bcf
MD5 deef5923d5613bdc15d66047cb619cc9
BLAKE2b-256 38c5b8445dded3ca0618c75192bcfdebcba8bef31b512caba09462bbfe4c25a9

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.35.0-cp39-cp39-macosx_14_0_arm64.whl:

Publisher: pysdfgen.yml on au-ts/microkit_sdf_gen

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

Release history Release notifications | RSS feed

This release

0.35.0 This release

36 files

0.34.0

36 files

0.33.0

24 files

0.32.0

24 files

0.31.0

24 files

0.30.1

24 files

0.30.0

24 files

0.29.0

24 files

0.28.1

24 files

0.28.0

24 files

0.27.0

20 files

0.26.3

20 files

0.26.2

20 files

0.26.1

20 files

0.26.0

20 files

0.25.0

20 files

0.24.0

20 files

0.23.1

20 files

0.23.0

20 files

0.22.0

20 files

0.21.0

20 files

0.20.0

20 files

0.19.1

20 files

0.19.0

20 files

0.18.0

20 files

0.17.0

20 files

0.16.1

20 files

0.16.0

20 files

0.15.1

20 files

0.15.0

20 files

0.14.0

20 files

0.13.5

20 files

0.13.4

20 files

0.13.3

20 files

0.13.2

20 files

0.13.1

20 files

0.13.0

20 files

0.12.2

20 files

0.12.1

20 files

0.12.0

20 files

0.11.0

20 files

0.10.0

20 files

0.9.1

20 files

0.9.0

20 files

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page