hargoniX / parse.lean-bench

Benchmarkings for parse.lean using a simple subset of HTTP/1.1 with chunked encoding

This repository is not active

Benchmarkings for parse.lean using a simple subset of HTTP/1.1 with chunked encoding

Language:Lean 84.6%Language:JavaScript 15.4%