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
Sorting:
- ☆12Nov 2, 2024Updated last year
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆32Sep 9, 2025Updated 5 months ago
- A scala.js library for creating visualizations using SVG☆22Apr 20, 2016Updated 9 years ago
- Implementation of Hamcrest for JSL.☆12Feb 6, 2023Updated 3 years ago
- ESC firmware for brushless motors in multirotors☆30Jun 9, 2023Updated 2 years ago
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- an experimental Scala extension of Jar Jar Links☆38Feb 23, 2026Updated last week
- prototyping logic programming in Scala☆42Mar 25, 2022Updated 3 years ago
- ICD - Interface Control Document Management☆13Sep 7, 2025Updated 5 months ago
- Type class derivation for services, not data☆38Feb 10, 2025Updated last year
- Node server plugin that embeds node red☆12Feb 21, 2026Updated last week
- ☆10Mar 6, 2015Updated 10 years ago
- Electron + Total.js + Flow☆11Mar 22, 2024Updated last year
- VMWare Horizon Client Flatpak☆10Jan 17, 2023Updated 3 years ago
- A demo showing some of what is possible with OpenTelemetry and the Typelevel stack☆10May 18, 2024Updated last year
- Provides the STM32F429I-Discovery board driver, part of the STM32Cube BSP Component for STM32F4 series.☆13Dec 26, 2023Updated 2 years ago
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- Decoding Raymarine's ARCHIVE.FSH files, Garmin's IMG/ADM archives and the TRK subfiles.☆10Oct 22, 2019Updated 6 years ago
- ☆13Updated this week
- ☆10Jun 9, 2016Updated 9 years ago
- newtype and refinement (refined) type for Scala 3☆14Feb 25, 2026Updated last week
- My solutions for "Operating Systems: three easy pieces" projects☆11Sep 14, 2023Updated 2 years ago
- Arduino Datalogger with GUI☆13Dec 30, 2018Updated 7 years ago
- Helper to provide a common federated authentication for all services within a domain (AKA Panda 🐼)☆11Feb 26, 2026Updated last week
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- Simple USB HID Bootloader for STM32F0xx series☆12Jul 29, 2020Updated 5 years ago
- ☆12Updated this week
- Source code for http://allaboutscala.com/scala-cheatsheet/☆11Jun 12, 2018Updated 7 years ago
- App for Nextcloud providing a proper search page☆12Feb 24, 2026Updated last week
- A small framework for web apps using http4s+tapir+laminar. Currently for personal use but may grow into a thing later down the line.☆11Feb 4, 2026Updated last month
- ☆11Oct 8, 2024Updated last year
- A ransomware generator written in C# WPF, using the RC4 encryption algorithm, will generate C++11 code and C# code☆10Jan 15, 2024Updated 2 years ago
- ☆20Jan 31, 2026Updated last month
- A tiny graph database engine written in C☆10May 9, 2014Updated 11 years ago
- Application for Nextcloud providing Single-Sign-On using JWT tokens☆10Jan 27, 2026Updated last month
- Supplemental materials for the book entitled "Practical ML Programming with SML#"☆10Jun 27, 2025Updated 8 months ago
- This MavLink_FrSkySPort repository is discontinued! The development is moved to Clooney82/MavLink_FrSkySPort where we work together on th…☆16Aug 30, 2015Updated 10 years ago
- ☆19Feb 26, 2026Updated last week
- ☆10Feb 25, 2026Updated last week