C(++) library for DFAs - free for academic use
I don't know of a full blown library, but based on [1] there is a really fast practical C++ implementation available from the author's homepage here.



[1] Valmari, Antti. "Fast brief practical DFA minimization." Information Processing Letters 112.6 (2012): 213-217.