# Nupp Enhancement Proposals A Nupp Enhancement Proposal records why a part of Nupp is shaped the way it is: the problem, the design that answered it, what that design looks like in source and what it lowers to, and the designs that lost. It does not describe how Nupp behaves today, and the rest of this site wins wherever the two disagree. See [NEP 1](0001-nep-process.md) for how to write one. A proposal is published by existing: the table below is generated from the files in this directory, one row per proposal carrying its number, its title, and the status its own frontmatter declares. | # | Title | Status | | --- | --- | --- | | 1 | [Nupp Enhancement Proposal process](docs/neps/0001-nep-process.md) | Active | | 2 | [Gradual typing and the strictness floor](docs/neps/0002-gradual-typing.md) | Implemented | | 3 | [Comptime, type functions, and derives](docs/neps/0003-comptime.md) | Implemented | | 4 | [Ownership](docs/neps/0004-ownership.md) | Implemented | | 5 | [Suspension](docs/neps/0005-suspension.md) | Implemented | | 6 | [Hot reload](docs/neps/0006-hot-reload.md) | Implemented | | 7 | [Modules and lazy loading](docs/neps/0007-modules-and-lazy-loading.md) | Implemented | | 8 | [C interoperation and embedding](docs/neps/0008-c-interop-and-embedding.md) | Implemented | | 9 | [Ahead-of-time compilation](docs/neps/0009-ahead-of-time-compilation.md) | Implemented | | 10 | [Structure-of-arrays storage](docs/neps/0010-structure-of-arrays.md) | Implemented | | 11 | [SIMD](docs/neps/0011-simd.md) | Implemented | | 12 | [Annotated Lua interoperation and migration](docs/neps/0012-annotated-lua-interop.md) | Implemented | | 13 | [Lua-in-Wasm AOT](docs/neps/0013-lua-in-wasm-aot.md) | Implemented | | 14 | [Schema-driven serialization and deserialization](docs/neps/0014-schema-driven-serde.md) | Implemented | | 15 | [Portable compiler and Lua-in-Wasm host](docs/neps/0015-portable-compiler-wasm-host.md) | Implemented | | 16 | [Structured worker tasks](docs/neps/0016-structured-worker-tasks.md) | Implemented | | 17 | [Typed variadic iterators](docs/neps/0017-typed-variadic-iterators.md) | Implemented | | 18 | [Application task scopes](docs/neps/0018-application-task-scopes.md) | Implemented | | 19 | [Portable time](docs/neps/0019-portable-time.md) | Implemented | | 20 | [Shared immutable byte regions](docs/neps/0020-shared-immutable-byte-regions.md) | Implemented | | 21 | [Transferable owned buffers](docs/neps/0021-transferable-owned-buffers.md) | Implemented | | 22 | [Const monomorphization](docs/neps/0022-const-monomorphization.md) | Implemented | | 23 | [Structured GPU workgroup phases](docs/neps/0023-structured-workgroup-phases.md) | Implemented | | 24 | [WebGPU backend for browser builds](docs/neps/0024-webgpu-backend.md) | Implemented | | 25 | [Embedded static AOT profiles](docs/neps/0025-embedded-static-aot-profiles.md) | Implemented | | 26 | [Rust-native WGPU provider](docs/neps/0026-rust-native-wgpu.md) | Implemented | | 27 | [Portable physical storage and ordinary I/O](docs/neps/0027-portable-physical-storage.md) | Implemented | | 28 | [Fetch the stage-zero compiler from a published release](docs/neps/0028-fetched-stage-zero.md) | Implemented | | 29 | [Typed events with reusable storage](docs/neps/0029-typed-events.md) | Implemented | | 30 | [Filesystem watching in the standard library](docs/neps/0030-filesystem-watching.md) | Accepted | | 31 | [Admit a kernel's guards by what they mean](docs/neps/0031-relational-guard-proofs.md) | Implemented |