dotty: dotty (Python query language) dotty: dotty: EFILTER (dotty) is a general purpose query language designed to be dotty: embedded in python applications and libraries. dotty: dotty: Homepage: https://github.com/google/dotty dotty: dotty: dotty: dotty: dotty: