Repositories list

• spar

  Public
  AADL v2.3 toolchain in Rust — parser, analysis, and WASM component integration

  aadlwcetsysml2

  aadlwcetsysml2

  Rust

  •

  MIT License

  •00 forks•00 stars•22 issues•22 pull requests•Updated Apr 28, 2026Apr 28, 2026

• rivet

  Public
  Rivet — SDLC traceability for safety-critical systems. Schema-driven artifact management, validation, and lifecycle linking. Part of the PulseEngine toolchain.

  Rust

  •00 forks•22 stars•1515 issues•99 pull requests•Updated Apr 28, 2026Apr 28, 2026

• witness

  Public
  MC/DC-style branch coverage for WebAssembly components

  Rust

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 28, 2026Apr 28, 2026

• synth

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

  rustarmembedded+ 4

  rustarmembeddedcompilerwebassemblyformal-verificationpulseengine

  Rust

  •

  Apache License 2.0

  •00 forks•00 stars•1111 issues•33 pull requests•Updated Apr 28, 2026Apr 28, 2026

• meld

  Public

  pulseengine/meld’s past year of commit activity
  Meld — Static WebAssembly component fusion. Part of the PulseEngine toolchain.

  rustwebassemblyfusion+ 3

  rustwebassemblyfusionformal-verificationcomponent-modelpulseengine

  Rust

  •

  Apache License 2.0

  •00 forks•44 stars•33 issues•11 pull request•Updated Apr 28, 2026Apr 28, 2026

• sigil

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

  rustwebassemblyslsa+ 3

  rustwebassemblyslsasupply-chain-securitysigstorepulseengine

  Rust

  •00 forks•00 stars•55 issues•22 pull requests•Updated Apr 28, 2026Apr 28, 2026

• pulseengine.eu

  Public
  The formally verified WebAssembly Component Model engine for safety-critical systems — org website and blog

  JavaScript

  •00 forks•00 stars•55 issues•11 pull request•Updated Apr 28, 2026Apr 28, 2026

• gale

  Public

  pulseengine/gale’s past year of commit activity
  Gale — Formally verified Rust port of Zephyr RTOS kernel primitives. ASIL-D targeted, dual-track verification: Verus (SMT/Z3) + Rocq (theorem proving). Part of …

  Rust

  •

  Apache License 2.0

  •00 forks•00 stars•55 issues•00 pull requests•Updated Apr 28, 2026Apr 28, 2026

• temper

  Public
  Temper — GitHub App that hardens repositories to organizational standards

  rustrepository-managementgithub-app+ 1

  rustrepository-managementgithub-apppulseengine

  JavaScript

  •00 forks•00 stars•00 issues•22 pull requests•Updated Apr 28, 2026Apr 28, 2026

• rules_wasm_component

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

  toolchainrustwebassembly+ 3

  toolchainrustwebassemblybazelcomponent-modelpulseengine

  Starlark

  •

  Apache License 2.0

  •00 forks•11 star•88 issues•99 pull requests•Updated Apr 27, 2026Apr 27, 2026

• wit-bindgen

  Public
  A language binding generator for WebAssembly interface types

  Rust

  •

  Apache License 2.0

  •270270 forks•00 stars•00 issues•00 pull requests•Updated Apr 25, 2026Apr 25, 2026

• rules_lean

  Public
  Bazel rules for Lean 4 and Mathlib

  Starlark

  •00 forks•11 star•22 issues•11 pull request•Updated Apr 22, 2026Apr 22, 2026

• zephyr

  Public
  Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

  C

  •

  Apache License 2.0

  •9.1k9.1k forks•00 stars•00 issues•00 pull requests•Updated Apr 22, 2026Apr 22, 2026

• bazel-file-ops-component

  Public
  Universal file operations for Bazel build systems via WebAssembly components

  webassemblybazelfile-operations+ 1

  webassemblybazelfile-operationspulseengine

  MDX

  •

  Other

  •00 forks•00 stars•33 issues•1010 pull requests•Updated Apr 21, 2026Apr 21, 2026

• relay

  Public
  Formally verified flight software components for WebAssembly. Relay routes.

  Rust

  •00 forks•00 stars•88 issues•00 pull requests•Updated Apr 21, 2026Apr 21, 2026

• rules_verus

  Public
  Bazel rules for Verus SMT-backed Rust verification

  toolchainrustbazel+ 3

  toolchainrustbazelformal-verificationveruspulseengine

  Rust

  •00 forks•00 stars•33 issues•11 pull request•Updated Apr 21, 2026Apr 21, 2026

• kiln

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

  rustembeddedruntime+ 5

  rustembeddedruntimewebassemblyno-stdwasicomponent-modelpulseengine

  Rust

  •

  MIT License

  •11 fork•44 stars•1919 issues•55 pull requests•Updated Apr 20, 2026Apr 20, 2026

• loom

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

  rustwebassemblyoptimizer+ 4

  rustwebassemblyoptimizerformal-verificationislecraneliftpulseengine

  Rust

  •

  Apache License 2.0

  •00 forks•33 stars•1111 issues•22 pull requests•Updated Apr 20, 2026Apr 20, 2026

• wohl

  Public
  Home supervision system built on PulseEngine. Wohl wahrt.

  Rust

  •00 forks•00 stars•11 issue•00 pull requests•Updated Apr 14, 2026Apr 14, 2026

• template-mcp-server

  Public template
  Template repository for creating MCP servers with the PulseEngine MCP framework

  rusttemplatemcp+ 1

  rusttemplatemcppulseengine

  JavaScript

  •

  MIT License

  •00 forks•00 stars•00 issues•11 pull request•Updated Apr 13, 2026Apr 13, 2026

• wasmtime

  Public
  A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

  Rust

  •

  Apache License 2.0

  •1.7k1.7k forks•00 stars•00 issues•00 pull requests•Updated Apr 7, 2026Apr 7, 2026

• rowan

  Public
  Rust

  •

  Apache License 2.0

  •8080 forks•00 stars•00 issues•00 pull requests•Updated Apr 6, 2026Apr 6, 2026

• wasm-component-examples

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

  exampleswebassemblybazel+ 2

  exampleswebassemblybazelcomponent-modelpulseengine

  Rust

  •

  Apache License 2.0

  •00 forks•00 stars•11 issue•00 pull requests•Updated Apr 6, 2026Apr 6, 2026

• rules_rocq_rust

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

  toolchainrusttheorem-proving+ 4

  toolchainrusttheorem-provingbazelformal-verificationrocqpulseengine

  Starlark

  •

  Other

  •00 forks•00 stars•22 issues•11 pull request•Updated Apr 3, 2026Apr 3, 2026

• picolibc

  Public
  picolibc - a C library designed for embedded 32- and 64- bit systems.

  C

  •

  GNU General Public License v2.0

  •261261 forks•00 stars•00 issues•00 pull requests•Updated Apr 1, 2026Apr 1, 2026

• mcp

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

  rustframeworkmcp+ 2

  rustframeworkmcpmodel-context-protocolpulseengine

  Rust

  •

  Apache License 2.0

  •00 forks•11 star•2323 issues•00 pull requests•Updated Mar 29, 2026Mar 29, 2026

• .github

  Public
  00 forks•00 stars•00 issues•11 pull request•Updated Mar 15, 2026Mar 15, 2026

• thrum

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

  rustautomationpipeline+ 2

  rustautomationpipelineai-developmentpulseengine

  Rust

  •00 forks•00 stars•11 issue•22 pull requests•Updated Mar 10, 2026Mar 10, 2026

• bazel-central-registry

  Public
  The central registry of Bazel modules for the Bzlmod external dependency system.

  Starlark

  •

  Apache License 2.0

  •743743 forks•00 stars•00 issues•00 pull requests•Updated Mar 9, 2026Mar 9, 2026

• rules_moonbit

  Public
  Bazel rules for MoonBit with hermetic toolchain support

  toolchainbazelmoonbit+ 1

  toolchainbazelmoonbitpulseengine

  Starlark

  •

  Apache License 2.0

  •00 forks•00 stars•11 issue•00 pull requests•Updated Mar 2, 2026Mar 2, 2026