Dimitri del Marmol

Docker socket over port 1234 (configurable via ENV) [made in socat]

http://openocd.org/

https://jupyter.readthedocs.io/en/latest/index.html

Rapid API development with Node-RED

https://www.gdbgui.com/

Time series database

Docker registry over port 5000

Open FPGA Toolchain by Clifford Wolf et al.

https://github.com/c9/core