GitHub repository: JamesGallicchio/http
Primary language: Lean
Description: Basic HTTP definitions and parsing for Lean