idris-http

HTTP library

An HTTP library for Idris

An HTTP library for idris

GitHub

40 stars
7 watching
7 forks
Language: Idris
last commit: almost 6 years ago
Linked from 1 awesome list


Backlinks from these awesome lists:

Related projects:

Repository Description Stars
status-im/nim-http-utils Provides a set of reusable HTTP helper procedures in Nim to simplify network programming 27
haskell/http A Haskell package providing an HTTP client and server implementation with customizable payload representation. 179
juliaweb/http.jl An HTTP client and server package for Julia language 645
http-rs/http-types Provides common types and utilities for building HTTP applications in Rust. 200
andrewlalis/handy-httpd An HTTP server for D with support for various features and request processors. 34
rstudio/httpuv A C library for building HTTP and WebSocket servers in R 229
mozillazg/request An HTTP request library for Gopher. 426
dduan/just A client-side HTTP library for making web requests in Swift with human-readable results and advanced features. 1,406
whatwg/fetch Defines an API for making HTTP requests in web browsers. 2,120
alephao/swift-http-types-htmx A Swift library providing extensions to the HTTPTypes framework for integrating HTMX features 18
evertdespiegeleer/zhttp A minimal, typesafe HTTP library with Zod validation 67
owainlewis/http-dispatch A high-level HTTP client library with an easy-to-use API and transparent HTTPS support. 62
valpackett/httpotion An HTTP client library for Elixir 725
nghialv/net A Swift HTTP request wrapper providing flexible and customizable HTTP clients for various use cases. 302
googleapis/google-http-java-client A Java library for accessing any resource on the web via HTTP 1,392