lopsided98

nix-ros-overlay

ROS overlay for the Nix package manager

dnsupdate

The last dynamic DNS client you'll ever need

archlinux-docker

Arch Linux Docker images

nixos-config

Configuration for my NixOS machines

superflore

An extended platform release manager for Robot Operating System

ardupilot-flake

Nix flake for ArduPilot development

radonpy

Tools to communicate with the RadonEye RD200 radon detector

nix-sdr

Common software defined radio (SDR) related packages for Nix

WaterLevelMonitor

BLE water tank level monitor using Zephyr RTOS on a Nordic NRF51

acurite-thermometer

Firmware for wireless thermometer that emulates the Acurite 00606TX

ardupilot

ArduPlane, ArduCopter, ArduRover source

aur-buildbot

Buildbot configuration for building Arch Linux AUR packages

aur-packages

The Arch Linux AUR packages I maintain

grpc

The C based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)

gz-common

An audio-visual library supports processing audio and video files, a graphics library can load a variety 3D mesh file formats into a generic in-memory representation, and the core library of Gazebo Common contains functionality that spans Base64 encoding/decoding to thread pools.

libsigrok

Read-only mirror of the official repo at git://sigrok.org/libsigrok. Pull requests welcome. Please file bugreports at sigrok.org/bugzilla.

linux

Linux kernel source tree

magic-nix-cache

Save 30-50%+ of CI time without any effort or cost. Use Magic Nix Cache, a totally free and zero-configuration binary cache for Nix on GitHub Actions.

nixpkgs

Nix Packages collection

openocd-nrf53

OpenOCD with Nordic NRF53 support

or-tools

Google's Operations Research tools:

pybind11_protobuf

Pybind11 bindings for Google's Protocol Buffers

reccmd

rosdistro

This repo maintains a lists of repositories for each ROS distribution

urdfdom

URDF parser

urdfdom_headers

Headers for URDF parsers

west-nix

Generate Nix code for fetching West manifest sources

zephyr

Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

zeus-le

zeus_audio