tum-ei-rcs / StratoXLinks
Flight stack for an unmanned fixed-wing weather glider.
☆14Updated 7 years ago
Alternatives and similar repositories for StratoX
Users that are interested in StratoX are comparing it to the libraries listed below
Sorting:
- ☆34Updated 6 years ago
- Open Platform for Autonomous VEhicle Systems☆21Updated 7 years ago
- GNATcoverage: Coverage Analysis Tool☆42Updated last week
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆70Updated 3 years ago
- Source repository for the GNAT Bare Metal BSPs☆67Updated 2 weeks ago
- A flight software framework in SPARK/Ada☆52Updated 7 months ago
- Ada Bar Codes: bar code (1D and 2D) generator in pure Ada☆16Updated 4 months ago
- ☆19Updated last year
- Ada Embedded Network Stack