Differential equations over valued fields (and more)