Hacker News new | ask | show | jobs
SMACCMPilot: open-source UAV autopilot using high-assurance software methods (smaccmpilot.org)
2 points by shangaslammi 4609 days ago