GitHub repository: sel4-cap/picolibc
Primary language: C
Description: picolibc - a C library designed for embedded 32- and 64- bit systems.