Lambda normalization and conversion checking benchmarks for various implementations (by AndrasKovacs)

Normalization-bench Alternatives

Similar projects and alternatives to normalization-bench

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better normalization-bench alternative or higher similarity.

normalization-bench reviews and mentions

Posts with mentions or reviews of normalization-bench. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-01-10.
  • Next-gen Haskell Compilation Techniques
    4 projects | /r/haskell | 10 Jan 2021
    I benchmarked lambda term normalization, which is heavy on closures (HOAS) and small allocation, and there V8 RTS performance was clearly inferior, and I even had stability issues with deep stack usage.


Basic normalization-bench repo stats
about 3 years ago

AndrasKovacs/normalization-bench is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of normalization-bench is Haskell.

SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives