#

input-output-logic

Here are 2 public repositories matching this topic...

leoprover / rio

A reasoner for Input/Output logic

tptp automated-deduction automated-theorem-proving normative-reasoning input-output-logic deontic-logics

Updated Feb 24, 2026
Scala

PizzaProgram / MCP23017-PCF8574-AIO

This is a Node-Red node to communicate with MCP23017 or PCF8574(A) chips on a I2C bus. Both Input + Output.

i2c chip-8 relay-board i2c-bus pcf8574 mcp23017 i2c-device node-red-contrib input-output-logic chip-16

Updated Apr 13, 2024
JavaScript

Improve this page

Add a description, image, and links to the input-output-logic topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the input-output-logic topic, visit your repo's landing page and select "manage topics."