StepULC: Efficient and single-steppable ULC (untyped lambda calculus) evaluation algorithm

Our great sponsors

WorkOS - The modern identity platform for B2B SaaS

InfluxDB - Power Real-Time Data Analytics at Scale

SaaSHub - Software Alternatives and Reviews

Our great sponsors

StepULC

1 15 0.0 Haskell

Efficient and single-steppable ULC evaluation algorithm
elaboration-zoo

23 559 5.3 Haskell

Minimal implementations for dependent type checking and elaboration

Cool, I wrote an NBE based normalizer adapted from /u/andraskovacs' implementation here:

WorkOS

workos.com sponsored

The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
StepULC

1 0 0.0 Haskell

Efficient and single-steppable ULC evaluation algorithm (by AndrasKovacs)

Funny, I benchmarked almost the same thing, except I added native fixpoints like in Gallina, to be able to define fac with fixpoints and normalize. Also 2.5x faster than sem2.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project