You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
TypedPython 3: ship compiled modules through the pypackpack native/mixed slot #25
Hand the Cython output of M2 to pypackpack's Cython backend slot (native/mixed build level) so the compiled extension lands in the app bundle. Desktop is required. Android arm64 is included if pypackpack's NDK backend is in place. iOS is excluded unless the Xcode backend is, because those backends are placeholders today.
Dependency
pypackpack: who defines the slot's interface is still open (raised to the maintainer). This repository only supplies the sources and build flags.
Done when
The sample app, built from the bundle on desktop, imports the compiled module, the in-app speedup is measured, and the GIL and free-threaded flavours are not mixed up (pypackpack path key, still undecided).
Step 1 landed in develop via #372: python -m typedpython emit-c and the manifest (format version 1, docs/design/typedpython.md 4.3.2a). Step 2 (Gradle task mapping the manifest to BundleRequest.nativeModules / notNativeModules) is next for the Gradle-plugin owner. pypackpack develop c81ed5f: ExtensionCompiler.kt has the data types and ExtensionCompilerInterface only, no implementation.
Activity
Merge pull request #372 from thisisthepy/feat/tp-emit-c
b-re-w commentedon Nov 5, 2026
Step 1 landed in develop via #372: python -m typedpython emit-c and the manifest (format version 1, docs/design/typedpython.md 4.3.2a). Step 2 (Gradle task mapping the manifest to BundleRequest.nativeModules / notNativeModules) is next for the Gradle-plugin owner. pypackpack develop c81ed5f: ExtensionCompiler.kt has the data types and ExtensionCompilerInterface only, no implementation.
Merge pull request #373 from thisisthepy/feat/tp-emit-c-gradle
Merge pull request #374 from thisisthepy/feat/tp-emit-c-plugin-wiring