AutoComplex is an Android app that uses "autocomplete" to let the user look up nondeterministic automaton complexity, including proof hints in the form of witnessing sequences of states, of binary strings. So it serves as a database of information about that specific notion of complexity.
