Keyclone combined with Multiplicity is what I used for this when I boxed on multiple machines. There are free options for Multiplicity but I already purchased it long ago and the support issue with Synergy's mouse look wasn't worth my time to work around/fix.