Alternatives and similar repositories for http-server

Users that are interested in http-server are comparing it to the libraries listed below

• acfoltzer / Molog
  A typed logic programming language embedded in Haskell
  ☆49Updated 12 years ago
• andyarvanitis / idris-cplusplus
  Experimental C++11 backend for Idris
  ☆14Updated 10 years ago
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 14 years ago
• mhwombat / som
  Self-Organising Map implementation in Haskell
  ☆24Updated 2 years ago
• batterseapower / parallel-io
  Haskell combinators for executing IO actions in parallel on a thread pool
  ☆47Updated last year
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆37Updated 9 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated 5 months ago
• cdparks / mini-core
  An implementation of the Core language
  ☆30Updated 9 years ago
• tibbe / event
  A Haskell event notification library
  ☆46Updated 14 years ago
• kcsongor / register-machine-type
  Universal Register Machine implemented at the type-level of Haskell
  ☆23Updated 9 years ago
• kazu-yamamoto / mighttpd
  A simple but practical HTTP server in Haskell. 'mighttpd' should be called 'mighty'.
  ☆42Updated 14 years ago
• mortberg / AlgTop
  Haskell library of algebraic topology
  ☆23Updated 13 years ago
• wouter-swierstra / xmonad
  xmonad in Coq
  ☆46Updated 12 years ago
• emmanueldenloye / manifoldRNC
  ☆10Updated 9 years ago
• deech / ATSPresentation
  ☆21Updated 9 years ago
• edwinb / SDL-idris
  SDL bindings package for idris
  ☆46Updated 5 years ago
• tsurucapital / euphoria
  Dynamic network FRP with events and continuous values
  ☆52Updated 4 years ago
• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 4 years ago
• idris-hackers / idris-algebra
  This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
  ☆18Updated 6 years ago
• ekmett / rounded
  MPFR bindings for Haskell
  ☆34Updated last year
• ajhc / ajhc
  A fork of jhc. And also a Haskell compiler.
  ☆134Updated 5 years ago
• themattchan / haskell-tiger
  Modern compiler implementation in ML, in Haskell
  ☆16Updated 7 years ago
• BekaValentine / SimpleFP
  A series of implementations of a simple functional programming language.
  ☆30Updated 9 years ago
• evertedsphere / how-to-implement-dependent-type-theory
  A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
  ☆38Updated 5 years ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆58Updated 8 years ago
• Copilot-Language / copilot-language
  (DEPRECATED) Front-end of Copilot defining the user language.
  ☆15Updated 4 years ago
• JLimperg / cats
  Category Theory in Agda. Learning exercise, not for public consumption.
  ☆25Updated 5 years ago
• egison / backtracking
  Backtracking monad in Haskell
  ☆14Updated 3 years ago
• sdiehl / llvm-tutorial-standalone
  DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )
  ☆37Updated 7 years ago
• haskell-distributed / distributed-process-async
  Cloud Haskell - Asynchronous Execution
  ☆18Updated 8 months ago