Beim WinAVR ist eine libc-reference enthalten, was man quasi als Funktionsreferenz für AVR-C nehmen könnte.
Aber erwarte Dir nicht zuviel davon. Du hast lange nicht so umfangreiche Funktionen zur Verfügung wie beispielsweise in PHP. Du musst halt ziemlich viel per Hand machen.

askazo