Wasm Directoryalpha

pulseengine

6 packages

pulseengine:falcon-attitudeComponent1.131.1Formally-verified geometric SO(3) attitude controller as a WebAssembly Component — attitude setpoint + vehicle state → body-rate setpoint.
pulseengine:falcon-flightComponent1.131.1Formally-verified drone flight core (invariant-EKF estimator → geometric SE(3) attitude control → ADRC → mixer) as a portable WebAssembly Component. Runs the same cascade that is Kani/Verus/Rocq/Lean-verified natively and bare-metal on Cortex-M.
pulseengine:falcon-iekfComponent1.131.1Formally-verified invariant-EKF (SE₂(3)) navigation estimator as a WebAssembly Component — fuses IMU/GNSS/mag/baro into a 16-state attitude/velocity/position/bias estimate.
pulseengine:falcon-mixerComponent1.131.1Formally-verified control allocator (mixer) as a WebAssembly Component — body torque + thrust → per-motor commands (airframe-parameterizable).
pulseengine:falcon-rateComponent1.131.1Formally-verified body-rate PID controller as a WebAssembly Component — body-rate setpoint + gyro → body torque. Airframe-agnostic; part of the falcon:cascade control loop.
pulseengine:gale-nanoComponent0.8.0