GitHub repository: GaloisInc/BESSPIN-FreeRTOS-Plus-TCP
Primary language: C
Description: FreeRTOS-Plus-TCP library repository. +TCP files only. Submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.