No Ports found

"no compatible devices found"

Could you get a screenshot of the error? Could the Puck still be paired to either the Android or a Windows device? It can only be connected to one computer at once, so if it's connected to something already it won't show up to other devices for connecting.

Any other ways I can program it with the IDE?

The Native Web IDE should work on Windows: http://www.espruino.com/Web+IDE#as-a-nat­ive-application

Either Windows 10 PCs natively (after pairing), or any Windows PC with a standard $10 bluetooth dongle (see here) should work - surely one of your Windows machines will work like that?

You can also use EspruinoHub on a Raspberry Pi 3 or Pi Zero W - you can then connect to raspberrypi.local:1888/ide and can program Espruino through that

I have and without the availability of a smart phone, I believe I'm out of luck.

Firmware updates are now available via the Web IDE website espruino.com/ide if you have Web Bluetooth. However if you're on Windows and you don't have access to a Smartphone (or a friend that you can borrow one off for 10 mins) then yes, updating will be hard. However very soon Google should be producing a working Web Bluetooth for Windows 10, so that should all get solved.

As there aren't wires, need to communicate via Bluetooth

You can connect a $5 USB-TTL converter to program it if you want to: http://www.espruino.com/Puck.js#serial-c­onsole