Zulip Chat Archive

Stream: lean4

Topic: http client

Anders Christiansen Sørby (Feb 23 2022 at 21:27):

I've made a simple Http library with Socket.lean. It supports Response and URL parsing and can be used for simple operations.
https://github.com/yatima-inc/Http.lean
The ambition is to have full HTTP and HTTPS support (with OpenSSL.lean). And also support for running servers. Contributions are welcome, but make an issue for discussion first.

Anders Christiansen Sørby (Feb 23 2022 at 21:53):

Still there are probably many bugs to fix and missing features.

Xubai Wang (Feb 24 2022 at 00:13):

Great job! Would you mind adding a lakefile.lean for non-nix users? :P

Anders Christiansen Sørby (Feb 24 2022 at 11:27):

I will do if I have time. I'm also working on this https://github.com/Anderssorby/Nix.lean to unify the two solutions

Last updated: Dec 20 2023 at 11:08 UTC