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 *
Dorna-Robotics-Internship Code In the directory "Code" is a python file which I wrote to allow the Dorna Robots API to draw an Image on a 3D plane. I
emhass EMHASS: Energy Management for Home Assistant Context This module was conceived as an energy management optimization tool for residential electr
Trajectory optimization package for Mini-Pupper robot Purpose of this repository is to provide low-torque and low-impact trajectory for Mini-Pupper qu
Windhager myComfort custom component for Home Assistant
The Parametric Voron This repository contains Fusion 360 reconstructions of various printed parts from the Voron printers
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
kwcpu An unobtrusive CPU meter that fits in the default Windows 11 taskbar. Supports up to 32 cores. kwcpu is provided as a Rainmeter skin. By default
pico_ws2812b a library for using WS2812b leds (aka neopixels) with Raspberry Pi Pico You'll first need to save the ws2812b.py file to your device (for
Kotori Telemetry data acquisition and sensor networks for humans. Documentation: https://getkotori.org/ Source Code: https://github.com/daq-tools/koto
Welcome to LedFx ✨ -Making music come alive! LedFx website: https://ledfx.app/ What is LedFx? What LedFx offers is the ability to take audio input, an
Programação de Sistemas Robóticos Miguel Riem Oliveira Universidade de Aveiro 2021-2022 Projeto AtlasCar Projecto RACE IROS 2014 AtlasCar2 ATOM IROS 2
Scenario: The Mutt Matcher (IoT version) According to the World Health Organization there are more than 200 million stray dogs worldwide. The American
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
Home Assistant Raspberry Pi GPIO custom integration This is a spin-off from the
pico-ducky Turn your Raspberry Pi Pico into a USB Rubber Ducky Install Requirements CircuitPython for the Raspberry Pi Pico adafruit-circuitpython-bun
E_uArtnet ESP32 micropython implementation of Art-Net client Instalation Use thonny Open the root folder in thonny and upload the Empire folder like i
Date Countdown A python script for Homeassistant that counts down the days to birthdays, anniversaries etc Important note I no longer use homeassistan
LUNA is a full toolkit for working with USB using FPGA technology; and provides hardware, gateware, and software to enable USB applications.
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
I made this project for my university course in robotics. I rarely found any information regarding the implementation of mathematics in code. So I decided to make this repo in order to help others :)
2 Dec 06, 2021
70 Dec 24, 2022
38 Aug 17, 2022
5 Apr 27, 2022
26 Dec 19, 2022
2 Jun 07, 2022
2 Nov 07, 2022
76 Nov 25, 2022
83 Nov 26, 2022
786 Jan 02, 2023
22 Jul 13, 2022
15 Aug 10, 2022
1 Jan 28, 2022
98 Dec 24, 2022
5 Nov 08, 2022
2 Dec 07, 2021
21 Mar 12, 2022
750 Dec 28, 2022
66 Nov 24, 2022
2 Dec 27, 2022