Keras uses Theano as a backend. It's a library with higher-level abstractions for neural networks.