Alternatives and similar repositories for mirage-tcpip

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

• mirleft / ocaml-tls
  TLS in pure OCaml
  ☆314Updated 3 months ago
• mirage / mirage-www
  Website infrastructure and content for mirage.io
  ☆171Updated 2 months ago
• mirage / ocaml-git
  Pure OCaml Git format and protocol
  ☆366Updated 2 months ago
• frenetic-lang / frenetic
  The Frenetic Programming Language and Runtime System
  ☆226Updated last year
• mirage / mirage-skeleton
  Examples of simple MirageOS apps
  ☆231Updated 2 months ago
• ocaml / ocamlunix
  Unix system programming in OCaml book
  ☆289Updated 7 years ago
• mirage / mini-os
  Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git
  ☆64Updated 5 years ago
• mirage / ocaml-solo5
  Freestanding OCaml runtime
  ☆105Updated 4 months ago
• janestreet / core_kernel
  Jane Street's standard library overlay (kernel)
  ☆216Updated last month
• mit-pdos / fscq
  FSCQ is a certified file system written and proven in Coq
  ☆247Updated 2 years ago
• mirage / ocaml-dns
  OCaml implementation of the DNS protocol
  ☆108Updated last week
• janestreet / async
  Jane Street Capital's asynchronous execution library
  ☆220Updated last month
• yallop / ocaml-ctypes
  Library for binding to C libraries using pure OCaml
  ☆394Updated last month
• heidihoward / ocaml-raft
  Implementation of Raft consensus algorithm
  ☆112Updated 10 years ago
• ocaml-multicore / reagents
  Reagents for multicore OCaml
  ☆126Updated 2 years ago
• mirage / mirage-platform
  Archived, see https://github.com/mirage/mirage/issues/1159 for details. Old: Core platform libraries for Mirage (UNIX and Xen). This prov…
  ☆78Updated 5 years ago
• mransan / ocaml-protoc
  A Protobuf Compiler for OCaml
  ☆183Updated 10 months ago
• mirage / awa-ssh
  Purely functional SSH library in ocaml.
  ☆103Updated last month
• stedolan / crowbar
  Property fuzzing for OCaml
  ☆191Updated 2 years ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆271Updated 9 months ago
• uwplse / verdi
  A framework for formally verifying distributed systems implementations in Coq
  ☆608Updated last month
• ocaml-multicore / effects-examples
  Examples to illustrate the use of algebraic effects in Multicore OCaml
  ☆440Updated last year
• uwplse / verdi-raft
  An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
  ☆189Updated last year
• bobzhang / ocaml-book
  a book about ocaml
  ☆187Updated 8 years ago
• Drup / tyre
  Typed Regular Expressions
  ☆173Updated 5 years ago
• ocaml-multicore / ocaml-multicore
  Multicore OCaml
  ☆766Updated 2 years ago
• janestreet / patdiff
  File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/
  ☆235Updated last month
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆373Updated 8 years ago
• ujamjar / hardcaml
  [Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml
  ☆119Updated 4 years ago
• vignat / vignat
  [deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofs…
  ☆75Updated 3 years ago