https://github.com/pulseengine/kiln
Kiln — WebAssembly runtime for safety-critical systems. Full Component Model and WASI 0.2 support. Part of the PulseEngine toolchain.
https://github.com/pulseengine/kiln
component-model embedded no-std pulseengine runtime rust wasi webassembly
Last synced: about 1 month ago
JSON representation
Kiln — WebAssembly runtime for safety-critical systems. Full Component Model and WASI 0.2 support. Part of the PulseEngine toolchain.
- Host: GitHub
- URL: https://github.com/pulseengine/kiln
- Owner: pulseengine
- License: mit
- Created: 2025-03-14T10:10:08.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2026-04-13T00:35:19.000Z (2 months ago)
- Last Synced: 2026-04-13T02:24:51.522Z (2 months ago)
- Topics: component-model, embedded, no-std, pulseengine, runtime, rust, wasi, webassembly
- Language: Rust
- Homepage: https://pulseengine.github.io/wrt/
- Size: 22.9 MB
- Stars: 4
- Watchers: 1
- Forks: 1
- Open Issues: 17
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
- Codeowners: .github/CODEOWNERS
- Agents: AGENTS.md
Awesome Lists containing this project
README
# Kiln
WebAssembly runtime for safety-critical systems
[](https://github.com/pulseengine/kiln/actions/workflows/ci.yml)
Meld
·
Loom
·
Synth
·
Kiln
·
Sigil
Meld fuses. Loom weaves. Synth transpiles. Kiln fires. Sigil seals.
A Rust implementation of a WebAssembly runtime with full Component Model and WASI 0.2 support. Designed for safety-critical embedded systems with bounded allocations, deterministic execution, and a modular `no_std` architecture for automotive, medical, and aerospace environments.
Kiln bridges the gap between WebAssembly's portability and the strict requirements of safety-critical deployment. It runs on everything from cloud servers to bare-metal Cortex-M targets.
## Quick Start
```bash
# Clone and build
git clone https://github.com/pulseengine/kiln
cd kiln
cargo build --bin kilnd --features "std,kiln-execution"
# Run a WebAssembly component
./target/debug/kilnd your_component.wasm --component
```
## Architecture
- **`kilnd/`** — Runtime daemon (main executable)
- **`kiln-runtime/`** — Execution engine
- **`kiln-component/`** — Component Model support
- **`kiln-decoder/`** — Binary format parsing
- **`kiln-foundation/`** — Core types and bounded collections
- **`cargo-kiln/`** — Build tooling
## Usage
```bash
# Basic component execution
kilnd component.wasm --component
# With WASI support
kilnd component.wasm --component --wasi
# Set resource limits
kilnd component.wasm --component --fuel 100000 --memory 1048576
```
## Building
```bash
# Install build tool (optional but recommended)
cargo install --path cargo-kiln
# Build runtime
cargo build --bin kilnd --features "std,kiln-execution"
# Run tests
cargo test --workspace
```
## Current Status
**Early Development** — Basic WebAssembly component execution is working:
```bash
./target/debug/kilnd hello_rust.wasm --component
# Output: Hello wasm component world from Rust!
```
### Working
- WebAssembly Component Model parsing and instantiation
- WASI 0.2 stdout/stderr output (`wasi:cli/stdout`, `wasi:io/streams`)
- Core WebAssembly module execution
- Basic memory management with bounds checking
- `no_std` compatible foundation
### In Progress
- Additional WASI 0.2 interfaces (filesystem, environment)
- Cross-component function calls
- Full Component Model linking
## Formal Verification
> [!NOTE]
> **Cross-cutting verification** — Rocq mechanized proofs, Kani bounded model checking, Z3 SMT verification, and Verus Rust verification are used across the PulseEngine toolchain. Sigil attestation chains bind it all together.
## License
MIT License — see [LICENSE](LICENSE).
---
Part of PulseEngine — formally verified WebAssembly toolchain for safety-critical systems