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: over 7 years ago
Linked from 1 awesome list


Backlinks from these awesome lists:

Related projects:

RepositoryDescriptionStars
status-im/nim-http-utilsProvides a set of reusable HTTP helper procedures in Nim to simplify network programming27
haskell/httpA Haskell package providing an HTTP client and server implementation with customizable payload representation.179
juliaweb/http.jlAn HTTP client and server package for Julia language645
http-rs/http-typesProvides common types and utilities for building HTTP applications in Rust.200
andrewlalis/handy-httpdAn HTTP server for D with support for various features and request processors.34
rstudio/httpuvA C library for building HTTP and WebSocket servers in R229
mozillazg/requestAn HTTP request library for Gopher.426
dduan/justA client-side HTTP library for making web requests in Swift with human-readable results and advanced features.1,406
whatwg/fetchDefines an API for making HTTP requests in web browsers.2,119
alephao/swift-http-types-htmxA Swift library providing extensions to the HTTPTypes framework for integrating HTMX features18
evertdespiegeleer/zhttpA minimal, typesafe HTTP library with Zod validation67
owainlewis/http-dispatchA high-level HTTP client library with an easy-to-use API and transparent HTTPS support.62
valpackett/httpotionAn HTTP client library for Elixir725
nghialv/netA Swift HTTP request wrapper providing flexible and customizable HTTP clients for various use cases.302
googleapis/google-http-java-clientA Java library for accessing any resource on the web via HTTP1,392