There you go
https://github.com/me-no-dev/ESP31B

Timers available are the same as on the ESP8266. Just offset to a new location.
The register definitions provided are for a different (maybe future) implementation and are not true for the ESP31B.

You have one CountDown and one CountUp Timers with alarm.

I have found the ADC to be really bad. Full range at max attenuation (0-4V) actually is 0-3V or a bit below VCC In the middle of the scale (2048) voltage is actually above 2Volts which is way off of the expected 1.5V (half of full) Same can be noticed throughout the range and attenuations. Basically...

When it's available all we currently have is ESP31B (look at markings at the module).
So it works on what we all have, will rework it for ESP32 (hopefully together with @igrr) when it's released.

my software I2C (the one inside ESP8266 Arduino) is working just fine on the ESP31B. Only thing needed to change was those 4 definitions on top to the new register locations. pinWork is simple: Set the pins as: PullUP ON, Mode GPIO, output LOW then to switch the pin level you only need to Enable/Dis...

I've translated over just about everything over from ESP8266. I have the following hardware working: HSPI and VSPI SPI busses attached to any pin UART 0 and 1 (0 is attached to pins 1 and 3) UART 1 can be attached to any pins pinMode/digitalRead/digitalWrite/attachInterrupt analogRead (duh) SDK func...

there are 3 SPI busses available. The first is the SPI bus that takes care of the FLASH chip and is referred to simply by SPI.
Then there are the other 2 SPI busses (HSPI and VSPI) and while those have default pins, you can attach them to any pin you like.