C Bounded Model Checker

A full analog GPS receiver using discrete rf components and TinyFPGA

A simple code complexity analyser without caring about the C/C++ header files or Java imports, supports most of the popular languages.

Restore a damaged (truncated) mp4, m4v, mov, 3gp video. Provided you have a similar not broken video.

PyTorch version of Stable Baselines, reliable implementations of reinforcement learning algorithms.

A feature-rich command-line audio/video downloader

Trackuino firmware source code

Powerful AFSK modem platform

APRS fork of MicroModem

Samples for CUDA Developers which demonstrates features in CUDA Toolkit

Approximate Nearest Neighbors in C++/Python optimized for memory usage and loading/saving to disk

Inertial Navigation Filter

Sequential Convex Programming Toolbox for nonconvex trajectory optimization.

QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.

KLEE Symbolic Execution Engine

Teensy/Arduino flight controller and stabilization for small-scale VTOL vehicles

Operate and manipulate physical quantities in Python

A Vim-like interface for Firefox, inspired by Vimperator/Pentadactyl.

Model-based design and verification for robotics.

Contains examples for DepthAI integration with ArduPilot

GNSS-SDR, an open-source software-defined GNSS receiver

A Docker image containing GNSS-SDR

Mattermost is an open source platform for secure collaboration across the entire software development lifecycle..

Add voice control of your ESP32 and ESP8266 devices using Amazon Alexa

The “Quite OK Image Format” for fast, lossless image compression

OBD2 scantool

ESP32/ESP8285-based High-Performance Radio Link for RC applications

OpenHD

A ardupilot log to MATLAB converter

Controls Engineering in the FIRST Robotics Competition: Graduate-level control theory for high schoolers.