microTCP

TCP/IP implementation derived from HOL4 formal specification
Is freely licensed? ✅
Website https://blog.robur.coop/articles/utcp.html
Source https://git.robur.coop/robur/utcp
NLNet grant pages