This is a web server, but not a full TCP/IP implementation:
https://news.ycombinator.com/item?id=19146767
I'd really like to have a complete forth machine dealing with everything, say on an esp32. I guess there's FreeRTOS, so I could use that network layer, but bare metal would be so much cooler. I admit I don't even understand how it would work - would I have to bit-bang the ethernet lines?