A stream-based runtime-verification framework for generating hard real-time C code.
-
Updated
Jun 17, 2022 - Haskell
#
rv
Here are 21 public repositories matching this topic...
BinaryStarSolver is a Python 3 program which solves for the orbital elements of binary stars, given radial velocity time series
-
Updated
May 19, 2021 - Python
The aim of OpenSRV should be to retrofit smart home-like functions in mobile homes or caravans/rv. The website https://campingtech.de/opensrv is only in german.
mqtt
arduino
esp8266
automation
smarthome
raspberrypi
esp32
wifi
ds18b20
bme280
rv
camping
neo-6m
caravan
campervan
rapsberry-pi
-
Updated
Dec 14, 2020 - C++
A set of Node Red flows to control a Lippert OneControl system from Home Assistant
-
Updated
Jan 26, 2022
Node red flows to bring state data from Lippert OneControl into MQTT for use in other platforms.
-
Updated
Feb 10, 2022
4th place solution of Multi-Centre, Multi-Vendor, Multi-Disease Cardiac Image Segmentation Challenge
-
Updated
Aug 14, 2020 - Jupyter Notebook
This is a plugin that allows the user to copy certain metadata from an image in RV image and sequence viewer
-
Updated
Jan 26, 2021 - Python
-
Updated
Dec 21, 2019 - C++
This package contains the solutions for Robotics course by University of Columbia in Edx
-
Updated
Jan 4, 2020 - CMake
Improve this page
Add a description, image, and links to the rv topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the rv topic, visit your repo's landing page and select "manage topics."