Make a lambda calculus.
A repository that describes my explorations on formal verification using Dafny, techniques from programming language theory such as CYK parsing, Earley parsing, type-theoretic things like lambda calculus etc.
🐍 A sandbox for trying out functional programming in Python
solve & practice python problems by specific or random topics
Optimize policy learning by dynamically allocating rollouts and modulating advantages for efficient reinforcement learning with large language models.
Mining for Lambdas in Python
Lambda to SKI translator : 2020-2 Automata and Formal Theory
Functional Architecture in Python · Closures · Decorators · Composition · Higher-Order Design
A simple Python string-substitution-based interpreter for expanding (evaluating) lambda calculus. Contains pure lambda implementations of functions like Fibonacci, factorial and the Ackerman function.
Lambda calculus reducer
Implementation of a pure lambda calculus meta language in Python3.
Add a description, image, and links to the lambda-expressions topic page so that developers can more easily learn about it.
To associate your repository with the lambda-expressions topic, visit your repo's landing page and select "manage topics."