Kiln — WebAssembly runtime for safety-critical systems. Full Component Model and WASI 0.2 support. Part of the PulseEngine toolchain.
-
Updated
Sep 1, 2026 - Rust
#
pulseengine
Here are 21 public repositories matching this topic...
Meld — Static WebAssembly component fusion. Part of the PulseEngine toolchain.
-
Updated
Aug 19, 2026 - Rust
Pokeys comp for LinuxCnc using https://bitbucket.org/mbosnak/pokeyslib.git
hal cnc linuxcnc motion-control pokeys pulseengine io-controller pokeys57e pokeyslib linuxcnc-component linuxcnc-hal linuxcnc-pokeys homecomp cnc-homing pokeys-comp
-
Updated
Feb 2, 2026 - C
Loom — Formally verified WebAssembly optimizer. Part of the PulseEngine toolchain.
-
Updated
Aug 28, 2026 - Rust
Rust framework for building Model Context Protocol servers and clients. Published to crates.io.
-
Updated
Aug 30, 2026 - Rust
Synth — WebAssembly-to-native compiler for ARM Cortex-M/R (Thumb-2/A32), RISC-V RV32, and AArch64, with mechanized Rocq correctness proofs, per-compilation translation validation, and sound WCET bounds. Part of the PulseEngine toolchain.
-
Updated
Aug 31, 2026 - Rust
Bazel rules for WebAssembly Component Model development with multi-profile builds and dependency management
-
Updated
Aug 31, 2026 - Starlark
WebAssembly Component Model examples using rules_wasm_component with Bazel (C, C++, Rust, WASI-NN)
-
Updated
Apr 6, 2026 - Rust
Temper — GitHub App that hardens repositories to organizational standards
-
Updated
May 10, 2026 - JavaScript
TimeDate MCP Server — time and date operations with timezone support, built with PulseEngine MCP framework
-
Updated
May 10, 2026 - Rust
Thrum — Gate-based pipeline orchestrator for autonomous AI-driven development
-
Updated
Mar 10, 2026 - Rust
Bazel rules for Verus SMT-backed Rust verification
-
Updated
Apr 21, 2026 - Rust
Proposed WASI API for Model Context Protocol, targeting WASI 0.3 standardization
-
Updated
Mar 1, 2026 - Starlark
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.
-
Updated
May 25, 2026 - Rust
Bazel rules for MoonBit with hermetic toolchain support
-
Updated
Mar 2, 2026 - Starlark
Template repository for creating MCP servers with the PulseEngine MCP framework
-
Updated
May 10, 2026 - JavaScript
MoonBit Checksum Updater - Native MoonBit implementation for checksum management
-
Updated
May 10, 2026 - MoonBit
Universal file operations for Bazel build systems via WebAssembly components
-
Updated
May 10, 2026 - MDX
🔧 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
rust cli npm mcp studio pipeline-management ai-assistant model-context-protocol pulseengine windriver
-
Updated
Oct 3, 2025 - Rust
Bazel rules for Rocq theorem proving and rocq-of-rust integration with hermetic Nix toolchains
-
Updated
Jul 22, 2026 - Starlark
Add this topic to your repo
To associate your repository with the pulseengine topic, visit your repo's landing page and select "manage topics."