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 *
EtherView Last updated jan 30, 2022. Welcome to the EtherView project! This is a project to transform a RaspberryPi into a portable network diagnostic
Hotplugger: Real USB Port Passthrough for VFIO/QEMU! Welcome to Hotplugger! This app, as the name might tell you, is a combination of some scripts (py
A PYTHON Library for Controlling Motors using SOLO Motor Controllers with RASPBERRY PI, Linux, windows, and more!
A python script for macOS to enable scrolling with the 3M ergonomic mouse EM500GPS in any application.
TMG-Camera-Tools A blender 2.9x addon for managing camera settings Tutorial showcasing current features
This project uses the mosaik co-simulation framework, developed by the brilliant developers at the high-ranked Offis institue for computer science, Oldenburg, Germany, to simulate multidimensional LE
Planning with Diffusion Training and visualizing of diffusion models from Planning with Diffusion for Flexible Behavior Synthesis. Guided sampling cod
OpenStickFirmware is open source software designed to handle any and all tasks required in a custom Fight Stick. It can handle being the brains of your entire stick, or just handling the bells and wh
MicroKanren-py This is (yet another) python implementation of microKanren. It's a reasonably 1:1 translation of the code provided in the paper, but ev
Red Light Green Light Robot The primary problem addressed by our project is robotic follower behavior i.e. maintaining distance from a moving target.
E-Ink Magic Calendar that automatically syncs to Google Calendar and runs off a battery powered Raspberry Pi Zero
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
Raspberry Pi Pico and LoRaWAN from CircuitPython Enable LoRaWAN communications on your Raspberry Pi Pico or any RP2040-based board using CircuitPython
Clean Dashboard for Pi-Hole Minimal and clean dashboard to visualize some stats of Pi-Hole with an E-Ink display attached to your Raspberry Pi.
Pico Mpad A 3D printable macropad for automating frequently repeated actions. Hardware To build this project you need access to a 3d printer. The mode
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
easyeda2kicad.py A Python script that convert any electronic components from LCSC or EasyEDA to a Kicad library Installation git clone https://github.
raspi-weather a weather application for the raspberry pi and the Inky pHAT
Torque Limited Simple Pendulum Introduction The project is an open-source and low-cost kit to get started with underactuated robotics. The kit targets
I/O - Live USB Monitoring Author: Jonathan Scott @jonathandata1 Date: 3/13/2021 CURRENT VERSION 1.0 This is just a simple bash script that calls a pyt
1 Jan 30, 2022
66 Nov 24, 2022
3 Apr 29, 2022
3 Feb 19, 2022
12 Apr 16, 2022
1 Jan 28, 2022
310 Jan 07, 2023
23 Nov 24, 2022
2 Nov 20, 2021
2.8k Dec 30, 2022
5 Feb 02, 2022
15 Oct 08, 2022
104 Dec 14, 2022
94 Jan 07, 2023
2 Dec 26, 2021
150 Jan 06, 2023
59 Oct 24, 2022
34 Dec 14, 2022
17 Dec 03, 2022