GaloisInc / http-server
A Haskell HTTP server
☆24Updated 7 years ago
Alternatives and similar repositories for http-server:
Users that are interested in http-server are comparing it to the libraries listed below
- The Alms Programming Language☆44Updated 6 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 5 months ago
- A small profunctor library for idris☆17Updated 2 years ago
- A typed logic programming language embedded in Haskell☆49Updated 12 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 11 years ago
- Modern compiler implementation in ML, in Haskell☆16Updated 7 years ago
- A Self-Interpreter for F-omega☆16Updated 9 years ago
- xmonad in Coq☆45Updated 12 years ago
- SC Mini is a "minimal" positive supercompiler☆47Updated 4 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- The Spire Programming Language☆59Updated 10 years ago
- Haskell Join-calculus DSL☆22Updated 6 years ago
- An Assembly-like programming language and interpreter in Haskell☆16Updated 9 years ago
- Interpreter for functional pure type systems.☆21Updated 7 years ago
- A proper network library for Idris, now that I know what I'm doing.☆58Updated 8 years ago
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- SDL bindings package for idris☆46Updated 5 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 6 months ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Updated 5 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- A simple implementation of linear type theory☆38Updated 8 years ago
- Mirror of Conor McBride’s 2011 Agda course materials☆12Updated 6 years ago
- A termination checker for higher-order rewriting with dependent types☆10Updated 4 years ago
- A general purpose programming language with linear types☆44Updated 8 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- Invertible parsing for S-expressions☆34Updated 3 weeks ago
- Safe, programmable, speculative evaluation for Haskell☆29Updated 6 years ago
- Embedded C code generation DSL for Haskell.☆28Updated 6 years ago
- Morte IDE☆29Updated 3 weeks ago
- A dependently typed type checker for a TT with intervals☆22Updated 5 years ago