JamesGallicchio / http

Basic HTTP definitions and parsing for Lean

Http definitions for Lean

Intended to be a base package for handling HTTP traffic. Modeled after the rust http package.

Usage

Add the following to your project's lakefile.lean:

require Http from git "https://github.com/JamesGallicchio/http" @ "main"

When running lake update, there will be some warnings because one of the dependencies is not up to date. This should be fixed soon.

Contributing

If you would like to contribute, please open a PR! Make sure to add yourself to the authors list below, in case we ever need to contact the copyright holders.

Authors

JamesGallicchio

Originally forked from lurk-lab/Http.lean. Although all of the source material has been rewritten, the authors of that library at the time of the fork included:

Anderssorby arthurpaolino xubaiw