Michael Mugnai's starred repositories
mender-convert
An easy way to integrate the Mender client into an existing image
nvidia-exec
GPU switching without login out for Nvidia Optimus laptops under Linux
rotary-encoder-embedded
A rotary encoder library for embedded Rust applications
deploy-aws-docker-openvpn
Deploys OpenVPN in a container to AWS
pypi-simple-search
A stop-gap replacement for pip search.
raspi-overlayroot
Protect your SD card against wear and tear
betterlockscreen
🍀 sweet looking lockscreen for linux system
alexa-assistant
Implementation of the Google Assistant SDK as an Alexa skill
optimus-manager
A Linux program to handle GPU switching on Optimus laptops.
PacketSerial
An Arduino Library that facilitates packet-based serial communication using COBS or SLIP encoding.
CLionArduinoPlugin
A plugin for CLion that enables arduino-cmake integration.
nbstripout
strip output from Jupyter and IPython notebooks
msi-perkeyrgb
Linux CLI tool to control per-key RGB lighting on MSI 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.
docker-ros-box
The dockerized ROS box with hardware accelerated X11 support
realsense_gazebo_plugin
Intel RealSense R200 Gazebo ROS plugin and model
joystick_drivers
ROS drivers for joysticks
ros_controllers
Generic robotic controllers to accompany ros_control
Arduino-Scheduler
Portable Cooperative Multi-tasking Scheduler for Arduino
sublime-sqlexec
A Plugin for running SQL commands in Sublime Text