It looks like pocketsphinx is what does the heavy lifting (speech to text). The Gnome Voice Control just does the integration with the desktop. I'm trying to find the requirements for pocketsphinx.