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.

Loom — Formally verified WebAssembly optimizer. 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.

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

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

🔧 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

Temper — GitHub App that hardens repositories to organizational standards

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)

Universal file operations for Bazel build systems via WebAssembly components

MoonBit Checksum Updater - Native MoonBit implementation for checksum management

Template repository for creating MCP servers with the PulseEngine MCP framework

Bazel rules for MoonBit with hermetic toolchain support

Bazel rules for Verus SMT-backed Rust verification

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 Rocq theorem proving and rocq-of-rust integration with hermetic Nix toolchains