Avionics team repository of the UAV-ART project
☆21Aug 18, 2022Updated 4 years ago
Alternatives and similar repositories for UAV-ART
Users that are interested in UAV-ART are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This repository keeps all the data used for the article "RocketPy: A Six Degree-of-freedom launch vehicle trajectory simulator"☆30Oct 30, 2022Updated 4 years ago
- ArduPilot AI Playbooks☆19Updated this week
- A curated list of aerospace/space related data and code resources for a community of independent hackers dedicated to furthering humanity…☆53Dec 15, 2017Updated 8 years ago
- Dataset and Simulator for the NASA ULI Project☆15Jun 7, 2022Updated 4 years ago
- Mission Planner Plugin for displaying low latency video NOT in the HUD☆11Jul 9, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A fork of PegasusSimulator, adding ArduPilot backend support☆16Oct 26, 2024Updated 2 years ago
- Resources for analyzing aircraft structures for aerospace engineers☆51Mar 15, 2020Updated 6 years ago
- A Python implementation of the Apollo Entry Guidance algorithm used by NASA's MSL spacecraft☆60Aug 27, 2021Updated 5 years ago
- Infrastructure-free Multidimensional Scaling (MDS) for drones swarm localization. Performances comparison with trilateration algorithm☆17Sep 22, 2023Updated 3 years ago
- PINNAir: Physics-Informed Neural Network for Multirotor Slung Load Systems Modeling☆35Aug 16, 2024Updated 2 years ago
- The ultimate electric propulsion modeling and optimization module.☆32Jun 21, 2021Updated 5 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 8 years ago
- ESP32-CAM Video Recorder for Rockets with sensors for Altitude, Temperature, Acceleration☆33Sep 12, 2022Updated 4 years ago
- Architectural Framework For Integrated Refinement Modeling☆11May 30, 2017Updated 9 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.
- klibc Verification with Frama-C and WP☆11May 5, 2014Updated 12 years ago
- Machine.Learning.Rainfall.Prediction Using Linear Regression☆30Dec 3, 2020Updated 5 years ago
- Tower backend and Ivory board support package for the STM32 line of microcontrollers☆12Feb 20, 2024Updated 2 years ago
- Eagle files and other CAD files for the rocket avionics.☆25Jul 17, 2015Updated 11 years ago
- ☆18Mar 17, 2025Updated last year
- Educational Vibration programs. Intended for undergraduate and early graduate students.☆123Jul 15, 2021Updated 5 years ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Apr 6, 2021Updated 5 years ago
- Flight Dynamics Project - UAV☆12Aug 13, 2026Updated 2 months ago
- An all in one airfoil modelling, meshing, analysis, and optimization tool with built in support for gmsh, SU2, and xfoil☆56Jun 17, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Modified Mälardalen WCET benchmarks, annoted with instruction timing☆10Jun 12, 2019Updated 7 years ago
- SE3 pose lib uses JPL quaternion representing rotation. Headers only.☆14Oct 25, 2018Updated 8 years ago
- This cFS app is called Diagnostic Reasoner (DR), and as the name implies, it will diagnose a system of interest. That is, it will do faul…☆12Jul 1, 2020Updated 6 years ago
- A formal proof of LaSalle's invariance principle☆12Feb 3, 2026Updated 9 months ago
- Ada library and tools for the analysis of Complex Networks and more☆11Nov 16, 2023Updated 2 years ago
- A multi agent multi arena car simulator oriented towards Reinforcement Learning with simultaneous multi instance spawning capability☆20Apr 28, 2019Updated 7 years ago
- AADL models for the Crazyflie UAV -- OMSCS Class CS7639☆11Mar 22, 2020Updated 6 years ago
- Robot navigation algorithms implemented in SPARK☆12Sep 19, 2014Updated 12 years ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 10 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.
- ☆15Apr 26, 2021Updated 5 years ago
- ☆11Feb 19, 2016Updated 10 years ago
- High-Level Fixed Wing UAV Simulator☆21Apr 25, 2020Updated 6 years ago
- 目标是分析Modbus TCP协议，对B-L475E-IOT01A STM32源代码进行了分析，理解其MQTT、Modbus协议通信工作原理。☆11Mar 20, 2018Updated 8 years ago
- Generation of mutant programs☆20Oct 31, 2018Updated 8 years ago
- SpaceLab Organization Info☆27Mar 10, 2022Updated 4 years ago
- DSVerifier - Digital Systems Verifier☆11Feb 22, 2019Updated 7 years ago