GitHub repository: mbehensky/picolibc
Description: picolibc - a C library designed for embedded 32- and 64- bit systems.