AndreasVoellmy / openflow

Related projects ⓘ

Alternatives and complementary repositories for openflow

• hargettp / courier
  A message-passing library, intended for simplifying network applications
  ☆43Updated 6 years ago
• elsen-trading / pgstream
  Binary streaming library for Postgres data pipelines
  ☆18Updated 5 years ago
• hBPF / hBPF
  Simple DSL that comiles to BPF assembly
  ☆17Updated 6 years ago
• conal / circat
  A categorical framework for circuit construction
  ☆30Updated 8 years ago
• Happstack / happstack-foundation
  ☆8Updated 2 years ago
• takenobu-hs / lazy_evaluation
  haskell lazy evaluation illustrated
  ☆71Updated 7 years ago
• nominolo / union-find
  Efficient union and equivalence testing of sets.
  ☆30Updated 5 years ago
• ekmett / rounded
  MPFR bindings for Haskell
  ☆33Updated last year
• sdiehl / llvm-tutorial-standalone
  DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )
  ☆37Updated 7 years ago
• mcschroeder / ctrie
  Non-blocking concurrent hashmap for Haskell
  ☆17Updated 7 years ago
• emilaxelsson / imperative-edsl
  Deep embedding of imperative programs with code generation
  ☆23Updated 2 years ago
• HaskellEmbedded / ion
  An Ivory library inspired by Atom
  ☆14Updated 8 years ago
• vincenthz / hs-memory
  haskell memory
  ☆48Updated last year
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆88Updated 2 years ago
• ekmett / hyperloglog
  A constant-memory approximation of set membership
  ☆24Updated 4 months ago
• vincenthz / hit
  library to manipulate git repositories in haskell (no bindings)
  ☆49Updated 5 years ago
• haskell-distributed / distributed-static
  Support for static values
  ☆22Updated 2 months ago
• PatrickMaier / HdpH
  Haskell distributed parallel Haskell
  ☆38Updated 7 years ago
• GaloisInc / argo
  A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW
  ☆15Updated last month
• patrickt / blimp
  an example airship app
  ☆14Updated 8 years ago
• corsis / clock
  High-resolution clock functions: monotonic, realtime, cputime.
  ☆58Updated last year
• Shimuuar / fixed-vector
  Fixed length vector for haskell
  ☆21Updated 7 months ago
• haskell-hvr / uhttpc
  `uhttpc` - µHTTP client library
  ☆27Updated 5 years ago
• agocorona / TCache
  Transactional cache with configurable persistence
  ☆48Updated last year
• scmu / mrm
  Modular Reifiable Matching, A List-of-Functors Approach to Two-Level Types
  ☆9Updated 7 years ago
• bollu / simplexhc-cpp
  optimising compiler for Haskell's intermediate representation (STG) to LLVM IR
  ☆31Updated 5 years ago
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated 2 weeks ago
• abailly / raptr
  Raft distributed consensus over HTTP
  ☆7Updated 4 years ago