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 *
Isaac ROS Image Pipeline Overview This metapackage offers similar functionality as the standard, CPU-based image_pipeline metapackage, but does so by
Raspberry Pi 1U Server There are server colocation providers that allow hosting a 1U server for as low as $30/month, but there's a catch: There are re
A number of 2D waypoints will be predefined in ROS based robots to navigate to the destination avoiding obstacles.
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
KIRI - Keyboard Interception, Remapping and Injection using Raspberry Pi as a HID Proxy. Near limitless abilities for a keyboard warrior. Features Sim
Adafruit-MacroPad-RP2040 Sleep Functionality for Adafruit MacroPad RP2040 Details This is a modification of AdaFruit project bundle found here specifi
Python-based-AI-Assistant I have used python functional programming to make this Ai assistant. Inspiration of project : we have seen in our daily life
This repository hosts the code for Stanford Pupper and Stanford Woofer, Raspberry Pi-based quadruped robots that can trot, walk, and jump.
Pico Escape Room Raspberry Pi Pico Escape Room game. Parts Raspberry Pi Pico Set of 2 x 20-pin Headers for Raspberry Pi Pico 4PCS Breadboards Kit Incl
This is a python service which enables switching between numpad and touchpad for the Asus UX433. It may work for other models.
Watson-Assistant-Integration Watson-Assistant with integration capabilities "main.py" should be deployed as Cloud Function (Action) on IBM Cloud. For
Ansible tools for operating and managing fleets of Blinksticks in harmony using the Blinkstick Python library.
Isaac Gym Environments for Legged Robots This repository provides the environment used to train ANYmal (and other robots) to walk on rough terrain usi
Volkswagen ID component for Home Assistant This folder contains both a generic Python 3 library for the Volkswagen ID API and a component for Home Ass
Raspberry Pi Pico and LoRaWAN from CircuitPython Enable LoRaWAN communications on your Raspberry Pi Pico or any RP2040-based board using CircuitPython
Sleep As Android custom integration This integration will allow you to get events from your SleepAsAndroid application in a form of the sensor states
This application works with serial communication. Use a simple gui to send and receive serial data from arduino and control leds and motor direction
raspberry-solar-mon Home solar infrastructure (with Peimar Inverter) monitoring based on Raspberry Pi 3 B+ using Grafana, InfluxDB, Custom Python Coll
ESP32-IoT-button-graph-test ESP32 recording button presses, and serving webpage via webSockets in order to graph the responses. The objective was to t
Simple keylogger that uses pynput to listen to keyboard input. Outputs to a text file and the terminal. Press the escape key to stop.
52 Dec 15, 2022
627 Dec 31, 2022
5 Nov 05, 2022
1 Jan 15, 2022
10 Dec 23, 2022
9 Dec 18, 2022
2 Dec 26, 2021
1.2k Dec 25, 2022
5 Feb 02, 2022
230 Jan 08, 2023
1 Dec 20, 2021
3 Aug 10, 2022
372 Jan 08, 2023
55 Jan 07, 2023
15 Oct 08, 2022
84 Dec 30, 2022
2 Jul 18, 2022
10 Dec 23, 2022
1 Nov 30, 2021
1 Dec 29, 2021