GitHub repository: EvolveYourMind/agda-regexp-automata
Primary language: Agda
Description: Thesis for my Computer Science bachelor's degree. It contains a formalization in Agda of the equivalence of regular expressions and finite-state automata, along with the proof of the pumping lemma which shows their limits.