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 3 years ago
- PostgreSQL Schema is a database migration tool.☆13Apr 5, 2018Updated 8 years ago
- your dynamic optimization buddy☆27Sep 20, 2019Updated 6 years ago
- 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
- 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
- Lockstitch is an incremental, stateful cryptographic primitive for symmetric-key cryptographic operations (e.g. hashing, encryption, mess…☆12Feb 5, 2026Updated 6 months ago
- Monadic directed acyclic graph datastructures for Scala☆14Feb 12, 2025Updated last year
- Scala embedded universal probabilistic programming language☆11Apr 15, 2021Updated 5 years ago
- Bringing Spire to Dotty/Scala 3☆14Feb 19, 2024Updated 2 years ago
- VMWare Horizon Client Flatpak☆10Jan 17, 2023Updated 3 years ago
- ☆11Sep 21, 2018Updated 7 years ago
- TOTP client for the command line - like Google Authenticator for your desktop.☆12Sep 10, 2015Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- UgCS Java SDK☆19May 26, 2026Updated 2 months ago
- constants of the reference ellipsoid☆15Jun 29, 2026Updated last month
- Want to play a few pranks on a 3dr Solo user?☆10Mar 11, 2016Updated 10 years ago
- Pure haskell implementation of macaroons☆14Jan 26, 2021Updated 5 years ago
- ☆21Mar 5, 2017Updated 9 years ago
- Django like Swift Web-Framework in very early Stages☆12Jan 11, 2016Updated 10 years ago
- Hasktorch two-layer network example project☆13Nov 21, 2020Updated 5 years ago
- Having issues with the IBM Blockchain Bluemix service? Let us know!☆13Aug 8, 2016Updated 10 years ago
- Naos: Serialization-free RDMA networking in Java☆17Aug 17, 2021Updated 4 years 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.
- 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
- Compressed sparse row matrix for node.js☆19May 13, 2016Updated 10 years ago
- A CI server written in Erlang. NSWIDY (Not Sure What I'm Doing, Yet)☆12Oct 4, 2017Updated 8 years ago
- An OTP application you can use to transform files on the fly.☆11Dec 18, 2016Updated 9 years ago
- Routing Securely with Phoenix Framework for Austin Elixir on 2015-09-02 (http://www.meetup.com/Austin-Elixir/events/224755570/)☆11Aug 31, 2015Updated 10 years ago
- Instagram client library for Elixir/Phoenix apps☆13Feb 11, 2016Updated 10 years ago
- Binary streaming library for Postgres data pipelines☆18Oct 2, 2019Updated 6 years ago
- This GitHub contains documents relating to the formation of a Riak Community.☆12Sep 29, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- All those parentheses got you down? How about some XML?☆17Apr 1, 2013Updated 13 years ago
- Shared (shell) Settings☆18Mar 10, 2024Updated 2 years ago
- automatic differentiation/integration of PDEs☆25May 22, 2018Updated 8 years ago
- A formal specification of snapshot isolation.☆20Jul 17, 2025Updated last year
- Example application for http://www.noslidesconf.net/☆16Jul 11, 2018Updated 8 years ago
- Send CloudWatch Logs Securely to Syslog via a Lambda function☆22Nov 3, 2017Updated 8 years ago
- ☆15Nov 7, 2015Updated 10 years ago