Here is another one: https://f-droid.org/en/packages/ru.tech.imageresizershrinker...

It also has a bunch of other features

Obligatory mention: ImagePipe[0]. It lets you compress pictures and edit them. You can share images to ImagePipe and it automatically shows a dialog to share compressed versions with another app (hence the "Pipe" -- it's a pipeline!)

[0]: https://f-droid.org/en/packages/de.kaffeemitkoffein.imagepip...