Component · version 1.131.1
pulseengine:falcon-flight
Formally-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.
InstallCLIACP
Add this component to your project:
component install pulseengine:falcon-flight@1.131.1Learn more about the component CLI.
Run this component without installing it:
component run pulseengine:falcon-flight@1.131.1Learn more about the component CLI.
Ask your AI assistant to install it for you:
pulseengine:falcon-flight@1.131.1Read more about Agent Client Protocol support.
Imports
I
wasi:io/poll 0.2.9
IA poll API intended to let users wait for I/O events on multiple handles
at once.
wasi:clocks/monotonic-clock 0.2.9
IWASI Monotonic Clock is a clock API intended to let users measure elapsed
time.
wasi:io/error 0.2.9
Iwasi:io/streams 0.2.9
IWASI I/O is an I/O abstraction API which is currently focused on providing
stream types.
wasi:cli/stdout 0.2.9
Iwasi:cli/stderr 0.2.9
Iwasi:cli/stdin 0.2.9
Iwasi:cli/environment 0.2.9
Iwasi:cli/exit 0.2.9
Iwasi:cli/terminal-input 0.2.9
ITerminal input.
wasi:cli/terminal-output 0.2.9
ITerminal output.
wasi:cli/terminal-stdin 0.2.9
IAn interface providing an optional `terminal-input` for stdin as a
link-time authority.
wasi:cli/terminal-stdout 0.2.9
IAn interface providing an optional `terminal-output` for stdout as a
link-time authority.
wasi:cli/terminal-stderr 0.2.9
An interface providing an optional `terminal-output` for stderr as a
link-time authority.
Metadata
| Size | 104.3 KiB |
| Range | 0x0000–0x01A152 |
| Processed By | wit-componentv0.246.2 |