mirage/ocaml-openflow external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

mirage/ocaml-openflow

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/mirage/ocaml-openflow)

Close

mirage / ocaml-openflowView on GitHubMore

• External links
• Readme badge

☆12Aug 24, 2014Updated 11 years ago

Alternatives and similar repositories for ocaml-openflow

Users that are interested in ocaml-openflow are comparing it to the libraries listed below

• mirage / qubes-mirage-skeleton

  View on GitHub
  An example Mirage unikernel that runs as a Qubes AppVM
  ☆23Nov 25, 2020Updated 5 years ago
• ziman / idris-bytes

  View on GitHub
  FFI-based byte buffers for Idris
  ☆10Jun 21, 2019Updated 6 years ago
• rodrigogribeiro / idrisregexp

  View on GitHub
  Regular expression matching in Idris
  ☆11Apr 27, 2016Updated 9 years ago
• nojb / ocaml-maildir

  View on GitHub
  OCaml library to access Maildir folders
  ☆19Feb 25, 2019Updated 7 years ago
• ruuda / transducers

  View on GitHub
  A transducer library for Rust
  ☆10May 22, 2016Updated 9 years ago
• tanmaykm / OpenIDConnect.jl

  View on GitHub
  OpenID Connect for Julia
  ☆14Dec 3, 2025Updated 3 months ago
• en4bz / rdma

  View on GitHub
  C++ RDMA Wrappers
  ☆10Apr 15, 2017Updated 8 years ago
• esbullington / snabbp4

  View on GitHub
  p4 language running on Snabb Switch (work-in-progress)
  ☆12Feb 27, 2016Updated 10 years ago
• gnikol / P4-Wireshark-Dissector

  View on GitHub
  This repository contains the Wireshark dissector generator from a P4 file input.
  ☆15Mar 24, 2017Updated 8 years ago
• puffnfresh / crosscheck

  View on GitHub
  Using QuickCheck to test functions in other languages/environments.
  ☆33Mar 11, 2015Updated 10 years ago
• jasonhemann / micro-in-mini

  View on GitHub
  an implementation of a microKanren(-like language) in miniKanren
  ☆27Aug 1, 2014Updated 11 years ago
• kmcallister / pngbox

  View on GitHub
  Demo: OS sandboxing for unsafe code in Rust
  ☆13Mar 10, 2015Updated 10 years ago
• HyperVDP / HyperV

  View on GitHub
  HyperV: High-Performance Virtualization of the Programmable Data Plane
  ☆12Oct 22, 2017Updated 8 years ago
• idris-hackers / idris-posix

  View on GitHub
  System POSIX bindings for Idris.
  ☆36Jan 5, 2019Updated 7 years ago
• woju / qubes-desktop-linux-awesome

  View on GitHub
  ☆14May 20, 2016Updated 9 years ago
• SkySkimmer / HoTTClasses

  View on GitHub
  HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)
  ☆17Dec 9, 2020Updated 5 years ago
• jsommers / fs

  View on GitHub
  The fs flow record generator / network simulator.
  ☆21Apr 17, 2016Updated 9 years ago
• nojb / ocaml-imap

  View on GitHub
  Lwt-compatible IMAP4rev1 client library for OCaml
  ☆41Dec 29, 2020Updated 5 years ago
• ergl / crdt-ml

  View on GitHub
  CRDTs - Conflict-Free Replicated Data Types for OCaml
  ☆47Sep 15, 2016Updated 9 years ago
• mmcco / verified-parser-example

  View on GitHub
  A minimal example of a formally verified parser using ocamllex and Menhir's Coq backend.
  ☆21Mar 19, 2015Updated 10 years ago
• ujamjar / hardcaml-examples

  View on GitHub
  HardCaml example designs
  ☆18Jun 13, 2018Updated 7 years ago
• jgm / filestore

  View on GitHub
  A versioning file store backed by git, darcs, or mercurial
  ☆37Aug 26, 2025Updated 6 months ago
• Leonidas-from-XIV / nosetup

  View on GitHub
  An automatic require loader for OCaml toplevels
  ☆19Feb 27, 2019Updated 7 years ago
• xguerin / ppx_bitstring

  View on GitHub
  PPX plugin for the OCAML OPAM bitstring package
  ☆16Jan 10, 2018Updated 8 years ago
• huonw / order-stat

  View on GitHub
  Compute order statistics
  ☆15Sep 16, 2023Updated 2 years ago
• graydon / z3-rs

  View on GitHub
  ☆24Aug 30, 2018Updated 7 years ago
• michaelballantyne / meta-minikanren

  View on GitHub
  A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!
  ☆24May 1, 2016Updated 9 years ago
• yav / simple-smt

  View on GitHub
  ☆22Oct 20, 2025Updated 4 months ago
• FlowForwarding / loom

  View on GitHub
  LOOM Controller
  ☆33May 10, 2016Updated 9 years ago
• TUD-OS / migros-atc-2021

  View on GitHub
  Repository linking to the software artifacts used for the MigrOS ATC 2021 paper
  ☆18May 31, 2021Updated 4 years ago
• ziman / idris-ocaml

  View on GitHub
  OCaml back end for Idris
  ☆22Jan 24, 2018Updated 8 years ago
• pangyemeng / mydpdkdns

  View on GitHub
  dns server with high performance, based on dpdk.
  ☆22Oct 14, 2017Updated 8 years ago
• daehyeok-kim / redplane-public

  View on GitHub
  ☆20May 26, 2021Updated 4 years ago
• GaloisInc / lean-haskell-bindings

  View on GitHub
  Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/
  ☆22Aug 25, 2017Updated 8 years ago
• opencord / p4se

  View on GitHub
  BNG/PPPoE P4 software
  ☆18Mar 20, 2020Updated 5 years ago
• picty / parsifal

  View on GitHub
  Parsifal : an OCaml-based parsing engine
  ☆64Jan 12, 2021Updated 5 years ago
• jtoman / claims

  View on GitHub
  A LaTeX package for proof carrying papers
  ☆24Dec 8, 2016Updated 9 years ago
• heades / System-F-Coq

  View on GitHub
  System F in coq.
  ☆19Jan 27, 2015Updated 11 years ago
• yallop / ocaml-pb

  View on GitHub
  An OCaml library for describing Protobuf messages
  ☆30Feb 4, 2021Updated 5 years ago