ev3dev's repositories
ev3dev-lang
(deprecated) language bindings for ev3dev sensors, motors, LEDs, etc.
lms2012-compat
lms2012 VM compatibility layer for ev3dev
nxt-python
Fork of official Debian package
rpi-systemd
Debian package for using ev3dev on Raspberry Pi with systemd
crosstool-ng
A versatile (cross-)toolchain generator.
ev3-config
Debian package that provides configuration files for EV3 hardware
ev3dev-archive-keyring
GPG keys for official ev3dev package repository
ev3dev-crosstool-ng
Crosstool-NG configurations for ev3dev cross-compilers
ev3dev-ppa-keyring
Keyring for https://launchpad.net/~ev3dev/+archive/ubuntu/tools
firmware-brickpi3
Debian packaging for Dexter Industries BrickPi3 firmware
firmware-rpi
Debian package for Raspberry Pi Firmware
grx-widgets
Widget toolkit for small screens
libjaylink
Backport of official Debian package
micropython
debian package for MicroPython
micropython-lib
Core Python libraries ported to MicroPython
micropython-linux
MicroPython library for Linux-specific stuff
NXTCamView5
Debian packaging for NXTCamView5
rtl8812AU_8821AU_linux
rtl8812AU_8821AU linux kernel driver for AC1200 (801.11ac) Wireless Dual-Band USB Adapter