There are 2 repositories under picotcp topic.
Frosted: Free POSIX OS for tiny embedded devices
Abandonned in favor of smoltcp