GitHub repository: the-sofi-uwu/parse.lean-bench
Primary language: Lean
Created: 2024-07-18T17:11:01Z
Description: Benchmarkings for parse.lean using a simple subset of HTTP/1.1 with chunked encoding