Synergy is still around, and still works remarkably well. The mouse scrolling between OSes is a bit janky still, but still something I can use every day.