A stream-based runtime-verification framework for generating hard real-time C code.

Generator of runtime monitors for flight and robotics applications.

A set of Node Red flows to control a Lippert OneControl system from Home Assistant

TIBRV API for Python

An APK and Magisk/KernelSU module builder for RV/RVX apps. Updated hourly.

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

This is a plugin that allows the user to copy certain metadata from an image in RV image and sequence viewer

Node red flows to bring state data from Lippert OneControl into MQTT for use in other platforms.

Home Assistant Integration for the Micro-Air EasyTouch RV Thermostat

Code to interface over Modbus RTU RS485 to the LandStar LS1024B PWM Solar Charge Controller

scripts bundled with rv

File Browser Plugin for Shotgun RV

This is a script to assist with Shotgun RV's plugin development

Tools to locally cache data from an RVWhisper sensor unit, and provide some basic visualization and analysis capabilities.

Home Assistant custom integration for TireLinc TPMS

RV Camper Mod design files, CAD designs power management & monitoring systems

Contains Design and Analysis of Algorithm Lab codes (RVCE)

⛺ Find local camping spots for your tent, RV and cabin or cottage rental.