Stars
A static verifier for Rust, based on the Viper verification infrastructure.
Tiny Tiny RSS feed reader as a docker image.
PJON (Padded Jittering Operative Network) is an experimental, arduino-compatible, multi-master, multi-media network protocol.
ESP8266 MQTT Roomba controller (Useful for hooking up old Roombas to Home Assistant)
Python REMote Interface library. Platform independent. In about 100 Kbytes, perfect for your diet.
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
chan_dongle channel driver for Huawei UMTS cards, works with Asterisk 14+
An small flask app to help Plex DVR connect with Tvheadend
📡 DVR emulator for Plex DVR to connect to Tvheadend.
An OS alternative to the Pebble App Store
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 …
PeerFact public website and domain registry. See https://github.com/peerfact/extension for the actual plugin.
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 mate…
A cross-platform java application for decoding, monitoring, recording and streaming trunked mobile and related radio protocols using Software Defined Radios (SDR). Website:
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…
[Deprecated] Front-end framework for developing Pebble mobile configuration pages.
HDHomeRun chromecast/Web streaming, simplified!
A bunch of small USB->DMX adapters of varying levels of complexity.
The Moby Project - a collaborative project for the container ecosystem to assemble container-based systems