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:
- Wolf is a wrapper around Amazon Simple Workflow Service.☆16Nov 4, 2022Updated 4 years ago
- your dynamic optimization buddy☆27Sep 20, 2019Updated 7 years ago
- A datalog prover, written in haskell.☆12Apr 13, 2014Updated 12 years ago
- Files related to using the Xiaomi Yi camera on the 3DR Solo☆24Dec 7, 2015Updated 10 years ago
- A visual GraphQL data browser. Like a SQL GUI for GraphQL!☆13Dec 13, 2020Updated 5 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.
- A digital scale to be integrated in furniture e.g. beds☆13Dec 14, 2017Updated 8 years ago
- Scalafix Rewrites for Scala☆10Oct 5, 2021Updated 5 years ago
- Lean implementations of things found in Certified Programming with Dependent Types☆15Jun 5, 2022Updated 4 years ago
- Solo Development Guide (SDG).☆40Jan 23, 2019Updated 7 years ago
- An environment for reading, searching, navigating and visualizing code.☆18Sep 19, 2011Updated 15 years ago
- Pickpocket imports Pocket links to Safari reading list.☆10Jan 2, 2024Updated 2 years ago
- Shows how to use ScalaPB code generator with Gradle☆10Jun 3, 2021Updated 5 years ago
- Flatmark SSG☆14Updated this week
- data at a distance☆11Nov 1, 2013Updated 13 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Plover is a language for matrix algebra on embedded systems.☆48Jul 3, 2021Updated 5 years ago
- ☆23Mar 9, 2012Updated 14 years ago
- repo manifest for a workspace allowing to build ArduPlane for Parrot Disco☆12Jan 5, 2018Updated 8 years ago
- Python to Scala Transpiler using Neural Machine Translation☆14Feb 20, 2019Updated 7 years ago
- A testbed for React async IO - based on Dan Abramov's Beyond React 16 talk.☆11Mar 9, 2018Updated 8 years ago
- Virtual cockpit for UAVs☆12Feb 13, 2017Updated 9 years ago
- Bringing Spire to Dotty/Scala 3☆14Feb 19, 2024Updated 2 years ago
- ☆11Sep 21, 2018Updated 8 years ago
- an example of simple-check and expectations integration☆11Apr 23, 2017Updated 9 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Scala embedded universal probabilistic programming language☆11Apr 15, 2021Updated 5 years ago
- Incremental convex hull algorithm☆12Aug 7, 2021Updated 5 years ago
- UAS Ground Station☆14Oct 4, 2013Updated 13 years ago
- Yield the first async value returned for the co generator library☆13Jan 2, 2014Updated 12 years ago
- Run Jupyter lab as a desktop app☆12Feb 27, 2018Updated 8 years ago
- Proofs written in Lean4 for the core katydid validation algorithm☆18Sep 17, 2025Updated last year
- A implementation of a Cascaded Integrator Comb filter for the Cortex M4, designed to have an API similar to CMSIS-DSP. *Not currently wor…☆10May 9, 2014Updated 12 years ago
- An implementation of Jellyfish☆12Apr 5, 2013Updated 13 years ago
- Use your bluetooth device in Linux (Ubuntu) and Windows without having to pair it on every boot.☆11Apr 12, 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.
- Want to play a few pranks on a 3dr Solo user?☆10Mar 11, 2016Updated 10 years ago
- ☆15Jun 20, 2025Updated last year
- Cpu miner of sero (betanet)☆16May 30, 2020Updated 6 years ago
- UgCS Java SDK☆20May 26, 2026Updated 5 months ago
- ARM Bare Metal Widget (arm-bmw) hardware☆15Apr 25, 2017Updated 9 years ago
- Splice 2 sockets together in Erlang☆11Feb 10, 2022Updated 4 years ago
- Instagram client library for Elixir/Phoenix apps☆13Feb 11, 2016Updated 10 years ago