ChristianMoesl/poolcontroller

Stars
1
Language
TypeScript
License
MIT License
Created about 8 years ago
Updated about 7 years ago

ChristianMoesl/poolcontroller

ChristianMoesl

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A raspberry PI is used to control the pool hardware (pumps, valves, temperature sensors,...), which can be accessed through an web interface.

wasmdb

A Database for the browser using compiled SQL queries in WASM

lms-wasm

WASM as an embedded DSL in Scala

btor2tools-sys

Rust FFI bindings for https://github.com/Boolector/btor2tools

btor2tools.rs

High Level Rust Bindings for https://github.com/Boolector/btor2tools

concurrent-queue-model

Model of a concurrent FIFO queue written in Promela for the Spin model checker

midi-switcher

artnet-dmx-controller

This is a small LED controller for DMX LED spots, which can be accessed and controlled through the ArtNet protocol over Ethernet.

artnet-controller-firmware

The firmware (only the Application) for the ArtNet LED-Strip Controller and the ArtNet DMX Controller.