{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/tcp","name":"tcp","description":"A purely functional TCP implementation\n\nPeng Li's TCP stack based on the formal HOL4 TCP\nspecification at\nhttp://www.cl.cam.ac.uk/~pes20/Netsem/,\ncode base on the unified events and threads project\nhttp://www.seas.upenn.edu/~lipeng/homepage/unify.html.","version":"0.0.2","softwareVersion":"0.0.2","license":"https://spdx.org/licenses/BSD-3-Clause","url":"http://www.cl.cam.ac.uk/~pes20/Netsem/","keywords":["bsd3","library","network","Propose Tags"],"maintainer":[{"@type":"Person","name":"DonaldStewart"}],"author":[{"@type":"Person","name":"DonaldStewart"}],"copyrightHolder":[{"@type":"Person","name":"DonaldStewart"}],"dateCreated":"2009-04-07","dateModified":"2009-04-07","datePublished":"2009-04-07","copyrightYear":2009,"downloadUrl":"https://hackage.haskell.org/package/tcp-0.0.2/tcp-0.0.2.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","sameAs":["https://hackage.haskell.org/package/tcp"]}