Modular Autopilot for Unmanned Aerial Vehicles
☆12Aug 22, 2025Updated 9 months ago
Alternatives and similar repositories for uavAP
Users that are interested in uavAP are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Qt 无线电监控软件☆13Dec 25, 2019Updated 6 years ago
- Framework for autonomous precision landing of Unmanned Aerial Vehicles☆20Dec 19, 2021Updated 4 years ago
- Examples of software defined radio code. [RTLSDR]☆21Jan 23, 2013Updated 13 years ago
- Send or receive data by SDR using OFDM modulation☆29Mar 21, 2023Updated 3 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 7 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Deep Reinforcement Learning tool that places Unmanned Aerial Vehicles☆17Aug 29, 2022Updated 3 years ago
- Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs☆28Mar 21, 2023Updated 3 years ago
- ☆16Mar 17, 2025Updated last year
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆12Sep 22, 2022Updated 3 years ago
- SE3 pose lib uses JPL quaternion representing rotation. Headers only.☆14Oct 25, 2018Updated 7 years ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 10 years ago
- Complete software package for the Iris Lunar Rover (CMU).☆16Feb 23, 2026Updated 3 months ago
- 目标是分析Modbus TCP协议，对B-L475E-IOT01A STM32源代码进行了分析，理解其MQTT、Modbus协议通信工作原理。☆11Mar 20, 2018Updated 8 years ago
- Simple serial control of iRobot Create 2 Roomba vacuum cleaner from Raspberry Pi.☆11Jun 13, 2017Updated 8 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- AADL models for the Crazyflie UAV -- OMSCS Class CS7639☆11Mar 22, 2020Updated 6 years ago
- ☆15Apr 26, 2021Updated 5 years ago
- Library for Drone Autonomy☆11Nov 12, 2017Updated 8 years ago
- OSAL free operating system abstraction for embedded systems. Supports pthreads, freertos, chibios, coocox, bertos and more... RTOS☆14Dec 27, 2013Updated 12 years ago
- Generation of mutant programs☆20Oct 31, 2018Updated 7 years ago
- Project in which an MPC controller using both state feedback and output feedback with disturbance rejection is design for the attitude dy…☆13Jul 3, 2024Updated last year
- a python package for PX4 ecl ekf analysis☆13Jun 12, 2025Updated 11 months ago
- My completely self developed Quadcopter Software based on mbed project from ARM. (see mbed.org, LPC1768)☆13Apr 18, 2016Updated 10 years ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Mar 11, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Sireum: A High Assurance System Engineering Platform☆26May 20, 2026Updated last week
- ☆17Jul 29, 2020Updated 5 years ago
- SE3 Controller for Quadrotor UAV. (Lee et al. 2010)☆16Nov 6, 2015Updated 10 years ago
- Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers☆13Feb 12, 2020Updated 6 years ago
- Automated Analysis Framework for Simulink/Stateflow☆15Jul 25, 2023Updated 2 years ago
- Code for the paper Auto-tuning of model-based feedforward controller by feedback control signal in ultraprecision motion systems☆16Sep 28, 2020Updated 5 years ago
- Implementation of sliding mode controllers and differentiator of Matlab☆15Nov 15, 2016Updated 9 years ago
- Robotics with Ada, ARM, and Lego☆17Feb 10, 2024Updated 2 years ago
- A crate built on top of `axum-sessions`, implementing the CSRF Synchronizer Token Pattern☆15May 19, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- demo for par_camera_control.h☆11Nov 22, 2022Updated 3 years ago
- HTTP client with middleware. Middleware provides composable support for record/replay, logging, exponential backoff, and more.☆13Jun 5, 2025Updated 11 months ago
- System identification toolkit for multistep prediction using deep learning and hybrid methods.☆19Sep 25, 2025Updated 8 months ago
- SPARK Proof Analysis Tool☆18Oct 19, 2020Updated 5 years ago
- Modeling and Simulation Project☆12Apr 6, 2021Updated 5 years ago
- JPL's IMCE ontologies for Model-Based Systems Engineering☆20Feb 18, 2020Updated 6 years ago
- ROS package for model reference adaptive control☆15Nov 16, 2017Updated 8 years ago