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/rules_lean
Bazel rules for Lean 4 and Mathlib
Last synced: 15 Jun 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/ordeal
Ordeal — a pure-Rust, certificate-checked QF_BV SMT solver for the PulseEngine toolchain. Untrusted solver + formally-verified LRAT checker (CompCert pattern), wasm32-wasip2-native. Part of the PulseEngine toolchain.
Last synced: 03 Jul 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/spar
A compiler for system-architecture models — ingests AADL v2.3, SysML v2 & CAN/DBC into one semantic model; emits safety analysis, TSN timing bounds, and verified WASM/Lean/Bazel artifacts. Rust, WASM-native.
aadl compiler mbse network-calculus real-time rust safety-critical sysml2 tsn wcet webassembly
Last synced: 01 Jul 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/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/agora
Real-time agent-coordination substrate — named agents coordinate on channels, every message a typed/signed/traceable fact. Augments the issue loop. WCM + NATS.
Last synced: 30 Jun 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/witness
MC/DC-style branch coverage for WebAssembly components
Last synced: 13 May 2026
https://github.com/pulseengine/wohl
Home supervision system built on PulseEngine. Wohl wahrt.
Last synced: 15 Jun 2026
https://github.com/pulseengine/jess
jess — hardware-integration & release-watch hub: brings falcon drone software onto hardware (HIL vs relay sim → real drone → flight). Tracked with rivet.
Last synced: 15 Jun 2026
https://github.com/pulseengine/example-kvs
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.
aadl eclipse-score iso-26262 mbse pulseengine rivet safety-critical spar wasm-component wit
Last synced: 15 Jun 2026
https://github.com/pulseengine/relay
Formally verified flight software components for WebAssembly. Relay routes.
Last synced: 02 Jul 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/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
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