A Haskell HTTP server
☆25Oct 3, 2017Updated 8 years ago
Alternatives and similar repositories for http-server
Users that are interested in http-server are comparing it to the libraries listed below
Sorting:
- ☆10Jan 28, 2013Updated 13 years ago
- A simple but practical HTTP server in Haskell. 'mighttpd' should be called 'mighty'.☆42Jan 27, 2011Updated 15 years ago
- A Haskell web application server.☆62Nov 11, 2010Updated 15 years ago
- Haskell RSA Library☆21Apr 18, 2021Updated 4 years ago
- Meld compiler written in Common Lisp☆13Nov 20, 2015Updated 10 years ago
- SQL Testing Framework for the Peloton DBMS☆20Oct 21, 2017Updated 8 years ago
- Meld virtual machine.☆28Nov 20, 2015Updated 10 years ago
- MXNet implementation of AC-BLSTM☆23Apr 3, 2019Updated 6 years ago
- Reverse proxy HTTP requests, either over raw sockets or with WAI☆57Aug 11, 2025Updated 6 months ago
- State-space estimation algorithms and models☆28Jul 19, 2016Updated 9 years ago
- Solutions of the exercises of the HoTT book☆23Dec 15, 2016Updated 9 years ago
- Integration of ocp-indent to vim.☆29Mar 23, 2018Updated 7 years ago
- A concurrency framework for the Ivory language☆45Oct 7, 2019Updated 6 years ago
- High level Cassandra bindings for Haskell☆45Mar 23, 2016Updated 9 years ago
- The Powerful Python CMS☆11Nov 20, 2021Updated 4 years ago
- DAG-based blockchain☆10Apr 20, 2019Updated 6 years ago
- an (almost) procedural game of life implementation in C# written to be easy to understand by beginners☆10Dec 22, 2014Updated 11 years ago
- Sample implementation of a proposed C++ hashing framework☆29Oct 27, 2015Updated 10 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆34Updated this week
- Some numerical optimization methods implemented in Haskell☆47Jun 24, 2020Updated 5 years ago
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 years ago
- This is a read-only mirror of the CRAN R package repository. DMwR — Functions and data for "Data Mining with R"☆10Mar 13, 2017Updated 8 years ago
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Dec 13, 2011Updated 14 years ago
- Embed the Power of Lua into NGINX HTTP servers☆11Dec 1, 2015Updated 10 years ago
- ☆14Oct 27, 2014Updated 11 years ago
- Breact: A python library for single page web apps☆13May 13, 2021Updated 4 years ago
- Project to digitize avant-garde periodicals☆12May 13, 2022Updated 3 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- logic file system☆27Mar 16, 2018Updated 7 years ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Jan 11, 2015Updated 11 years ago
- Fast implementation of Gradient Boosting Machine (GBM) training algorithm.☆10Aug 26, 2019Updated 6 years ago
- deploy and withdraw personal configuration files☆14Mar 3, 2025Updated last year
- COVID19 Healthcare Chatbot☆11Sep 1, 2021Updated 4 years ago
- A tiny 64 bit kernel written in Rust☆51Sep 14, 2015Updated 10 years ago
- ☆41Nov 8, 2014Updated 11 years ago
- Adaptation of gxemul to support the CHERI MIPS unit test suite and certain CHERI features☆16Dec 8, 2015Updated 10 years ago
- HTTP utility library for Standard ML☆11Jan 9, 2026Updated last month
- Lwt with async backend☆18Jan 2, 2014Updated 12 years ago
- ☆10Mar 10, 2021Updated 4 years ago