https://github.com/meoowers/melp

🕸️ | Incomplete HTTP/1.1 Server in Lean4 for Rinha de backends
https://github.com/meoowers/melp

Last synced: 3 months ago
JSON representation

🕸️ | Incomplete HTTP/1.1 Server in Lean4 for Rinha de backends

• Host: GitHub
• URL: https://github.com/meoowers/melp
• Owner: the-sofi-uwu
• Created: 2023-08-21T11:59:09.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2023-09-12T16:26:24.000Z (about 1 year ago)
• Last Synced: 2024-07-07T01:10:47.276Z (4 months ago)
• Language: Lean
• Homepage:
• Size: 8.79 KB
• Stars: 16
• Watchers: 4
• Forks: 1
• Open Issues: 1
• Metadata Files:

Awesome Lists containing this project