Skip to content
This repository has been archived by the owner on Aug 14, 2024. It is now read-only.
/ parse-bench Public archive

πŸ“ˆ | Benchmarking for parse.lean using a simplified subset of HTTP/1.1 with chunked encoding, providing performance insights and optimizations for Lean-based parsing

Notifications You must be signed in to change notification settings

algebraic-dev/parse-bench

Folders and files

NameName
Last commit message
Last commit date

Latest commit

Β 

History

5 Commits
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 

About

πŸ“ˆ | Benchmarking for parse.lean using a simplified subset of HTTP/1.1 with chunked encoding, providing performance insights and optimizations for Lean-based parsing

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published