GitHub repository: AidanDelaney/Mira
Primary language: Haskell
Description: A library for manipulating finite automata