ChromeOS has a docked mode that allows, when you connect a laptop via HDMI to an external monitor, for you to still use an external mouse/keyboard to control the monitor.  Is there a similar program available in generic linux?  Ideally, it would allow my laptop to be used with a keyboard, monitor, and mouse without having to keep the lid open.
Docked Mode like in ChromeOS
application