idris-http
HTTP library
An HTTP library for Idris
An HTTP library for idris
40 stars
7 watching
7 forks
Language: Idris
last commit: about 6 years ago
Linked from 1 awesome list
Related projects:
Repository | Description | Stars |
---|---|---|
| Provides a set of reusable HTTP helper procedures in Nim to simplify network programming | 27 |
| A Haskell package providing an HTTP client and server implementation with customizable payload representation. | 179 |
| An HTTP client and server package for Julia language | 645 |
| Provides common types and utilities for building HTTP applications in Rust. | 200 |
| An HTTP server for D with support for various features and request processors. | 34 |
| A C library for building HTTP and WebSocket servers in R | 229 |
| An HTTP request library for Gopher. | 426 |
| A client-side HTTP library for making web requests in Swift with human-readable results and advanced features. | 1,406 |
| Defines an API for making HTTP requests in web browsers. | 2,119 |
| A Swift library providing extensions to the HTTPTypes framework for integrating HTMX features | 18 |
| A minimal, typesafe HTTP library with Zod validation | 67 |
| A high-level HTTP client library with an easy-to-use API and transparent HTTPS support. | 62 |
| An HTTP client library for Elixir | 725 |
| A Swift HTTP request wrapper providing flexible and customizable HTTP clients for various use cases. | 302 |
| A Java library for accessing any resource on the web via HTTP | 1,392 |