Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

hackage.haskell.org : 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.

Registry - Homepage - JSON
purl: pkg:hackage/tcp
Keywords: bsd3, library, network
License: BSD-3-Clause
Latest release: about 15 years ago
First release: about 15 years ago
Downloads: 1,109 total
Last synced: 11 days ago

Readme