Yes that is correct, we have released an Arduino IDE for the ESP8266!!!
Thanks to IGRR and http://www.themindfactory.com for the effort!

Moderator: igrr

Forum
Title Statistics Last post
WIFIO Dual Arduino WIFI module
WIFIO is a dual Arduino WIFI module (ESP8266+ATMEGA328P) FCC approve-able with transferable licence. Can use the 328P for I/O expansion also...
Moderator: igrr
20 Topics
118 Posts
by philbowles
Tue Aug 08, 2017 4:36 pm
General Discussions
Your new topic does not fit any of the above??? Check first. Then post here. Thanks.
Moderator: igrr
1699 Topics
7691 Posts
by QuickFix
Tue Aug 22, 2017 4:54 pm
Example Sketches
Example sketches for the new Arduino IDE for ESP8266
Moderator: igrr
372 Topics
2809 Posts
by mugginsjm
Fri Aug 18, 2017 5:46 am
Downloading and installing
Downloading and installing the new Arduino IDE for ESP8266
Moderator: igrr
157 Topics
928 Posts
by gbafamily1
Tue Jul 18, 2017 6:21 pm
News
Arduino News here
Moderator: igrr
12 Topics
89 Posts
by kodak
Sat Jul 15, 2017 6:28 pm
Github code chat for ESP8266 Arduino IDE
Chat here about code rewrites, mods, etc... with respect to the github project https://github.com/esp8266/Arduino
Moderator: igrr
121 Topics
566 Posts
by boneskull
Fri Aug 18, 2017 2:19 pm
Connecting existing modules
Chat here is you are connecting ESP-xx type modules to existing AVR based Arduino
Moderator: igrr
108 Topics
489 Posts
by QuickFix
Sat Aug 05, 2017 5:27 pm
Bug Reports
Using the new Arduino IDE for ESP8266 and found bugs, report them here
Moderator: igrr
204 Topics
983 Posts
by clegg
Tue Aug 08, 2017 8:41 am
Video Tutorials
Various video and tutorials for the new Arduino IDE for ESP8266
Moderator: igrr
18 Topics
48 Posts
by mialee
Wed Apr 26, 2017 3:04 am
Active topics
Title Statistics Last post
 WIFIO next steps? Lets get Community involvement going.....
1 ... 4, 5, 6 by RichardS - Thu Aug 27, 2015 11:02 am
20 Replies
23278 Views
by philbowles
Tue Aug 08, 2017 4:36 pm
 API and Documentation
1, 2, 3, 4, 5 by Mikejstb - Mon Mar 30, 2015 2:48 pm
19 Replies
43482 Views
by urbanze
Sat Apr 01, 2017 9:10 pm
 Wifi Almost not working
by Nander - Tue Aug 22, 2017 1:46 am
1 Replies
127 Views
by QuickFix
Tue Aug 22, 2017 4:54 pm
 Setup the desired interrupt
1, 2, 3 by nimaaryamehr - Wed Aug 16, 2017 12:41 am
9 Replies
972 Views
by nimaaryamehr
Tue Aug 22, 2017 1:14 pm
 ESP updates another ESP using ESP8266HTTPUpdateServer
by diffstorm - Mon Aug 21, 2017 1:13 pm
1 Replies
246 Views
by diffstorm
Tue Aug 22, 2017 3:37 am
 UDP Packet sending, time delays of about 150ms
1, 2, 3, 4 by MM596 - Sat Aug 19, 2017 5:00 am
13 Replies
803 Views
by MM596
Sun Aug 20, 2017 8:31 am
 WiFi Reconnect after wifi router disconnect
by patman - Fri Feb 19, 2016 7:47 pm
3 Replies
8582 Views
by Anekwong
Sun Aug 20, 2017 4:10 am
 Why can't Arduino be based on rtos sdk?
by helpme - Sun Aug 20, 2017 2:00 am
0 Replies
202 Views
by helpme
Sun Aug 20, 2017 2:00 am
 MP3, FLAC, MOD, & WAV with SW or HW DAC in Arduino IDE
1, 2, 3, 4 by earlephilhower - Sat Aug 12, 2017 12:25 pm
13 Replies
1281 Views
by reaper7
Sat Aug 19, 2017 3:39 am
 DigiStump Oak support
by boneskull - Fri Aug 18, 2017 2:19 pm
0 Replies
182 Views
by boneskull
Fri Aug 18, 2017 2:19 pm