Alternatives and similar repositories for http-server

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

• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆48Updated 4 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• BekaValentine / SimpleFP
  A series of implementations of a simple functional programming language.
  ☆30Updated 9 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated last month
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 9 years ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆38Updated 9 years ago
• edwinb / SDL-idris
  SDL bindings package for idris
  ☆47Updated 5 years ago
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆14Updated 9 years ago
• serokell / foundry
  Morte IDE
  ☆29Updated 3 months ago
• acfoltzer / Molog
  A typed logic programming language embedded in Haskell
  ☆49Updated 12 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 7 years ago
• wouter-swierstra / xmonad
  xmonad in Coq
  ☆46Updated 13 years ago
• harlanhaskins / hasm
  An Assembly-like programming language and interpreter in Haskell
  ☆16Updated 9 years ago
• coot / heyting-algebras
  Heyting Algebras in Haskell
  ☆14Updated 2 years ago
• haskell-distributed / network-transport-tcp
  TCP Realisation of Network.Transport
  ☆29Updated 10 months ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 11 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆65Updated 10 years ago
• andyarvanitis / idris-cplusplus
  Experimental C++11 backend for Idris
  ☆14Updated 10 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• LightAndLight / idris-but-its-c
  Idris, but it's C
  ☆24Updated 7 years ago
• ajhc / ajhc
  A fork of jhc. And also a Haskell compiler.
  ☆134Updated 6 years ago
• ekmett / speculation
  Safe, programmable, speculative evaluation for Haskell
  ☆29Updated 6 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆58Updated 8 years ago
• ilya-klyuchnikov / sc-mini
  SC Mini is a "minimal" positive supercompiler
  ☆46Updated 4 years ago
• bamboo / IdrisUnityPlayground
  Experiments in Idris / Unity integration.
  ☆49Updated 8 years ago
• kthielen / stlcc
  Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows
  ☆25Updated 12 years ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆24Updated 6 years ago
• andyarvanitis / idris-golang
  ☆16Updated 10 years ago