UlfNorell / agda-benchLinks

Benchmarking tool for compile-time performance of Agda programs
18Updated 3 years ago

Alternatives and similar repositories for agda-bench

Users that are interested in agda-bench are comparing it to the libraries listed below

Sorting: