I think it's literally a part of their window manager, not their terminal or shell. They have a monospaced font, which makes it look ambiguous

Their code[1] references "wibox", a concept from the `awesome` WM[2]

[1]: https://github.com/madprops/awesome-setup/blob/master/madwid... [2]: https://awesomewm.org/doc/api/classes/wibox.html