Projects in Awesome Lists by pulseengine
A curated list of projects in awesome lists by pulseengine .
https://github.com/pulseengine/meld
Meld — Static WebAssembly component fusion. Part of the PulseEngine toolchain.
component-model formal-verification fusion pulseengine rust webassembly
Last synced: 29 Apr 2026
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.
component-model embedded no-std pulseengine runtime rust wasi webassembly
Last synced: 30 Apr 2026
https://github.com/pulseengine/rivet
Rivet — SDLC traceability for safety-critical systems. Schema-driven artifact management, validation, and lifecycle linking. Part of the PulseEngine toolchain.
Last synced: 22 May 2026
https://github.com/pulseengine/rules_wasm_component
Bazel rules for WebAssembly Component Model development with multi-profile builds and dependency management
bazel component-model pulseengine rust toolchain webassembly
Last synced: 20 Apr 2026
https://github.com/pulseengine/loom
Loom — Formally verified WebAssembly optimizer. Part of the PulseEngine toolchain.
Last synced: 12 Mar 2026
https://github.com/pulseengine/synth
Synth — WebAssembly component synthesizer for ARM Cortex-M and RISC-V. Part of the PulseEngine toolchain.
arm bazel compiler embedded formal-verification rocq webassembly
Last synced: 30 May 2026
https://github.com/pulseengine/pulseengine.eu
The formally verified WebAssembly Component Model engine for safety-critical systems — org website and blog
Last synced: 12 Mar 2026
https://github.com/pulseengine/rules_moonbit
Bazel rules for MoonBit with hermetic toolchain support
bazel moonbit pulseengine toolchain
Last synced: 12 Mar 2026
https://github.com/pulseengine/thrum
Thrum — Gate-based pipeline orchestrator for autonomous AI-driven development
ai-development automation pipeline pulseengine rust
Last synced: 12 Mar 2026
https://github.com/pulseengine/template-mcp-server
Template repository for creating MCP servers with the PulseEngine MCP framework
Last synced: 12 Mar 2026
https://github.com/pulseengine/temper
Temper — GitHub App that hardens repositories to organizational standards
github-app pulseengine repository-management rust
Last synced: 12 Mar 2026
https://github.com/pulseengine/wasi-mcp
Proposed WASI API for Model Context Protocol, targeting WASI 0.3 standardization
mcp model-context-protocol pulseengine wasi webassembly wit
Last synced: 12 Mar 2026
https://github.com/pulseengine/rules_rocq_rust
Bazel rules for Rocq theorem proving and rocq-of-rust integration with hermetic Nix toolchains
bazel formal-verification pulseengine rocq rust theorem-proving toolchain
Last synced: 12 Mar 2026
https://github.com/pulseengine/rules_verus
Bazel rules for Verus SMT-backed Rust verification
Last synced: 12 Mar 2026
https://github.com/pulseengine/bazel-file-ops-component
Universal file operations for Bazel build systems via WebAssembly components
bazel file-operations pulseengine webassembly
Last synced: 12 Mar 2026
https://github.com/pulseengine/moonbit_checksum_updater
MoonBit Checksum Updater - Native MoonBit implementation for checksum management
Last synced: 12 Mar 2026
https://github.com/pulseengine/wasm-component-examples
WebAssembly Component Model examples using rules_wasm_component with Bazel (C, C++, Rust, WASI-NN)
Last synced: 12 Mar 2026
https://github.com/pulseengine/sigil
Sigil — Supply chain security for WebAssembly. Embedded signatures, Sigstore keyless signing, SLSA provenance. Part of the PulseEngine toolchain.
pulseengine rust sigstore slsa supply-chain-security webassembly
Last synced: 01 Apr 2026
https://github.com/pulseengine/spar
AADL v2.2 toolchain in Rust — parser, analysis, and WASM component integration
Last synced: 30 Apr 2026
https://github.com/pulseengine/timedate-mcp
TimeDate MCP Server - A Model Context Protocol server for time and date operations with timezone support
Last synced: 12 Jan 2026
https://github.com/pulseengine/witness
MC/DC-style branch coverage for WebAssembly components
Last synced: 13 May 2026
https://github.com/pulseengine/relay
Formally verified flight software components for WebAssembly. Relay routes.
Last synced: 24 May 2026
https://github.com/pulseengine/studio-mcp
🔧 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
ai-assistant cli mcp model-context-protocol npm pipeline-management pulseengine rust studio windriver
Last synced: 20 Jan 2026
https://github.com/pulseengine/glsp-mcp
AI-native graphical modeling platform with WebAssembly component architecture. Features MCP (Model Context Protocol) integration for seamless AI agent interaction, real-time diagram editing, and WASM-based ADAS (Advanced Driver Assistance Systems) component ecosystem. Built with Rust backend and TypeScript frontend.
Last synced: 20 Jan 2026