magmastonealex

Alex Roth's starred repositories

moby

The Moby Project - a collaborative project for the container ecosystem to assemble container-based systems

Language:GoApache-2.068292 2898 22599

We are on codeberg.org now! https://codeberg.org/Freeyourgadget/Gadgetbridge - Gadgetbridge - A free and cloudless replacement for your gadget vendors' closed source Android applications. Supports Pebble, Mi Band, Liveview, HPlus and more.

Language:JavaAGPL-3.04230 2060

rpitx

RF transmitter for Raspberry Pi

Language:CGPL-3.03957 215 280

remi

Python REMote Interface library. Platform independent. In about 100 Kbytes, perfect for your diet.

Language:PythonApache-2.03484 122 404

tvheadend

Tvheadend is the leading TV streaming server for Linux with ATSC, DVB-C/C2, DVB-S/S2, DVB-T/T2, IPTV, SAT>IP and unix pipe input sources

Language:CNOASSERTION2793 242 50

PJON

PJON (Padded Jittering Operative Network) is an experimental, arduino-compatible, multi-master, multi-media network protocol.

Language:C++NOASSERTION2724 118 260

SuperSLiM

A layout manager for the RecyclerView with interchangeable linear, grid, and staggered displays of views, all with configurable section headers including the sticky variety as specified in the material design docs.

Language:Kotlin2119 89 211

prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

Language:RustNOASSERTION1538 20 472

sdrtrunk

A cross-platform java application for decoding, monitoring, recording and streaming trunked mobile and related radio protocols using Software Defined Radios (SDR). Website:

Language:JavaGPL-3.01523 153 1300

python-unicodecsv

Python2's stdlib csv module is nice, but it doesn't support unicode. This module is a drop-in replacement which *does*. If you prefer python 3's semantics but need support in py2, you probably want https://github.com/ryanhiebert/backports.csv

Language:PythonNOASSERTION595 25 52