GitHub repository: JakubFrejlach/ahofa
Description: reduction of NFAs used for IDS