github

Research Utilities

A collection of utilities that I often use in my robotics research

Copy Tools

A command line utility for copying files between machines, with special treatment of git repositories.