A repository of formal language projects