utcpversion Documentation on ocaml.org
An implementation of TCP (Transmission Control Protocol) in OCaml
µTCP is an implementation of the Transmission Control Protocol (RFC 793) in OCaml. TCP is widely used on the Internet today.
This implementation is based on the research project Network Semantics (https://www.cl.cam.ac.uk/~pes20/Netsem/) which developed a rigorous test oracle specification and validation for TCP/IP and the Sockets API (also see the JACM paper http://www.cl.cam.ac.uk/~pes20/Netsem/paper3.pdf) in HOL4. The implementation does not adhere to the specification, since some features of TCP that are rarely used are not implemented (such as the urgent flag and urgent pointers).
The target of this opam package is the MirageOS (https://mirageos.org) unikernel operating system.
| Author | Robur <team@robur.coop> |
|---|---|
| License | ISC |
| Published | |
| Homepage | https://github.com/robur-coop/utcp |
| Issue Tracker | https://github.com/robur-coop/utcp/issues |
| Maintainer | Robur <team@robur.coop> |
| Available | arch != "arm32" & arch != "x86_32" |
| Dependencies |
|
| Source [http] | https://github.com/robur-coop/utcp/releases/download/0.0.1/utcp-0.0.1.tbz sha256=f75b5907afc3fb12e1b5ebe8afe208661c8dd1e77bc66bdd390aba347d699ed8 sha512=d772adf01c5b76e1df88a7dcb62258fbb8bcc139a03670c79da8d1f4632af99eb54c0700ff871457266bc3d49ce5d4598ede35a0752b73c1431d995fa5d5a09e |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/utcp/utcp.0.0.1/opam |
No package is dependent
