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 *
Panasonic Comfort Cloud MQTT Bridge Home-Assistant MQTT bridge for Panasonic Comfort Cloud. Note: Currently this brige is a one evening prototype proj
My Raspberry Pi Manager Overview I have two Raspberry Pi 4 Model B devices that I hooked up to my two TVs (one in my bedroom and the other in my new g
This is a simple python script that will run a docker container to pull data from Drobo. It will give information like (Name, serial, firmware, disk-total, disk-used, disk-free and individual disk st
Wheel-of-Fortune-using-Python Wheel of Fortune in python this game is the hands-on project in Python 3 Programming Specialization offered By Universit
Scapy Scapy is a powerful Python-based interactive packet manipulation program and library. It is able to forge or decode packets of a wide number of
Watson-Assistant-Integration Watson-Assistant with integration capabilities "main.py" should be deployed as Cloud Function (Action) on IBM Cloud. For
ArduinoWaterHeaterIOT IoT Probe of a solar PV water heating system - Arduino, Raspberry Pi, Python, MQTT, MySQL The Arduino sends the AC and DC watts
Send Multimedia USB HID Keys via Python As an USB Gadget in Linux This gives a simple script with zero dependencies that can easily run on any Linux d
🎃 Tech Or Treat 👻 It's spooky season for those who celebrate Halloween, and to get in the spirit (spirit - get it? 👻 ) we thought it would be fun t
Claussoft Personal Digital Assistant Install on Linux $ sudo apt update $ sudo apt install espeak ffmpeg libespeak1 portaudio19-dev $ pip install -r r
easyeda2kicad.py A Python script that convert any electronic components from LCSC or EasyEDA to a Kicad library Installation git clone https://github.
t265_UE Intel Realsense t265 into Unreal Engine. Windows only, and Livelink plugin is 4.26.2 only at the moment. Might recompile it for different vers
STARK Smart Tech Automation Remote via Kinematics Gesture control for IoT devices View Demo · Report Bug · Request Feature Table of Contents About The
Diabetes Business Problem : It is desired to develop a machine learning model that can predict whether people have diabetes when their characteristics
emhass EMHASS: Energy Management for Home Assistant Context This module was conceived as an energy management optimization tool for residential electr
SweetHome 从零开始打造智能家居系统的尝试，主要的实现有 可以扫码添加设备并控制设备的Android App 可以控制亮灭的灯，并可以设置在Android App连接到指定Wifi后自动亮起 可以控制开关的窗帘，机械结构部分自己设计并3D打印出来 树莓派主控，实现Http请求接口和ZigBe
nissan_ecu_hacking Python code written to utilize the Korlan usb2can hardware to send and receive data over the can-bus on a 2008 Nissan 350z My goal
E-Ink Magic Calendar that automatically syncs to Google Calendar and runs off a battery powered Raspberry Pi Zero
A number of 2D waypoints will be predefined in ROS based robots to navigate to the destination avoiding obstacles.
OctoPrint OctoPrint provides a snappy web interface for controlling consumer 3D printers. It is Free Software and released under the GNU Affero Genera
2 Jan 04, 2023
21 Jan 04, 2023
1 Jan 15, 2022
1 Jan 03, 2022
8.3k Jan 08, 2023
1 Dec 20, 2021
1 Jan 11, 2022
2 Jan 02, 2023
5 Feb 07, 2022
3 Dec 14, 2022
150 Jan 06, 2023
30 Jan 02, 2023
1 Jan 29, 2022
0 Jan 20, 2022
70 Dec 24, 2022
5 May 01, 2022
11 Sep 24, 2022
2.8k Dec 30, 2022
5 Nov 05, 2022
7.1k Jan 03, 2023