GitHub repository: jvoigtlaender/pumping-regular
Primary language: Elm
Description: Demonstrating the pumping lemma for regular languages.