LintQ is a framework for static analysis of quantum programs written in Qiskit. It comprises: LintQ Core: a set of quantum-specific concepts that supports the definition of static analysis of quantum ...
This project provides a framework for controlling robots in robot hardware and MuJoCo simulation through XR (VR/AR) input devices. It allows users to manipulate robot arms using natural hand movements ...