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:
Newer release available (0.35.0)

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.34.0-cp314-cp314-musllinux_1_2_x86_64.whl (4.7 MB view details)

Uploaded CPython 3.14musllinux: musl 1.2+ x86-64

sdfgen-0.34.0-cp314-cp314-musllinux_1_2_aarch64.whl (4.3 MB view details)

Uploaded CPython 3.14musllinux: musl 1.2+ ARM64

sdfgen-0.34.0-cp314-cp314-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl (4.7 MB view details)

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

sdfgen-0.34.0-cp314-cp314-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl (4.3 MB view details)

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

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

Uploaded CPython 3.14macOS 15.0+ x86-64

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

Uploaded CPython 3.14macOS 14.0+ ARM64

sdfgen-0.34.0-cp313-cp313-musllinux_1_2_x86_64.whl (4.7 MB view details)

Uploaded CPython 3.13musllinux: musl 1.2+ x86-64

sdfgen-0.34.0-cp313-cp313-musllinux_1_2_aarch64.whl (4.3 MB view details)

Uploaded CPython 3.13musllinux: musl 1.2+ ARM64

sdfgen-0.34.0-cp313-cp313-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl (4.7 MB view details)

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

sdfgen-0.34.0-cp313-cp313-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl (4.3 MB view details)

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

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

Uploaded CPython 3.13macOS 15.0+ x86-64

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

Uploaded CPython 3.13macOS 14.0+ ARM64

sdfgen-0.34.0-cp312-cp312-musllinux_1_2_x86_64.whl (4.7 MB view details)

Uploaded CPython 3.12musllinux: musl 1.2+ x86-64

sdfgen-0.34.0-cp312-cp312-musllinux_1_2_aarch64.whl (4.3 MB view details)

Uploaded CPython 3.12musllinux: musl 1.2+ ARM64

sdfgen-0.34.0-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl (4.7 MB view details)

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

sdfgen-0.34.0-cp312-cp312-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl (4.3 MB view details)

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

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

Uploaded CPython 3.12macOS 15.0+ x86-64

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

Uploaded CPython 3.12macOS 14.0+ ARM64

sdfgen-0.34.0-cp311-cp311-musllinux_1_2_x86_64.whl (4.7 MB view details)

Uploaded CPython 3.11musllinux: musl 1.2+ x86-64

sdfgen-0.34.0-cp311-cp311-musllinux_1_2_aarch64.whl (4.3 MB view details)

Uploaded CPython 3.11musllinux: musl 1.2+ ARM64

sdfgen-0.34.0-cp311-cp311-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl (4.7 MB view details)

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

sdfgen-0.34.0-cp311-cp311-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl (4.3 MB view details)

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

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

Uploaded CPython 3.11macOS 15.0+ x86-64

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

Uploaded CPython 3.11macOS 14.0+ ARM64

sdfgen-0.34.0-cp310-cp310-musllinux_1_2_x86_64.whl (4.7 MB view details)

Uploaded CPython 3.10musllinux: musl 1.2+ x86-64

sdfgen-0.34.0-cp310-cp310-musllinux_1_2_aarch64.whl (4.3 MB view details)

Uploaded CPython 3.10musllinux: musl 1.2+ ARM64

sdfgen-0.34.0-cp310-cp310-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl (4.7 MB view details)

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

sdfgen-0.34.0-cp310-cp310-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl (4.3 MB view details)

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

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

Uploaded CPython 3.10macOS 15.0+ x86-64

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

Uploaded CPython 3.10macOS 14.0+ ARM64

sdfgen-0.34.0-cp39-cp39-musllinux_1_2_x86_64.whl (4.7 MB view details)

Uploaded CPython 3.9musllinux: musl 1.2+ x86-64

sdfgen-0.34.0-cp39-cp39-musllinux_1_2_aarch64.whl (4.3 MB view details)

Uploaded CPython 3.9musllinux: musl 1.2+ ARM64

sdfgen-0.34.0-cp39-cp39-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl (4.7 MB view details)

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

sdfgen-0.34.0-cp39-cp39-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl (4.3 MB view details)

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

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

Uploaded CPython 3.9macOS 15.0+ x86-64

sdfgen-0.34.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.34.0-cp314-cp314-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp314-cp314-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 4f52fce5d7ad1e15ef1d9ba27f2bf44640fc677c88bbcf886915991fd1096af1
MD5 2b7ad6939569b2df5be20311605c8689
BLAKE2b-256 6e9ec1ed13f25595ceec5813efa1de4cc8ea9ae5418ae764a40ad7a38ea41659

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp314-cp314-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp314-cp314-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 b7a6f4cac8e58382456f3d05012d020ade424a9c2904b0e267c7109460b936cc
MD5 0b57d1776a4700a376a40795e713dbca
BLAKE2b-256 4fa704a0a04ab8e3c03d252c40cf2edc83009bafa3a5b7366283d6f3400c997e

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp314-cp314-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp314-cp314-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 c288d8ccfafc71301e8d2b9de76d2cc599d5e53fc5f6e7d62fd78927fa3f8f56
MD5 a87fddcc8d44a1c0c1a07d63869d02b8
BLAKE2b-256 0a760ade2161bac0aacef2fe35d251ef34d9194a54d4657d26c4b60948caa636

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp314-cp314-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp314-cp314-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 d5801823ac1a5f23c9b2b06bf3d2f2269a94164ae9148c7e24967828a4d38c7b
MD5 6a7929712230321884a59621f9a3245e
BLAKE2b-256 59df17c0647a5b30dff443e974f9eebb2a669defddc9589f9dcf9a86fc7f1505

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp314-cp314-macosx_15_0_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp314-cp314-macosx_15_0_x86_64.whl
Algorithm Hash digest
SHA256 a3c8f0c2775046c5c497e2d61d39c1c317a6ca937f7c97e5fd83a40014f3f595
MD5 cc08dbff8f491f2931fbc74085c081d7
BLAKE2b-256 f80a3d5b73fffe4a54044bcb33d3ac6b1323d69007292dc8d7e3f0404b75a5ec

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp314-cp314-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp314-cp314-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 458eff5627ec5b76f432b160881c07b15652d56be5f319a1344a6f3669b212bc
MD5 e4eed27103a60c476d1fe7dcff772cfa
BLAKE2b-256 1b5b8ca83924083825b48b7f818a5669736a42202da1ba5c2b11940f496120ee

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp313-cp313-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp313-cp313-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 ab20e398fb441b995fc0e8534e65caaa104e1473803fd3837e4521306b3a6f49
MD5 8addd8b9895de0c7fa46072564456d42
BLAKE2b-256 8658b5c90a2c5e093738ff6f3c2ace766b2b56c791f95fc2eda215033032eca8

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp313-cp313-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp313-cp313-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 8be0be5810546ff4e8b388812af376836ef45fd6a7c0c5fdf7122ca3e0333295
MD5 64471d3f34c2479b561fd0bb2981b126
BLAKE2b-256 12c90f8e1822ae8a80e6bb34529a92822d4699641b056842fcd528b33c369992

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp313-cp313-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp313-cp313-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 2f4755b84052e612b79c0f831e2e8fce22b61e4dab3473859748c5c45ff9bfd8
MD5 ee34ee1c26f703f80253c3acab1c0283
BLAKE2b-256 b6632e8e74685d96b1ff713313b5df2fc58007a8b390688a93b91dce6912285c

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp313-cp313-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp313-cp313-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 4aa0f364241342c5c57ccca700e3ac10e56a0ee53c1c3604bbe5482bb1507d07
MD5 431daeab9c8cca7513d9b934d496b0a5
BLAKE2b-256 3baa359b73333b804b5e2cf2203f0719942e914daa7887f1beacbbeb892112cc

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp313-cp313-macosx_15_0_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp313-cp313-macosx_15_0_x86_64.whl
Algorithm Hash digest
SHA256 3f694442043d1293a4e106e9f7eb3aae43989ddd524fee456bc00f76cf03fb61
MD5 a15719d02cd3014ada3e81452c8e9b25
BLAKE2b-256 2d67513f952f85f2c7258f5cab922c183da8487c15e3daedce1552401b705168

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp313-cp313-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp313-cp313-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 42b66f9b105b7100e288e410d209fd3cf39d8f4a83361845ec7529fd3ee16d42
MD5 56781395804f5df814663f5c0560c190
BLAKE2b-256 a7de6e3213583f4518f5fdd68737ec4d17f9a6aaf2dd6f41fcb1ef4c15596508

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp312-cp312-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp312-cp312-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 eabe4dd1beeb533717d3c8ff732e65fcae770f957c95d18d5227059371df38d8
MD5 0b1c3e1804062673e328c2ebfe26f962
BLAKE2b-256 171c2f7014ab7285f87c212e07edb6ba9e3f2a1cae06d0da6e142c3ff72ecea8

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp312-cp312-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp312-cp312-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 dd0c36f3b7c8ec928ab5e7724e46cee210d319b30ae89c5fafb1e00e229ea180
MD5 4650aa1e48b41057febb59febac12edb
BLAKE2b-256 d7ca240ef05580089908e01bd4fedff84ee6d8979ad44d35b6bf64037a41794c

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 bc297b06ced218e373bb15cf8be744a6aae1c0c4a26eae5294a8621c315144d0
MD5 2e800c787048521cf02b988e6b41ca74
BLAKE2b-256 696f9a9f867ec5dfbc2e1d151a66106a77b9f9f4e0be48ce95a4aed0acf3b6b1

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp312-cp312-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp312-cp312-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 c8e973b4e267ab361f824829ff3ba45bd1834ebf0701b839c2d25038d0417cbf
MD5 039c720d9d9776cafaaba7781ee649be
BLAKE2b-256 d629d5a0f857790092c65480509176fc246ff21c1de13a0f801245cc7731dfc3

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp312-cp312-macosx_15_0_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp312-cp312-macosx_15_0_x86_64.whl
Algorithm Hash digest
SHA256 21d3b2dd87be23fed50f1a95908cd0e52a1d0436997d77f54c738273b2539c78
MD5 2fa6cb1dc3ae396da6fa83aef3c80555
BLAKE2b-256 11d0d29203bcbe08138718ca2750058f7fe4b1c0978d97f965e58be44a7e99c3

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp312-cp312-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp312-cp312-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 612bf6cae0233284b801e4f4b8a1896b47e3e1d634562ce0b0f21c439c791e8d
MD5 a81501c30acf79385dbfe3a4bacd4287
BLAKE2b-256 94dab52d5d97e5a6b5d6a00c28be2a5380c9c18d95cfdf08b0f7fe843f22dd95

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp311-cp311-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 b892df0561f6f348200141626c563f9888741f87f9891da4730059ca7f0dc09d
MD5 be73f544d21ad15abcafffbb239a2c14
BLAKE2b-256 9e4ead16ef9c5abe7081eeae749ef4e21bdc8e8625e715eedaf2c67e88c74030

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp311-cp311-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp311-cp311-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 915d5e09a15db03600523cb182a20d45a2a3163a2f789901de2fec3e662087e4
MD5 76b712a713cba74fe84b226315fb35fe
BLAKE2b-256 2de35381bd747d5bf0b9ce3e65d67135f06c88931e3c168e3e4ebaa82ef91e77

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp311-cp311-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp311-cp311-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 2724166d4430087426da0367a493f2c89f086dc343298feef0447627f8d1e683
MD5 49d2f63025a20368dd86b6524f7f731a
BLAKE2b-256 452031fe7d6ebb209b74484fa2bd7c06fdc3c2a667448553904676f88dc9804d

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp311-cp311-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp311-cp311-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 a8cafcb99c4779d1537bcacf7d0995ca2fa2dff4da56f933ebd6cfacff53e812
MD5 c2429666bbb86845167493b5c4ce3305
BLAKE2b-256 425d3b5b4dcc1d9039a4df06866577d91e7780b281c1820389b42ea822450f84

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp311-cp311-macosx_15_0_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp311-cp311-macosx_15_0_x86_64.whl
Algorithm Hash digest
SHA256 ad5f631d216ed63473fe07fe8644a2af13cdae7c5ad86b8a3b1143ca15eb804c
MD5 77efa4941691c10ce70895c391669825
BLAKE2b-256 56e1ea944d255fecf1829bc9b7ab730257cce23ea8b5b68dd60e9e13a63bc08f

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp311-cp311-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp311-cp311-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 1068dc05ce3604be02b200f5df145e83b8322ea1dc4030ed5aa4f74858623ddc
MD5 3ba3a621e9c7f7b0183449db67a337f5
BLAKE2b-256 a01e1788319af8dce2df946cec6c46df64954a324aa8073a51c5bc4ed075f93b

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp310-cp310-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp310-cp310-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 304a68e2c79d7e0c51c550d940830817c66f0a7a78930ee0b5723742ef38e968
MD5 72d43ac5899c2ed74c8936578ec6a0e8
BLAKE2b-256 32f0d6bd71c87447945d0241243c67106546753edda53fc77e3a8fcb27d34a36

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp310-cp310-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp310-cp310-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 6a8a4e8d0daa611bf9267ca84431c0732c6295d6a817e360ddd9928a2a64da8d
MD5 29f08814f2eb23bd4b579634a309c7b6
BLAKE2b-256 f36b8ea7b3e56f23cc4204bd3bc17436ef8691f80a36576eb85515a41751514e

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp310-cp310-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp310-cp310-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 59385be7a70c23ae02b41593a485f125ad48949bbf4d0452b9750bccbac1bbad
MD5 4d13a8fdeed217605d158af3816deef7
BLAKE2b-256 78bfb7e73a046ac593ac42130ab2b315be421c675f38d361905b03dc45c41da8

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp310-cp310-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp310-cp310-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 d0d340a49fa66299fc7151ee4987ca7ff2b48abbeefac7bda513e12469765dec
MD5 12cf5b73448aa0592d3351ce3e689901
BLAKE2b-256 5bc763cef1442ca265e9b1397a07842e5bda17247f8d650978745bf8e276f11c

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp310-cp310-macosx_15_0_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp310-cp310-macosx_15_0_x86_64.whl
Algorithm Hash digest
SHA256 cf28885df6c80e85de4cb3c21d89e3e76c0a2396a12d3092b67d11eb7977efb5
MD5 a9decaa4f9bb12f1e071d502c51d7620
BLAKE2b-256 d51cbcff5a2d4e024db8eefe624857d4838c0939683ca22d3cb1fa0c4f57a207

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp310-cp310-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp310-cp310-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 fc8925126ef5675ab4d403a2055680a0807d02e0ed85c7bf81c02464631e14be
MD5 fcf38eb851a03b08f2fe7fd91c684156
BLAKE2b-256 c221b6e8ea3e79b88cc1a236834a66018339428870080c2ce71c5ad5202bb93a

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp39-cp39-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp39-cp39-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 a0bd1ff5d60a1ad19e49c3a38d56f84a3b9ed03b9d9e8467f23ea529417fa342
MD5 cee2ab412a9a73b33da302d06b9bd75d
BLAKE2b-256 65be97d34ebb2ae8a00b658161865b7b860b8f91784466f2f124faf38b9a9160

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp39-cp39-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp39-cp39-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 e1e7ead8678f2888474a19b8287dfbb091cb9467a9e6a5acf5c4dc1e9b02cd05
MD5 0b722b653d95c35cff8501f5d52bfc4f
BLAKE2b-256 2f366250a673ecc3da064b7b64460a379a58d26da74344df106d3fb8f1a17556

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp39-cp39-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp39-cp39-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 0016bc03b77a88aa2005067dc7632e272e2343a97d1392785d823be15e1d213d
MD5 e6fc393a6a99ce44970a45f9dbe3474e
BLAKE2b-256 e6a910dc835bafbca9a40ead85249a8a49328be5749f3a246648f2ca41e8fc14

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp39-cp39-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp39-cp39-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 e9d355cb822a7eaab9eb060b69db06f04da83fe061eb233cf7fde3fceb0be5b9
MD5 4ff4922e6a1d2261982c7092bbdd6661
BLAKE2b-256 f0d37452399c07eb7b44b6318cbdb05c96510419a9cc7b5fe3084d5a8a6b95ed

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp39-cp39-macosx_15_0_x86_64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp39-cp39-macosx_15_0_x86_64.whl
Algorithm Hash digest
SHA256 492f98fe1e7b779c30119119cefecc7d7956264a7271aef20cf2d4aea99c8e9d
MD5 640608bfdb4513d6b9df538d1c6eb8e3
BLAKE2b-256 87ee636999390d32206a91decb82d7528a67e0fde2b7d29cef93b35f0f5a20e6

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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.34.0-cp39-cp39-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for sdfgen-0.34.0-cp39-cp39-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 d9696700e08b29759e4a1dc558ba76abf69ab7c209af9d3f93d52f5139d3983b
MD5 40558a9d297c18cfb9c93f81dc050387
BLAKE2b-256 314403fd465906f8abcc9b95fc52aa67c3b5e413d8e1673d649041138b9cf207

See more details on using hashes here.

Provenance

The following attestation bundles were made for sdfgen-0.34.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

0.35.0

36 files

This release

0.34.0 This release

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