This is a binary version of RealGeom compiled for Raspberry Pi 3/4 machines.
To use it with GeoGebra (see https://github.com/kovzol/geogebra/releases/tag/v5.0.560.0-20191018-rpi4) just copy this file over an old version of realgeom.jar (it is in the folder geogebra-realgeom-20191018-rpi4/realgeom/lib/).
What's new in this release
By using (partial) linearization several inputs can be simplified and a major speedup will be achieved.