tcp
A purely functional TCP implementation Peng Li's TCP stack based on the formal HOL4 TCP specification at http://www.cl.cam.ac.uk/~pes20/Netsem/, code base on the unified events and threads project http://www.seas.upenn.edu/~lipeng/homepage/unify.html.
Ecosystem
hackage.haskell.org
hackage.haskell.org
Latest Release
almost 17 years ago
0.0.2
almost 17 years ago
Versions
1
1
Downloads
1,173 total
1,173 total
Loading...
Readme
Loading...
Links
| Registry | hackage.haskell.org |
| Homepage | Homepage |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
| PURL |
pkg:hackage/tcp
spec |
| License | BSD-3-Clause |
| First Release | almost 17 years ago |
| Last Synced | 3 days ago |