A stream-based runtime-verification framework for generating hard real-time C code.
-
Updated
Sep 8, 2026 - Haskell
A stream-based runtime-verification framework for generating hard real-time C code.
Generator of runtime monitors for flight and robotics applications.
An APK and Magisk/KernelSU module builder for RV/RVX/Morphe apps. Updated hourly.
A set of Node Red flows to control a Lippert OneControl system from Home Assistant
Home Assistant Integration for the Micro-Air EasyTouch RV Thermostat
BinaryStarSolver is a Python 3 program which solves for the orbital elements of binary stars, given radial velocity time series
4th place solution of Multi-Centre, Multi-Vendor, Multi-Disease Cardiac Image Segmentation Challenge
Smarthome control for your RV.
Plan the 12V electrical system of your campervan: wiring diagram, battery, solar, cable cross-section and fuse calculation. Wohnmobil-Elektrik planen und berechnen.
Home Assistant HACS integration for OneControl RV control systems
Home Assistant integration for Lippert OneControl RV systems
Home Assistant custom integration for Micro-Air EasyTouch RV thermostats (WiFi + Bluetooth)
Home Assistant custom integration for TireLinc TPMS
This is a plugin that allows the user to copy certain metadata from an image in RV image and sequence viewer
Home Assistant HACS integration for Hughes Power Watchdog devices
To associate your repository with the rv topic, visit your repo's landing page and select "manage topics."