Alternatives and similar repositories for coracle

Users that are interested in coracle are comparing it to the libraries listed below

• mirage / mirage-nat
  library for network address translation intended for use with mirage unikernels
  ☆33Updated 11 months ago
• incubaid / baardskeerder
  A persistent B-ish-tree
  ☆57Updated 6 years ago
• krohrer / caml-inspect
  Inspection of internal value representations and the object graph
  ☆32Updated 9 years ago
• andreas / mirage-swim
  Membership protocol for Mirage unikernel clusters based on SWIM
  ☆18Updated 9 years ago
• yansh / MoanaML
  Moana implementation in OCaml
  ☆16Updated 10 years ago
• mirage / mirage-handbook
  WIP Handbook for MirageOS
  ☆14Updated 7 years ago
• Cjen1 / OCons
  ☆13Updated last year
• huiyaozheng / Mirage-zmq
  An implementation of some 0MQ RFCs in OCaml for MirageOS
  ☆11Updated 6 years ago
• essdotteedot / sessions
  Library to provide session types to allow for static verification of protocols between concurrent computations.
  ☆17Updated 9 years ago
• emillon / ocaml-noise
  The Noise Protocol Framework, with types
  ☆26Updated 4 years ago
• robur-coop / ocaml-letsencrypt
  ☆34Updated 11 months ago
• mirage / mirage-solo5
  Solo5 core platform libraries for MirageOS
  ☆19Updated 4 months ago
• ruhatch / mirage-btrees
  ☆12Updated 9 years ago
• mshinwell / libmonda
  Make OCaml native debugging awesome
  ☆32Updated 6 years ago
• djs55 / ocaml-btree
  A b-tree implementation for Mirage BLOCK devices
  ☆15Updated 9 years ago
• haesbaert / rawlink
  An ocaml library for using BPF/AF_SOCKET in a platform independent way.
  ☆17Updated 2 years ago
• mirage / mirage-lambda
  An eDSL for MirageOS apps
  ☆20Updated 7 years ago
• verbosemode / syslogd-mirage
  MirageOS Syslog Unikernel
  ☆11Updated 9 years ago
• mirage / ocaml-vchan
  Pure OCaml implementation of the "vchan" shared-memory communication protocol
  ☆45Updated 11 months ago
• mirage / mirage-profile
  Collect profiling information
  ☆18Updated 2 years ago
• murbard / plebeia
  Optimized Patricia trie with disk storage
  ☆31Updated 6 years ago
• seplogic / corestar
  coreStar is a symbolic execution engine for analysis and verification with separation logic
  ☆25Updated 8 years ago
• TImada / mirage_iperf
  iperf like tool on MirageOS
  ☆11Updated 4 months ago
• shonfeder / emojitsu
  Tiny executable techniques for dealing with emoji
  ☆22Updated 4 years ago
• robur-coop / ocaml-openpgp
  WiP: RFC 4880 (OpenPGP) library and utilities in OCaml
  ☆24Updated 7 years ago
• mfp / oraft
  Raft consensus algorithm implementation
  ☆31Updated 5 years ago
• hammerlab / coclobas
  Configurable Cloudy Batch Scheduler
  ☆16Updated 8 years ago
• simonjbeaumont / ocaml-flock
  Ctypes bindings to flock(2) for OCaml
  ☆14Updated last year
• jonludlam / ocaml-iso-filesystem
  Library for manipulating ISO images
  ☆12Updated 6 years ago
• tsubame-sp / ocaml_at_p
  OCaml@p : OCamlにおけるデバッグ出力機構 / A debugging printer for OCaml
  ☆10Updated 8 years ago