AndreasVoellmy / openflow
Haskell library implementing OpenFlow protocol versions 1.0 and 1.3
☆20Updated 7 years ago
Alternatives and similar repositories for openflow:
Users that are interested in openflow are comparing it to the libraries listed below
- Haskell bindings for the pcap library, which provides a low level interface to packet capture systems.☆27Updated 5 years ago
- Haskell generic interface (type classes) for cryptographic algorithms☆28Updated 7 years ago
- Append-only list persist & query system☆27Updated 3 years ago
- haskell lazy evaluation illustrated☆72Updated 7 years ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆79Updated last month
- A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API☆130Updated 3 years ago
- An implementation of the Raft consensus protocol☆121Updated 2 years ago
- An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…☆57Updated 13 years ago
- haskell memory☆48Updated last year
- A categorical framework for circuit construction☆31Updated 8 years ago
- ☆125Updated last year
- ☆84Updated 7 years ago
- haskell bindings for blas and lapack☆49Updated 7 years ago
- Literature review of GHC's Core language, System FC☆66Updated 6 years ago
- Accepted papers for ICFP 2015☆45Updated 9 years ago
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆53Updated last year
- A simple but practical HTTP server in Haskell. 'mighttpd' should be called 'mighty'.☆42Updated 14 years ago
- Binary streaming library for Postgres data pipelines☆17Updated 5 years ago
- Haskell implementation of MessagePack / msgpack.org[Haskell]☆138Updated 2 years ago
- Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation☆59Updated 7 years ago
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆57Updated 4 years ago
- A message-passing library, intended for simplifying network applications☆43Updated 6 years ago
- InfluxDB client library for Haskell☆54Updated 8 months ago
- IP Routing Table in Haskell☆47Updated 5 months ago
- library to manipulate git repositories in haskell (no bindings)☆49Updated 6 years ago
- Fast binary serialization in Haskell☆110Updated 3 months ago
- ICFP 2019 preprints/papers☆44Updated 5 years ago
- ☆50Updated 9 years ago
- DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )☆37Updated 7 years ago
- A multi-method simulation library☆80Updated 9 months ago