Networking in Lean 4

Stream: general

[Fred May]

Do any of the following exist in Lean 4?
TCP sockets, an HTTP implementation, or System.Process()?
I need one of those things to do what I want and it's looking like I'll have to do it through a dll.

[Notification Bot]

A message was moved here from #general > lean.nvim by Julian Berman.

[Julian Berman]

Hi, welcome. I believe there's some socket code from Henrik here: https://github.com/hargoniX/socket.lean and I think there's an HTTP implementation here: https://github.com/axiomed/http

[Julian Berman]

(I think lots of what you'll find is still maturing, but you should probably have a look at those to see what state they're in)