GitHub - janestreet/strace_ui: A Bonsai_term application for interactively viewing strace output | FLIP NEWS