idris-http
HTTP library
An HTTP library for Idris
An HTTP library for idris
40 stars
7 watching
7 forks
Language: Idris
last commit: almost 6 years ago
Linked from 1 awesome list
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 |