tools

Useful tools and configuration

• messaging
  • zmq - brokerless messaging
• tmux - terminal multiplexer
• opengrok - code search engine
• grpcui - UI for interacting with grpc server