idris-http
by uwap
An HTTP library for idris
AI summary
HTTP library
An HTTP library for Idris
- stars
- 40
- forks
- 7
- watching
- 7
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
HTTP helper library
Provides a set of reusable HTTP helper procedures in Nim to simplify network programming
haskell/http179
HTTP client/server library
A Haskell package providing an HTTP client and server implementation with customizable payload representation.
HTTP client
An HTTP client and server package for Julia language
HTTP types
Provides common types and utilities for building HTTP applications in Rust.
HTTP server
An HTTP server for D with support for various features and request processors.
HTTP server library
A C library for building HTTP and WebSocket servers in R
Request library
An HTTP request library for Gopher.
dduan/just1.4K
HTTP client
A client-side HTTP library for making web requests in Swift with human-readable results and advanced features.
whatwg/fetch2.1K
HTTP request API
Defines an API for making HTTP requests in web browsers.
HTMX library
A Swift library providing extensions to the HTTPTypes framework for integrating HTMX features
HTTP library
A minimal, typesafe HTTP library with Zod validation
HTTP client library
A high-level HTTP client library with an easy-to-use API and transparent HTTPS support.
HTTP client
An HTTP client library for Elixir
nghialv/net302
HTTP client
A Swift HTTP request wrapper providing flexible and customizable HTTP clients for various use cases.
Web client library
A Java library for accessing any resource on the web via HTTP
Featured in 1 awesome list
Each link jumps to the spot where the list mentions idris-http.