pulseengine

Kiln — WebAssembly interpreter and runtime for safety-critical systems. Component Model and WASI 0.2, with a no_std path for embedded. Part of PulseEngine.

Meld — static WebAssembly component fusion. Part of PulseEngine, the WebAssembly Component Model engine.

Pokeys comp for LinuxCnc using https://bitbucket.org/mbosnak/pokeyslib.git

Loom — WebAssembly optimizer; every rewrite is checked by per-run SMT translation validation. Part of PulseEngine, the WebAssembly Component Model engine.

Synth — transcodes WebAssembly to native ARM Cortex-M/R (Thumb-2/A32), RISC-V RV32 and AArch64 via program synthesis, with mechanized Rocq correctness proofs, per-compilation translation validation, and sound WCET bounds. Part of PulseEngine.

Rust framework for building Model Context Protocol servers and clients. Published to crates.io.

Bazel rules for WebAssembly Component Model development with multi-profile builds and dependency management

Sigil — supply-chain security for WebAssembly. Embedded signatures, Sigstore keyless signing, SLSA provenance. Part of PulseEngine.

TimeDate MCP Server — time and date operations with timezone support, built with PulseEngine MCP framework

Thrum — Gate-based pipeline orchestrator for autonomous AI-driven development

WebAssembly Component Model examples using rules_wasm_component with Bazel (C, C++, Rust, WASI-NN)

MoonBit Checksum Updater - Native MoonBit implementation for checksum management

Universal file operations for Bazel build systems via WebAssembly components

Temper — GitHub App that hardens repositories to organizational standards

Bazel rules for MoonBit with hermetic toolchain support

Template repository for creating MCP servers with the PulseEngine MCP framework

Proposed WASI API for Model Context Protocol, targeting WASI 0.3 standardization

Eclipse-score persistency::kvs through the full pulseengine stack — rivet typed artifacts + spar AADL + WIT contract + witness MC/DC harness + sigil release manifest + artifact-driven verification gate. Not affiliated with Eclipse Foundation.

Bazel rules for Verus SMT-backed Rust verification

Bazel rules for Rocq theorem proving and rocq-of-rust integration with hermetic Nix toolchains