Lambda Calculus in Python
Lambda Calculus in Python! Contribute to heavyairship/LambdaCalc development by creating an account on GitHub.
Lambda Calculus in Python launched on May 11, 2020 with 5 votes, #1,437 of 4,813 launches that month and more than 50% of that year's launches. The site was still online in September 2026, 6 years on.
Does a similar job
all alternatives →
LambdaLisp – A Lisp interpreter that runs on lambda calculus2022 · woodrush.github.io · ▲189A Lisp interpreter written as an untyped lambda calculus term
Lambda-8cc – An x86 C compiler written in untyped lambda calculus2022 · github.com · ▲249x86 C compiler written in untyped lambda calculus. Contribute to woodrush/lambda-8cc development by creating an account on GitHub.
PyPy 3.5 AWS Lambda Runtime2018 · github.com · ▲6AWS Lambda Runtime for PyPy 3.5. Contribute to iopipe/lambda-runtime-pypy3.5 development by creating an account on GitHub.
- PWProgramming with Pure Lambda Calculus2023 · bruijn.marvinborner.de · ▲61
Functional programming language based on pure de Bruijn indexed lambda calculus.
A design-by-contract Python package in ~100 lines2022 · github.com · ▲58Greetings! 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.
Type-level Lambda Calculus interpreter in TypeScript2021 · github.com · ▲10Type-Level Lambda Calculus interpreter with TypeScript - desi-ivanov/ts-lambda-calc
More dev tools this month
the category →
open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.
Dev tools · 28d ago · github.com
Contribute to reladraw/reladraw development by creating an account on GitHub.
Dev tools · 26d ago · github.com
OpenBot▲362Grok Bot alternative: free, local, open-source, multiplayer
Dev tools · 23d ago · openbot.run
Talanoa▲346Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…
Dev tools · 20d ago · talanoa.email
CoreSpeed▲332One MCP for everything your agents need: apps, memory, tools
Dev tools · 28d ago · corespeed.io
Source: Show HN post ↗
Launched alongside, May 2020
the whole month →
SHA-256 Animation▲1,053Animation of the SHA-256 hash function in your terminal. - in3rsha/sha256-animation
Dev tools · 2020 · github.com
This Word Does Not Exist uses an artificial intelligence model named GPT-2 to invent new English words.
AI · 2020 · thisworddoesnotexist.com
- P3
Life & fun · 2020 · leeoniya.github.io
