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

Kiln — WebAssembly runtime for safety-critical systems. Full Component Model and WASI 0.2 support. Part of the PulseEngine toolchain.

Meld — Static WebAssembly component fusion. Part of the PulseEngine toolchain.

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

Loom — Formally verified WebAssembly optimizer. Part of the PulseEngine toolchain.

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

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

Synth — WebAssembly component synthesizer for ARM Cortex-M and RISC-V. Part of the PulseEngine toolchain.

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

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

Temper — GitHub App that hardens repositories to organizational standards

Sigil — Supply chain security for WebAssembly. Embedded signatures, Sigstore keyless signing, SLSA provenance. Part of the PulseEngine toolchain.

MoonBit Checksum Updater - Native MoonBit implementation for checksum management

Universal file operations for Bazel build systems via WebAssembly components

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

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

Bazel rules for MoonBit with hermetic toolchain support

Template repository for creating MCP servers with the PulseEngine MCP framework

🔧 WindRiver Studio MCP Server - A Model Context Protocol server providing AI assistants with access to WindRiver Studio CLI functionality, focusing on Pipeline Management (PLM) features

Bazel rules for Verus SMT-backed Rust verification