Raspberry Pi Pico Arduino core, for all RP2040 and RP2350 boards

Arduino library for faster and smaller digitalWrite(), digitalRead() and pinMode() functions using direct port manipulation for constant pin numbers.

Arduino quadrature encoder library. Implements a simple to use, interrupt driven quadrature decoder for Arduino.

Quadrature Encoder Library for Arduino

I have always thought about why not being able to use Arduino Due directly with Atmel Studio to have more access to the microcontroller and here is a guide for those who think like me.

USB input remapping dongle

ksh 93u+m: KornShell lives! | Latest release: https://github.com/ksh93/ksh/releases

Opensource toolchain for WCH ch32v RISC-V 32bit MCU

Collaborative Collection of C++ Best Practices. This online resource is part of Jason Turner's collection of C++ Best Practices resources. See README.md for more information.

Air Mouse for Flipper

Modern C++ socket library.

using NASA openmct app

Get started with Open MCT

Highly configurable dynamic WebSocket bridge

Python, ingests UDP packets from F122 game and sends to OpenMCT webapp. Includes recording and playback.

A telemetry provider for Mavlink for OpenMCT

F Prime Prime: A modeling language for F Prime

F´ - A flight software and embedded systems framework

NASA Astrobee Robot Software

Trick Simulation Environment. Trick provides a common set of simulation capabilities and utilities to build simulations automatically.

F´ Python tooling and helpers.

Software drivers in C for systems without an operating system

Embedded Template Library

Kernel source tree for Raspberry Pi-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://forums.raspberrypi.com/

Embedded C/C++ web server

Emulating Intel 8080 and Zilog Z80 CPU's on Arduino Nano

An chart library specialized for large-scale time-series data, built on WebGL.

Lightweight C++20 testing framework.

The source for the Linux kernel used in Windows Subsystem for Linux 2 (WSL2)