The main firmware for the Crazyflie Nano Quadcopter, Crazyflie Bolt Quadcopter and Roadrunner Positioning Tag.

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

PyTorch implementation of SatCLIP

TartanAviation: Vision, Speech, and Trajectory Datasets for Terminal Airspace Operations

DUSt3R: Geometric 3D Vision Made Easy

Two imrovements for openCV camera calibration sceme

[CVPR 2024] Depth Anything: Unleashing the Power of Large-Scale Unlabeled Data. Foundation Model for Monocular Depth Estimation

Repo for paper DATT: Deep Adaptive Trajectory Tracking for Quadrotor Drones

The implementation of Tiptoe's linearly-homomorphic encryption scheme, accompanying the paper "Private Web Search with Tiptoe" (SOSP 2023).

The reference implementation of Tiptoe, accompanying the paper "Private web search with Tiptoe" (SOSP 2023).

Agile flight done right!

MCC DAQ HAT Library for Raspberry Pi

The reference implementation of SimplePIR and DoublePIR, accompanying the paper "One Server for the Price of Two: Simple and Fast Single-Server Private Information Retrieval" (USENIX Security 2023).