Flight stack for an unmanned fixed-wing weather glider.
☆17Oct 17, 2017Updated 9 years ago
Alternatives and similar repositories for StratoX
Users that are interested in StratoX are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Open Platform for Autonomous VEhicle Systems☆22Dec 20, 2017Updated 8 years ago
- ☆38Sep 25, 2018Updated 8 years ago
- This Is Indian Country - Spring 2018 Instance☆12Apr 30, 2018Updated 8 years ago
- ☆20Apr 7, 2024Updated 2 years ago
- AADL models for the Crazyflie UAV -- OMSCS Class CS7639☆11Mar 22, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Minimal Ada VT100 API library. [when one doesn't need full ncurses...]☆12Jul 2, 2015Updated 11 years ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Apr 6, 2021Updated 5 years ago
- Ada projects for Make-with-Ada☆13Feb 18, 2026Updated 8 months ago
- A flight software framework in SPARK/Ada☆64Nov 17, 2025Updated 11 months ago
- The demonstration project of usage of recompiled Zephyr SDK toolchain with enabled Ada lang☆11Jul 28, 2022Updated 4 years ago
- Source repository for the GNAT Bare Metal BSPs☆72Updated this week
- Ada-Bindings for FUSE☆12Jan 6, 2021Updated 5 years ago
- ☆13Oct 26, 2026Updated last week
- A small batch processing utlity☆12Jan 21, 2022Updated 4 years ago
- 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.
- Qt5 COVID-19 simulator. Ada code under the hood. 🤯☆10Oct 29, 2020Updated 6 years ago
- An ECAD design tool for complex schematics and layouts☆13Updated this week
- experimental YAML implementation in Ada☆50Mar 5, 2026Updated 8 months ago
- A cryptographic framework, proven for correctness in SPARK☆16Dec 16, 2024Updated last year
- A mini cheat sheet for SPARK 2014 beginners in LaTeX☆10Dec 6, 2017Updated 8 years ago
- Arduino library for the Micro:Gamer console☆12Jan 29, 2019Updated 7 years ago
- Garbage collection for Ada☆15Jan 15, 2023Updated 3 years ago
- Leo code snippets☆13Apr 27, 2020Updated 6 years ago
- ☆14May 9, 2019Updated 7 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A collection of useful uses of GPT (and other LLMs), organized as examples☆16May 18, 2023Updated 3 years ago
- Tool for building a Linux package from an Alire crate☆13Updated this week
- lightweight property graph as javascript module☆19Sep 5, 2024Updated 2 years ago
- A simple BDD library for OCaml☆13May 20, 2025Updated last year
- Blaz: a library for frugal matrix computations. Blaz provides compression/uncompression functions for matrices of floating-point numbers …☆11Apr 5, 2023Updated 3 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 8 years ago
- Experimental functional language☆17Dec 24, 2025Updated 10 months ago
- Minimalistic language for defining HTTP(s) and Websocket APIs☆23Feb 11, 2022Updated 4 years ago
- Formally verified, bounded-stack XML library☆24May 26, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- An LSP server for ReStructuredText, as implemented by Sphinx (under development)☆15Jan 11, 2023Updated 3 years ago
- Convert a cmi file back to an mli interface☆20Jan 18, 2015Updated 11 years ago
- ImpFS, a new filesystem.☆22Feb 6, 2022Updated 4 years ago
- An Incremental City Builder☆13Mar 15, 2018Updated 8 years ago
- TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus☆22Dec 14, 2021Updated 4 years ago
- Some useful libraries to work with `js_of_ocaml`☆13Sep 20, 2024Updated 2 years ago
- Architectural Framework For Integrated Refinement Modeling☆11May 30, 2017Updated 9 years ago