I think classifying it as a framework wouldn't be too far off, gives you statistical distributions to work with as primitives (x is drawn from a Normal distribution instead of just being assigned to 5 for example).

And then it uses PyTorch to perform Variational Inference(?)