PyCharm is a superb IDE for Python.
Hidden deep within the settings is a means by which you'll be able to obtain totally different libraries to import in your program. Something, from the standard numpy and kivy, to the Pi normal RPi.GPIO, to externally developed ones like pigpio (that is what I exploit on my Pi, as a result of it has a daemon and does not get interrupted by the system processes).
You may get it on the JetBrains web site. There is a free (they name it PyCharm Group) model, and a Professional model, each on the JetBrains web site. I discover the Group model passable.
The draw back is that it is not probably the most intuitive software program, and it takes some time to learn how precisely you do stuff. However after some time, one lastly will get the grasp of it.
You'll be able to kind your code in your PC utilizing PyCharm, add it, after which pull it in your Pi if you wish to run it.