Spooky is a system for Wireless Distributed State Estimation of multiple tracked subjects (mainly people and quadrotors), and control of multiple quadrotors, in a large-scale outdoor environment. It exposes an API using JSON over UDP for receiving state estimates of a multi-person multi-quadrotor system, and an API for quadrotor position control…
☆17May 31, 2017Updated 9 years ago
Alternatives and similar repositories for spooky
Users that are interested in spooky are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Temple Galaxia - Burning Man 2018☆12Sep 30, 2018Updated 7 years ago
- your dynamic optimization buddy☆27Sep 20, 2019Updated 7 years ago
- Files related to using the Xiaomi Yi camera on the 3DR Solo☆24Dec 7, 2015Updated 10 years ago
- Simple script using YT-DLP do download an episode from MTV.com, and then merge the resulting multiple output MP4 files using ffmpeg. MTV…☆14Jul 8, 2021Updated 5 years ago
- Scalafix Rewrites for Scala☆10Oct 5, 2021Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Multi Algo Auto switching miner for ahashpool.com☆13Jun 24, 2018Updated 8 years ago
- repo manifest for a workspace allowing to build ArduPlane for Parrot Disco☆12Jan 5, 2018Updated 8 years ago
- ☆12Nov 2, 2024Updated last year
- Virtual cockpit for UAVs☆12Feb 13, 2017Updated 9 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Jul 3, 2021Updated 5 years ago
- 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
- Lockstitch is an incremental, stateful cryptographic primitive for symmetric-key cryptographic operations (e.g. hashing, encryption, mess…☆12Feb 5, 2026Updated 7 months ago
- Monadic directed acyclic graph datastructures for Scala☆14Feb 12, 2025Updated last year
- 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.
- Scala embedded universal probabilistic programming language☆11Apr 15, 2021Updated 5 years ago
- A testbed for React async IO - based on Dan Abramov's Beyond React 16 talk.☆11Mar 9, 2018Updated 8 years ago
- ☆11Apr 29, 2015Updated 11 years ago
- Bringing Spire to Dotty/Scala 3☆14Feb 19, 2024Updated 2 years ago
- A Cheat Sheet for Coq Developers who want to try LeanProver☆19Jul 25, 2023Updated 3 years ago
- VMWare Horizon Client Flatpak☆10Jan 17, 2023Updated 3 years ago
- Python API for Camtasia projects.☆16Oct 4, 2023Updated 2 years ago
- UgCS Java SDK☆20May 26, 2026Updated 3 months ago
- Use your bluetooth device in Linux (Ubuntu) and Windows without having to pair it on every boot.☆11Apr 12, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Want to play a few pranks on a 3dr Solo user?☆10Mar 11, 2016Updated 10 years ago
- Cpu miner of sero (betanet)☆16May 30, 2020Updated 6 years ago
- The code for our paper "Neural Architecture Search as Program Transformation Exploration"☆17Apr 28, 2021Updated 5 years ago
- The Raspberry Pi Christmas Coding Adventure is a comprehensive guide for physical computing using the Raspberry Pi! I created this guide …☆22Jan 25, 2016Updated 10 years ago
- Deprecated. This is now a sub-directory in the new repo https://github.com/OpenSolo/OpenSolo☆15Jun 19, 2018Updated 8 years ago
- Public config files for forknote☆18Nov 14, 2022Updated 3 years ago
- ☆21Mar 5, 2017Updated 9 years ago
- Django like Swift Web-Framework in very early Stages☆12Jan 11, 2016Updated 10 years ago
- An experimental reimplementation of ScalaTags in (extremely meta) Scala 3.☆19Jul 6, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Naos: Serialization-free RDMA networking in Java☆17Aug 17, 2021Updated 5 years ago
- HTTP Router with various macros to assist in developing your application and organizing your code☆13Jan 18, 2025Updated last year
- Splice 2 sockets together in Erlang☆11Feb 10, 2022Updated 4 years ago
- Algorithms to solve and features to characterise TSP problems.☆13Nov 30, 2021Updated 4 years ago
- A CI server written in Erlang. NSWIDY (Not Sure What I'm Doing, Yet)☆12Oct 4, 2017Updated 8 years ago
- Eval library and patched Scala-3/Dotty compiler. Evaluating source code and trees at compile time hacking multi-staging programming☆20Nov 2, 2022Updated 3 years ago
- ARM Bare Metal Widget (arm-bmw) hardware☆15Apr 25, 2017Updated 9 years ago