Nix workflow tools for cross-compilation, CI, deployment, and upgrades over heterogeneous, unreliable infrastructure.
Radar signal processing (with CUDA via Accelerate), target detection, and real-time visualization.
sUAS controls and mission planning.
Comprehensively tested (i.e. thoroughly QuickCheck'd/SmallCheck'd) implementations of industrial hardware interface protocols like CAN, CANopen, MAVLink, etc., as well as internally developed protocols.
High-reliability systems for performing health checks and over-the-air firmware upgrades of embedded systems deployed in remote environments.
A library of low-latency, high-throughput video processing components, used for performing image stabilization, object detection, and transcoding in real time on streaming video.
TUI debugging tools built with brick.