Michael Mugnai's starred repositories
betterlockscreen
🍀 sweet looking lockscreen for linux system
optimus-manager
A Linux program to handle GPU switching on Optimus laptops.
casadi
CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT etc. It can be used from C++, Python or Matlab/Octave.
nbstripout
strip output from Jupyter and IPython notebooks
ros_controllers
Generic robotic controllers to accompany ros_control
PacketSerial
An Arduino Library that facilitates packet-based serial communication using COBS or SLIP encoding.
msi-perkeyrgb
Linux CLI tool to control per-key RGB lighting on MSI laptops.
joystick_drivers
ROS drivers for joysticks
Arduino-Scheduler
Portable Cooperative Multi-tasking Scheduler for Arduino
nvidia-exec
GPU switching without login out for Nvidia Optimus laptops under Linux
raspi-overlayroot
Protect your SD card against wear and tear
sublime-sqlexec
A Plugin for running SQL commands in Sublime Text
realsense_gazebo_plugin
Intel RealSense R200 Gazebo ROS plugin and model
CLionArduinoPlugin
A plugin for CLion that enables arduino-cmake integration.
mender-convert
An easy way to integrate the Mender client into an existing image
pypi-simple-search
A stop-gap replacement for pip search.
docker-ros-box
The dockerized ROS box with hardware accelerated X11 support
deploy-aws-docker-openvpn
Deploys OpenVPN in a container to AWS
rotary-encoder-embedded
A rotary encoder library for embedded Rust applications
alexa-assistant
Implementation of the Google Assistant SDK as an Alexa skill