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
Mining for Lambdas in Python
Lambda calculus reducer
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 to SKI translator : 2020-2 Automata and Formal Theory
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."