137 Open source projects that are alternatives of or similar to ioBroker.linkeddevices

Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models

An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

LoMRF is an open-source implementation of Markov Logic Networks

Script engine for JavaScript and Blockly

VW WeConnect visualization and control

ioBroker controller

A digital logic designer and circuit simulator.

user interface for configuration and administration

heating control incl. simple actor handling

Official Docker Image for ioBroker

Final Year Masters Project: modal logic solver tableaux

Connects to deConz software developed by dresden-elektronik. This software aims to be a universal ZigBee Gateway solution, using hardware from dresden-elektronik the ConBee USB stick and RaspBee a modul for the Raspberry Pi.

A micro conditional javascript engine used to parse the raw logical and comparison expressions, evaluate the expression in the given data context, and provide access to a text form of the given expressions.

Allows read information from google calender and from iCal into ioBroker.

λΠ Programming Language Theory

ioBroker Widgets set with time and weather

Spritpreis Adapter für ioBroker

Automatic control for shutters

Curated list of Prolog packages and resources

manages state history

A predictable state management library that helps implement the BLoC design pattern

TypeQL: the query language of TypeDB - a strongly-typed database

Rademacher Homepilot 2.0 (version >= 5.0.39)

Fetches weather warnings from "Deutscher Wetterdienst" (germany only)

Store history data in InfluxDB (not for Windows)

Text to speech for ioBroker

📚Solutions to Language, Proof and Logic (2nd Edition)

Instantiate the server with node-red

Build and evaluate JsonLogic with React components

This module provides a wrapper to the REST API of a KLF-200 interface. Supporting the new API with firmware version 0.2.0.0.71 is in progress.

BSH Home Connect-Adapter für ioBroker

Digital circuit learning platform

Pings configured IPs for ioBroker

A Reasoning System for a First-Order Logic of Limited Belief, written in C++

Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.

Group states to scenes and control them.

Monitor Bluetooth Low Energy beacons

Haskell bindings for PicoSAT solver

Mod for minetest that adds digital circuitry [=minecraft redstone]

O(N log N)-space IPC solver in OCaml

fullyBrowser intergration in iobroker

jarvis - just another remarkable vis

LaTTe : a Laboratory for Type Theory experiments (in clojure)

Repositories for ioBroker project

A free, open source, online digital circuit/logic designer.

Visualization with Lovelace-UI

Shelly ioBroker Adapter

Control your Ecovacs Deebot vacuum cleaner with ioBroker

INACTIVE: Move your mouse, generate code from flow chart

Control Sonoff-Tasmota devices via ioBroker

ACL2 System and Books as Maintained by the Community

Individualisierbare VIS Widgets für den ioBroker

Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。

Z-Wave for ioBroker. Better. Faster. Stronger.

Connects HomeMatic CCU "Logic Layer" ("ReGaHSS") to ioBroker

Schematics for DLS - The Digital Logic Simulator game http://makingartstudios.itch.io/dls

TypeDB: a strongly-typed database

Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera

little alarm sytem for iobroker

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.