Dev tools · alternatives · 2026

24 alternatives to Lambda Calculus in Python

Lambda Calculus in Python! Contribute to heavyairship/LambdaCalc development by creating an account on GitHub.

Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes. Lambda Calculus in Python launched in 2020; newer entries below may have overtaken it.

1
LambdaLisp – A Lisp interpreter that runs on lambda calculus▲189
A Lisp interpreter written as an untyped lambda calculus term
2022 · woodrush.github.io · its alternatives →
2
Lambda-8cc – An x86 C compiler written in untyped lambda calculus▲249
x86 C compiler written in untyped lambda calculus. Contribute to woodrush/lambda-8cc development by creating an account on GitHub.
2022 · github.com · its alternatives →
3
PyPy 3.5 AWS Lambda Runtime▲6
AWS Lambda Runtime for PyPy 3.5. Contribute to iopipe/lambda-runtime-pypy3.5 development by creating an account on GitHub.
2018 · github.com · its alternatives →
4PW
Programming with Pure Lambda Calculus▲61
Functional programming language based on pure de Bruijn indexed lambda calculus.
2023 · bruijn.marvinborner.de · its alternatives →
5
A design-by-contract Python package in ~100 lines▲58
Greetings! A 2.5 weekends project to teach myself newer Python features (>= 3.10). Conditions are written as Lambda expressions that annotate parameters and return types, and coexist with type annotations. Symbols to share values between conditions are also supported to a limited extend.
2022 · github.com · its alternatives →
6
Type-level Lambda Calculus interpreter in TypeScript▲10
Type-Level Lambda Calculus interpreter with TypeScript - desi-ivanov/ts-lambda-calc
2021 · github.com · its alternatives →
7AL
A lambda expression visualizer for the web▲43
2013 · brycec.github.com · its alternatives →
8
Pascal to LLVM Compiler in Haskell▲61
A Pascal to LLVM compiler in Haskell . Contribute to sam46/Paskell development by creating an account on GitHub.
2020 · github.com · its alternatives →
9
AWS Lambda CLI Cookbook▲15
AWS Lambda using CLI, an introductory cookbook. Contribute to nsriram/lambda-the-cli-way development by creating an account on GitHub.
2019 · github.com · its alternatives →
10
“AWS Lambda, the CLI Way”▲10
AWS Lambda using CLI, an introductory cookbook. Contribute to nsriram/lambda-the-cli-way development by creating an account on GitHub.
2019 · github.com · its alternatives →
11
Visual Lambda Calculus – a thesis project (2008) revived for the web▲49
Originally built as my master's thesis in 2008, Visual Lambda is a graphical environment where lambda terms are manipulated as draggable 2D structures ("Bubble Notation"), and beta-reduction is smoothly animated. I recently revived and cleaned up the project and published it as an interactive web version: https://bntre.github.io/visual-lambda/ GitHub repo: https://github.com/bntre/visual-lambda It also includes a small "Lambda Puzzles" challenge, where you try to extract a hidden free variable (a golden coin) by constructing the right term:…
Feb 2026 · github.com · its alternatives →
12
I wrote a Haskell program that does my intro logic homework▲9
Propositional calculus in Haskell. Contribute to ColemanGariety/derivation-machine development by creating an account on GitHub.
2016 · github.com · its alternatives →
13
Lambdr – Easy development flow and deployment for Lambda functions▲9
Easy development flow and deployment for Lambda functions ⚡️ - alidavut/lambdr
2016 · github.com · its alternatives →
14
Flupy – Data Pipelines in Python▲8
Fluent data pipelines for python and your shell. Contribute to olirice/flupy development by creating an account on GitHub.
2019 · github.com · its alternatives →
15
lambda▲8
node editor made for creating and simulating algorithms
2024 · github.com · its alternatives →
16
range-streams — Streaming via Range Requests in Python▲9
Streaming range requests in Python. Contribute to lmmx/range-streams development by creating an account on GitHub.
2021 · github.com · its alternatives →
17
AWS Lambda 2 Google Cloud Functions (JS)▲6
Rewrite-js transformation module to map AWS Lambda functions into Google Functions. - cloudacademy/awslambda2googlefunctions
2016 · github.com · its alternatives →
18
AWS Lambda Layer for Node.js Example Using Aws-Cli▲5
aws lambda layer example. Contribute to nsriram/aws-lambda-layer-example development by creating an account on GitHub.
2018 · github.com · its alternatives →
19
Funcy – AWS Lambda strongly typed, best practice▲9
Hi, Please check out my new library funcy. It's really simplified AWS Lambda APIs in my projects, so I thought I would open-source it. It strongly-types all request parameters, has support for CORS, content-negotiation, security headers, etc.. out of the box and works via a very simply declarative interface with progressive disclosure. It's currently pre-release, let me know what you think :)
2024 · github.com · its alternatives →
20
A simpler infrastructure as code specification▲5
just ship on aws. Contribute to nathants/libaws development by creating an account on GitHub.
2022 · github.com · its alternatives →
21
Python Anywhere▲11
Host, run, and code Python in the cloud!
2017 · pythonanywhere.com · its alternatives →
22
Stdlib – Service Registry and Framework for Microservices Atop AWS Lambda▲5
Autocode CLI and standard library tooling. Contribute to acode/cli development by creating an account on GitHub.
2016 · github.com · its alternatives →
23
A Pratt Parser in Python▲5
A Pratt Parser implementation in Python. Contribute to percolate/pratt-parser development by creating an account on GitHub.
2017 · github.com · its alternatives →
24
Eventkit, event-driven data pipelines for Python▲6
Event-driven data pipelines. Contribute to erdewit/eventkit development by creating an account on GitHub.
2019 · github.com · its alternatives →

Also compare

Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →