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

Use Telegram service to communicate with ioBroker

An ioBroker-adapter for retrieving shared locations from Google

Backitup enables the cyclical creation of backups of an IoBroker / Homematic installation

Ring Video Doorbell Adapter

ioBroker adapter to connect to several small and cheap Wifi devices that care connected to the Tuya Cloud and mostly use the Smartlife App/Alexa-Skill

An ioBroker adapter for Gardena Smart System.

Send notifications and other important information to your LaMetric time

ioBroker adapter to manage your 3D printer over ioBroker

Receive all data of Discovery API into ioBroker to have your energy consumption and delivery monitored

Control devices smarter: by grouping, including triggers like motion, opening window, etc. and set target devices accordingly

ioBroker Adapter for VW We connect and Skoda connect

ioBroker Adapter to integrate Meross Cloud based devices

Basic pytorch implementation of NAC/NALU from Neural Arithmetic Logic Units paper by trask et.al

Control and monitor SONOS player from ioBroker

Openllet is an OWL 2 reasoner in Java, build on top of Pellet.

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.

weather forecast data from DasWetter.com

Documentation for ioBroker

The Flix Programming Language

A digital logic simulator

Version 2 of my Crazy Small CPU

OpenNARS for Research 3.0+

Functional relational programming for Clojure(Script).

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

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

TypeDB: a strongly-typed database

An efficient graph solver for generating well-formed models

LoMRF is an open-source implementation of Markov Logic Networks

VW WeConnect visualization and control

A digital logic designer and circuit simulator.

heating control incl. simple actor handling

Final Year Masters Project: modal logic solver tableaux

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.

λΠ Programming Language Theory

Spritpreis Adapter für ioBroker

Curated list of Prolog packages and resources

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

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

Store history data in InfluxDB (not for Windows)

Instantiate the server with node-red

A JavaScript propositional logic and resolution library

Digital circuit learning platform

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

Monitor Bluetooth Low Energy beacons

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

Move your mouse, generate code from flow chart

Logic Circuits from the Juice library

Haskell bindings for PicoSAT solver

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

Fitch style proof constructor

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

Shelly ioBroker Adapter

Tado cloud connector to control Tado devices

A list of philosophy books and resources.

Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)

INACTIVE: Move your mouse, generate code from flow chart

ACL2 System and Books as Maintained by the Community

Build and evaluate JsonLogic with React components

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