For the , download the ProjectHEX ESP32 library . Use it for testing wiring logic and basic code flow, but do not rely on it for WiFi or Bluetooth projects. For IoT projects involving WiFi, it is usually better to use real hardware or a different simulation tool like Wokwi (a browser-based simulator that supports WiFi simulation).
Historically, the "best" libraries were user-created mods shared on forums. However, the landscape changed significantly with the release of Proteus version 8.13 (and refined in subsequent updates like 8.14 and 8.15). Labcenter Electronics, the developers of Proteus, added experimental native support for the ESP32. esp32 library proteus best