Alternatives and similar repositories for mirage-tcpip:

Users that are interested in mirage-tcpip are comparing it to the libraries listed below

• mirage / ocaml-git
  Pure OCaml Git format and protocol
  ☆364Updated last month
• mirage / mirage-www
  Website infrastructure and content for mirage.io
  ☆172Updated 5 months ago
• mirleft / ocaml-tls
  TLS in pure OCaml
  ☆307Updated last month
• ocaml / ocamlunix
  Unix system programming in OCaml book
  ☆288Updated 6 years ago
• frenetic-lang / frenetic
  The Frenetic Programming Language and Runtime System
  ☆224Updated last year
• mirage / mirage-skeleton
  Examples of simple MirageOS apps
  ☆229Updated 3 weeks ago
• ocaml-multicore / reagents
  Reagents for multicore OCaml
  ☆126Updated last year
• janestreet / async
  Jane Street Capital's asynchronous execution library
  ☆214Updated 4 months ago
• mirage / ocaml-solo5
  Freestanding OCaml runtime
  ☆103Updated 2 weeks ago
• Drup / tyre
  Typed Regular Expressions
  ☆171Updated 5 years ago
• inhabitedtype / httpaf
  A high performance, memory efficient, and scalable web server written in OCaml
  ☆541Updated 10 months ago
• ocaml-multicore / ocaml-multicore
  Multicore OCaml
  ☆762Updated 2 years ago
• uwplse / verdi-raft
  An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
  ☆187Updated last year
• mransan / ocaml-protoc
  A Protobuf Compiler for OCaml
  ☆181Updated 6 months ago
• janestreet / core_kernel
  Jane Street's standard library overlay (kernel)
  ☆217Updated 4 months ago
• ocsigen / lwt
  OCaml promises and concurrent I/O
  ☆747Updated 3 weeks ago
• anmonteiro / ocaml-h2
  An HTTP/2 implementation written in pure OCaml
  ☆314Updated 6 months ago
• ocaml-multicore / effects-examples
  Examples to illustrate the use of algebraic effects in Multicore OCaml
  ☆437Updated 10 months ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆267Updated 5 months ago
• mit-pdos / fscq
  FSCQ is a certified file system written and proven in Coq
  ☆238Updated 2 years ago
• ocaml-multicore / parallel-programming-in-multicore-ocaml
  Tutorial on Multicore OCaml parallel programming with domainslib
  ☆288Updated last year
• mmottl / pure-fun
  Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"
  ☆147Updated 2 months ago
• inhabitedtype / faraday
  Serialization library built for speed and memory efficiency
  ☆137Updated 2 years ago
• stedolan / crowbar
  Property fuzzing for OCaml
  ☆188Updated last year
• yallop / ocaml-ctypes
  Library for binding to C libraries using pure OCaml
  ☆381Updated last month
• mirage / ocaml-dns
  OCaml implementation of the DNS protocol
  ☆105Updated last month
• c-cube / qcheck
  QuickCheck inspired property-based testing for OCaml.
  ☆368Updated this week
• bobzhang / ocaml-book
  a book about ocaml
  ☆186Updated 7 years ago
• cyrus- / relit
  Hygienic typed literal macros (TLMs) for Reason
  ☆209Updated 6 years ago
• mirage / ocaml-cohttp
  An OCaml library for HTTP clients and servers using Lwt or Async
  ☆729Updated 2 weeks ago