Flight stack for an unmanned fixed-wing weather glider.
☆16Oct 17, 2017Updated 8 years ago
Alternatives and similar repositories for StratoX
Users that are interested in StratoX are comparing it to the libraries listed below
Sorting:
- This Is Indian Country - Spring 2018 Instance☆12Apr 30, 2018Updated 7 years ago
- ☆35Sep 25, 2018Updated 7 years ago
- ☆19Apr 7, 2024Updated last year
- Open Platform for Autonomous VEhicle Systems☆22Dec 20, 2017Updated 8 years ago
- AADL models for the Crazyflie UAV -- OMSCS Class CS7639☆11Mar 22, 2020Updated 5 years ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Apr 6, 2021Updated 4 years ago
- A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.☆14Sep 25, 2019Updated 6 years ago
- An Ada binding generator from SVD descriptions for bare board ARM devices.☆70Feb 13, 2025Updated last year
- A flight software framework in SPARK/Ada☆56Nov 17, 2025Updated 3 months ago
- Simulations work for the Underactuated Lightweight Tensegrity Robotic Assistive Spine. This repository includes code for the kinematics, …☆12Jan 11, 2019Updated 7 years ago
- ☆29Oct 14, 2017Updated 8 years ago
- This project requires custom hardware. Schematics are included as a Fritzing file. Uses ePIR to detect motion. Emails a list of people wh…☆27May 18, 2016Updated 9 years ago
- Collection of basic math routines in Ada☆27Oct 31, 2022Updated 3 years ago
- How to make ANY PTZ VISCA carema to autotrack human speaker on boring conferences☆15Nov 21, 2024Updated last year
- Code base for Orpheus☆10Jun 1, 2022Updated 3 years ago
- Moved here: https://gitlab.com/librehealth/incubating-projects/mhbs/mHBS-trainer☆10Apr 15, 2020Updated 5 years ago
- ☆10Sep 26, 2023Updated 2 years ago
- Russian phonetical transcription☆11Nov 19, 2025Updated 3 months ago
- CU InSpace's avionics software☆11Sep 17, 2023Updated 2 years ago
- Amperka ROS robot.☆12Aug 22, 2022Updated 3 years ago
- GPU-based Monte Carlo simulation package for PET☆11Oct 3, 2020Updated 5 years ago
- Configuration Scripts and Settings for our Freifunk Firmware.☆16Dec 12, 2025Updated 2 months ago
- IVOA UWS service command line client☆11Jan 31, 2020Updated 6 years ago
- ☆12Nov 8, 2023Updated 2 years ago
- Complete software package for the Iris Lunar Rover (CMU).☆16Feb 23, 2026Updated last week
- Простейшая VGA-видеокарта на Atmega168-20.☆10Apr 4, 2020Updated 5 years ago
- Studica Open Source ROS for VMX☆10Jan 12, 2022Updated 4 years ago
- This is a program that reads in vehicle dynamics data from CSV files and outputs them into useful charts to help analyze data.☆13Dec 18, 2023Updated 2 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 7 years ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 9 years ago
- Collection of workspaces for FME☆13Aug 21, 2014Updated 11 years ago
- A c# library that provides the ability to extract text from various document file formats, e.g. pdf, docx, ppt, etc...☆12Aug 5, 2025Updated 7 months ago
- Python Workshops by CSE@UIUC☆10Apr 25, 2017Updated 8 years ago
- Erlang interface for controlling Unix processes☆15May 28, 2023Updated 2 years ago
- esphomelib is a framework for using your ESP8266/ESP32 devices with Home Assistant☆15Dec 15, 2018Updated 7 years ago
- A public repository of Cal-Adapt documentation and scripts☆11May 22, 2023Updated 2 years ago
- FIFO cache implementation in Erlang☆10Mar 28, 2016Updated 9 years ago
- This repository contains the research project that enables the robot to automatically join a group based on the modeled personal, social …☆11Nov 4, 2018Updated 7 years ago
- socks/HTTP proxy routing requests☆13Feb 9, 2018Updated 8 years ago