Benchmarkings for parse.lean using a simple subset of HTTP/1.1 with chunked encoding
Repository from Github https://github.comhargoniX/parse.lean-benchRepository from Github https://github.comhargoniX/parse.lean-bench