GitHub repository: yourselvs/RoleFilter
Primary language: JavaScript
Description: A BetterDiscord plugin that enables simple, powerful user filtering.