Mining for Lambdas in Python
-
Updated
Mar 29, 2021 - Python
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.
solve & practice python problems by specific or random topics
🐍 A sandbox for trying out functional programming in Python
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.
Make a lambda calculus.
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."