trex: Turbo Regular Expressions Regexes with arbitrary predicates TODOs: Niceties Pretty operators to construct regexes Break up into multiple files Additional regular expressions Converting NFAs to DFAs