Popular repositories Loading
-
lambda-toolkit
lambda-toolkit PublicA minimal, symbolic lambda calculus engine using De Bruijn indices. Supports lazy and eager beta-reduction, fixed-point combinators (Y, Θ), and CLI-based expression evaluation.
Python
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.