Alternatives and similar repositories for openflow

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

• sdiehl / llvm-tutorial-standalone
  DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )
  ☆37Updated 7 years ago
• bos / pcap
  Haskell bindings for the pcap library, which provides a low level interface to packet capture systems.
  ☆27Updated 5 years ago
• jberryman / unagi-chan
  A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API
  ☆130Updated 3 years ago
• xgrommx / coq-ecosystem
  ☆42Updated 6 years ago
• mpickering / icfp2015-papers
  Accepted papers for ICFP 2015
  ☆45Updated 9 years ago
• takenobu-hs / lazy_evaluation
  haskell lazy evaluation illustrated
  ☆72Updated 8 years ago
• rrnewton / haskell-lockfree
  A collection of different packages for CAS based data structures.
  ☆108Updated 11 months ago
• tsurucapital / franz
  Append-only list persist & query system
  ☆27Updated 3 years ago
• elsen-trading / pgstream
  Binary streaming library for Postgres data pipelines
  ☆17Updated 5 years ago
• ajtulloch / haskell-ml
  Haskell implementations of various ML algorithms.
  ☆57Updated 11 years ago
• AccelerateHS / accelerate-cuda
  DEPRECATED: Accelerate backend for NVIDIA GPUs
  ☆56Updated 8 years ago
• NicolasT / kontiki
  An implementation of the Raft consensus protocol
  ☆121Updated 2 years ago
• haskell / parallel
  a library for parallel programming
  ☆94Updated this week
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• ozataman / shpider
  A web automation library for Haskell
  ☆36Updated 9 years ago
• dlicata335 / hott-agda
  ☆84Updated 7 years ago
• ekmett / kan-extensions
  Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
  ☆79Updated 3 months ago
• simonmar / monad-par
  ☆125Updated last year
• vincenthz / hs-memory
  haskell memory
  ☆48Updated last year
• kazu-yamamoto / mighttpd2
  File/CGI web server on Warp
  ☆139Updated 6 months ago
• dsorokin / aivika
  A multi-method simulation library
  ☆80Updated 11 months ago
• ollef / Generate-C
  Embedded C code generation DSL for Haskell.
  ☆28Updated 6 years ago
• tomahawkins / improve
  An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…
  ☆57Updated 13 years ago
• haskell / haskell-report
  Haskell Language Report
  ☆91Updated 5 years ago
• hargettp / courier
  A message-passing library, intended for simplifying network applications
  ☆43Updated 7 years ago
• msgpack / msgpack-haskell
  Haskell implementation of MessagePack / msgpack.org[Haskell]
  ☆139Updated 2 years ago
• UlfNorell / agda-summer-school
  Summer school on programming in Agda
  ☆68Updated last year
• bitc / hdevtools
  REPO UNMAINTAINED!!! Try this: https://github.com/hdevtools/hdevtools/
  ☆171Updated 5 years ago
• spl / dlist
  Difference lists in Haskell
  ☆65Updated 11 months ago
• OlafChitil / hat
  The Haskell tracer - generating and viewing Haskell execution traces
  ☆38Updated 2 years ago