What tagging plugin does meta.discourse.org use?

it’s really nice – would like to include it on my forum

Thanks
Nick

This one. Please search before asking https://meta.discourse.org/t/early-preview-of-the-new-tagging-plugin/23713