Alternatives and similar repositories for mabo

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

• konne88 / bagpipe
  BGP Policy Verification
  ☆26Updated 9 years ago
• hannesm / tlstunnel-lwt
  TLS tunnel -- an alternative to stud / stunnel
  ☆84Updated 2 years ago
• mato / opam-rumprun
  OCaml 4.02 cross compiler for the rumprun unikernel stack
  ☆50Updated 9 years ago
• yomimono / simple-nat
  Demonstration NATting unikernel.
  ☆29Updated 9 years ago
• mirleft / tlstools
  some TLS utilities
  ☆17Updated 9 years ago
• mirage / qubes-mirage-skeleton
  An example Mirage unikernel that runs as a Qubes AppVM
  ☆23Updated 4 years ago
• Igalia / pflua-bench
  Benchmarking implementations of pflang, the pcap filter language
  ☆26Updated 8 years ago
• robur-coop / conex
  establish trust in community repositories, cryptographically signed by library authors
  ☆36Updated 3 months ago
• picty / parsifal
  Parsifal : an OCaml-based parsing engine
  ☆63Updated 4 years ago
• samoht / mirage-seal
  Sealing local directories into Mirage Unikernels
  ☆27Updated 9 years ago
• google / tflow2
  This software is currently maintained at https://github.com/taktv6/tflow2
  ☆39Updated 5 years ago
• stefano-garzarella / ptnetmap
  ptnetmap source code
  ☆13Updated 9 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
• keyfender / keyfender
  Secure HSM implementation based on MirageOS
  ☆38Updated 2 years ago
• rabeckett / propane
  ☆80Updated 7 years ago
• mirage / charrua
  A DHCP library in OCaml
  ☆56Updated 2 weeks ago
• ahf / ircd-scylla
  MirageOS IRC daemon.
  ☆14Updated 7 years ago
• gregtatcam / imaplet-lwt
  imaplet revamp with Lwt
  ☆19Updated 8 years ago
• crazed / bgpcommander
  etcd + exabgp
  ☆28Updated 11 years ago
• picty / concerto
  Toolset to analyse TLS datasets
  ☆12Updated 6 years ago
• stripe-ctf / octopus
  Many-armed network simulator
  ☆128Updated 11 years ago
• britram / trilateration
  Tools for quantifying error in RTT-based trilateration/geolocation techniques
  ☆20Updated 6 years ago
• tumi8 / cca-privacy
  TLS Client Certificate Authentication and its Privacy Implications
  ☆15Updated 8 years ago
• diekmann / Iptables_Semantics
  Verified iptables Firewall Ruleset Analysis
  ☆98Updated last year
• mirage / mirage-qubes
  Mirage support for writing QubesOS AppVM unikernels
  ☆64Updated 7 months ago
• booksbyus / mkbook
  Hintjens' book production tools
  ☆46Updated 9 years ago
• synclab / radclock
  RADclock - A feed-forward NTP clock.
  ☆18Updated 12 years ago
• hannesm / tlsclient
  TLS client program
  ☆11Updated 5 years ago
• lcdunstan / reqtrace
  Requirement traceability tool for OCaml
  ☆13Updated 10 years ago
• Igalia / snabb
  Snabb Switch: Fast open source packet processing
  ☆47Updated 3 years ago