AndreasVoellmy / openflowLinks
Haskell library implementing OpenFlow protocol versions 1.0 and 1.3
☆20Updated 8 years ago
Alternatives and similar repositories for openflow
Users that are interested in openflow are comparing it to the libraries listed below
Sorting:
- An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…☆57Updated 14 years ago
- A multi-method simulation library☆81Updated last year
- High performance, regular, shape polymorphic parallel arrays.☆144Updated last year
- TLS/SSL implementation in haskell☆409Updated last week
- Binary streaming library for Postgres data pipelines☆17Updated 6 years ago
- Haskell bindings for the pcap library, which provides a low level interface to packet capture systems.☆27Updated 5 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- The haskell network stack☆118Updated 8 years ago
- A Haskell native implementation of matrices and their operations.☆35Updated 2 years ago
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆57Updated 5 years ago
- Accepted papers for ICFP 2015☆45Updated 9 years ago
- LLVM backend for Accelerate☆168Updated 3 weeks ago
- A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API☆134Updated 4 years ago
- A library for formalizing Haskell types and functions in Coq☆171Updated 2 years ago
- A SAT solver written in Haskell.☆39Updated 7 years ago
- HTTP/2.0 library including HPACK☆90Updated last month
- DEPRECATED: Accelerate backend for NVIDIA GPUs☆56Updated 8 years ago
- Pre-processor for .hsc files☆43Updated last month
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆150Updated 4 years ago
- ☆127Updated 2 years ago
- Coordinate-free hypersurfaces as Haskell types☆41Updated 10 months ago
- CLaSH prelude library containing datatypes and functions for circuit design☆31Updated 7 years ago
- A hip inductive theorem prover!☆90Updated 4 years ago
- Library for dealing with system processes☆90Updated 7 months ago
- Numerical computation in native Haskell☆93Updated 3 weeks ago
- Non-blocking concurrent hashmap for Haskell☆18Updated 8 years ago
- Summer school on programming in Agda☆68Updated 2 years ago
- Template for quickly and easily combining happy and alex☆48Updated 10 years ago
- A graphical tool for profiling parallel Haskell programs☆170Updated this week
- ICFP 2019 preprints/papers☆44Updated 6 years ago