This is (yet another) python implementation of microKanren. It's a reasonably 1:1 translation of the code provided in the paper, but everything has type annotations to make it more obvious what data is being passed around and how.
cd into it$ poetry install$ poetry run pytest
$ poetry run python
>>> from microkanren import *
hass-opnsense Join OPNsense with home-assistant! hass-opnsense uses the built-in xmlrpc service of OPNsense for all interactions. This project is curr
holiday-star balena ❤️ adafruitIO Introduction A DiY holiday project to demonstrate how you can send data from adafruitIO cloud to a balena edge devic
ArduinoWaterHeaterIOT IoT Probe of a solar PV water heating system - Arduino, Raspberry Pi, Python, MQTT, MySQL The Arduino sends the AC and DC watts
Programmable Rainbow Redstone Computer Table of contents What is it? Program flasher How to use it What is it? PRRC is Programmable Rainbow Redstone C
robot_inverse_kinematics Project setup # put the package in the workspace $ cd ~/catkin_ws/ $ catkin_make $ source devel/setup.bash Description In thi
Redmond SkyKettle integration for Home Assistant This integration allows to cont
Fener's ROS2 codes that runs on the vehicle. This node contains basic sensing and actuation nodes for vehicle control. Also example applications will be added.
This is the remake of the program PYOBD. It works on Python3 and all new libraries. It was tested on Linux, Windows, and it should work on MAC too. You just need an ELM327 USB or bluetooth device and
Automatic Watering System using Soil Moisture Sensor and RTC Timer with Arduino Technical Answers to Real-World Problems Know the plant, Grow the plan
My display, using a Raspberry Pi Zero W and Waveshare 6" e-paper hat infodisplay Modular information display framework aimed at e-ink devices. Built u
Water Quality FVM (Budapest, HU) custom integration for Home Assistant This custom component integrates water quality information provided by Budapest
Updater for Home Assistant This is a lightweight script for updating custom components for Home Assistant. If for some reason you do not want to use H
LifeSaver automatically, periodically saves USB flash drive data into the PC. Theoriticaly it will work with any any connected drive ex - Hard Disk ,SSD ... But, can't handle Backing up multipatition
Sleep As Android custom integration This integration will allow you to get events from your SleepAsAndroid application in a form of the sensor states
Micropython DOS-like OS for RP2040 microcontroller boards. Check out the demo video at https://www.youtube.com/watch?v=Az_oiq8GE4Y To start the OS typ
Welcome to PDF-double-side! Hi! I'm 15. I have a old printer so I can't print double-sided outs. The goal of this project is for anyone with an old pr
ArucoFollow ArucoFollow is a script for Robot Operating System and it is a part
3D-printable hexagonal mirror array capable of reflecting sunlight into arbitrary patterns
Nestalarm Monitor an EnvisaLink alarm module running Honeywell firmware, and set a Nest device to Home/Away depending on whether the alarm is Disarmed
Using a GNSS module (Beidou + GPS) and the mapquest static map API
54 Jan 03, 2023
3 Dec 20, 2021
1 Jan 11, 2022
2 Jun 07, 2022
2 Dec 08, 2022
48 Jan 06, 2023
1 Jan 18, 2022
127 Jan 06, 2023
3 Jan 03, 2022
3 Apr 08, 2022
3 Dec 23, 2021
12 Sep 21, 2022
4 Sep 26, 2021
84 Dec 30, 2022
58 Dec 27, 2022
4 Dec 28, 2021
5 Jan 25, 2022
2.3k Dec 30, 2022
1 Dec 30, 2021
1 Nov 04, 2021