Virtual cockpit for UAVs
☆12Feb 13, 2017Updated 9 years ago
Alternatives and similar repositories for mavigator
Users that are interested in mavigator are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Nov 2, 2024Updated last year
- An OpenFlow implementation for the NetFPGA-10G card☆19Feb 18, 2015Updated 11 years ago
- Spark Library for Bulk Loading into Cassandra☆12Apr 18, 2018Updated 8 years ago
- A Rust flight control system, derived from CleanFlight☆16Jun 18, 2020Updated 6 years ago
- 基于ThinkPHP 3.2.3 的在线教育系统☆14Aug 8, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆12Sep 15, 2019Updated 6 years ago
- Focal + Redux = ❤️☆17Jul 2, 2017Updated 9 years ago
- Graphite integration for Kafka☆15Jun 5, 2018Updated 8 years ago
- Implementation of Hamcrest for JSL.☆12Feb 6, 2023Updated 3 years ago
- Unofficial IntelliJ plugin for Mozilla's UniFFI Definition Language (UDL)☆14Feb 9, 2026Updated 5 months ago
- A scala.js library for creating visualizations using SVG☆22Apr 20, 2016Updated 10 years ago
- export org to github issue☆12May 31, 2019Updated 7 years ago
- Durable monad for Scala with workflow engine☆22May 18, 2026Updated 2 months ago
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆32Sep 9, 2025Updated 10 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ESC firmware for brushless motors in multirotors☆32Jun 9, 2023Updated 3 years ago
- Scalafix Rewrites for Scala☆10Oct 5, 2021Updated 4 years ago
- prototyping logic programming in Scala☆42Mar 25, 2022Updated 4 years ago
- Arduino Datalogger with GUI☆13Dec 30, 2018Updated 7 years ago
- Decoding Raymarine's ARCHIVE.FSH files, Garmin's IMG/ADM archives and the TRK subfiles.☆10Oct 22, 2019Updated 6 years ago
- A ransomware generator written in C# WPF, using the RC4 encryption algorithm, will generate C++11 code and C# code☆11Jan 15, 2024Updated 2 years ago
- ☆12Dec 15, 2021Updated 4 years ago
- Code Review for JetBrains MPS providing integration with Bitbucket☆16Apr 8, 2023Updated 3 years ago
- Node server plugin that embeds node red☆12May 24, 2026Updated 2 months 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.
- Visual odometry based on Intel® RealSense™ devices☆52Oct 24, 2019Updated 6 years ago
- Generates sample data from Joi schema☆12Mar 13, 2018Updated 8 years ago
- Electron + Total.js + Flow☆11Mar 22, 2024Updated 2 years ago
- An open source sonar stream gauge designed to give early warning of flood conditions to residents in vulnerable areas.☆19Mar 3, 2018Updated 8 years ago
- Brave personal data store vault.☆19Nov 22, 2016Updated 9 years ago
- an experimental Scala extension of Jar Jar Links☆40Updated this week
- Digital caliper reading with Arduino☆18Dec 30, 2018Updated 7 years ago
- Hardware in the loop tools for PX4 Firmware☆41Jan 16, 2020Updated 6 years ago
- The Open edX platform, the software that powers Lagunita!☆42Oct 21, 2019Updated 6 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.
- The API and mavlink corpus server.☆13May 19, 2016Updated 10 years ago
- Experiments with some ways of automating reasoning in lean 4☆19Apr 20, 2024Updated 2 years ago
- PX4/APM flight log plotter☆54Apr 15, 2020Updated 6 years ago
- Replication files for the March 2, 2015 Barron's story "The Little Guy Wins!," measuring market makers' trade execution quality.☆13Mar 12, 2015Updated 11 years ago
- Low power Arduino thermometer☆11Jun 2, 2018Updated 8 years ago
- Signal K Website☆13Apr 23, 2026Updated 3 months ago
- ☆18May 2, 2018Updated 8 years ago