Caramel – a modern syntax for the lambda calculus

In plain words

Caramel is a modern syntax designed for the lambda calculus, a foundational concept in computer science and logic. It provides developers with a more accessible way to write and work with lambda calculus expressions. The tool is hosted on GitHub and is intended for programmers and computer science enthusiasts who want to explore or use lambda calculus in their projects.

written from the facts on this page · September 2026

• PW
  Programming with Pure Lambda Calculus2023 · bruijn.marvinborner.de · ▲61

  Functional programming language based on pure de Bruijn indexed lambda calculus.

• 
  LambdaLisp – A Lisp interpreter that runs on lambda calculus2022 · woodrush.github.io · ▲189

  A Lisp interpreter written as an untyped lambda calculus term

• 
  Lambda-8cc – An x86 C compiler written in untyped lambda calculus2022 · github.com · ▲249

  x86 C compiler written in untyped lambda calculus. Contribute to woodrush/lambda-8cc development by creating an account on GitHub.

• 
  Visual Lambda Calculus – a thesis project (2008) revived for the webFeb 2026 · github.com · ▲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:…

• LA
  Lambdacult, a low-cost alternative to API Gateway for Lambda functions2017 · lambdacult.com · ▲47
• 
  Adding some syntactic sugar to Python2017 · github.com · ▲77

  A library adding some anti-Pythonic syntatic sugar to Python - czheo/syntax_sugar_python

• 
  /dev/null▲483

  a social network for devs

  Dev tools · 3d ago · dev-null.sh

• 
  Whiteboard (YC W26) – an open-source IDE for thoughtful software design▲423

  open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.

  Dev tools · 27d ago · github.com

• 
  Reladraw – A diagram language where you decide where to place things▲411

  Contribute to reladraw/reladraw development by creating an account on GitHub.

  Dev tools · 25d ago · github.com

• 
  OpenBot▲362

  Grok Bot alternative: free, local, open-source, multiplayer

  Dev tools · 23d ago · openbot.run

• 
  Talanoa▲345

  Hi 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▲332

  One MCP for everything your agents need: apps, memory, tools

  Dev tools · 28d ago · corespeed.io

• 
  Make a programmable mirror▲1,172

  Android application powering the mirror in my house - HannahMitt/HomeMirror

  Life & fun · 2015 · github.com

• 
  Paper 3.0▲779

  The new sticky note

  Work · 2015

• 
  Asana▲747

  The work management platform for teams

  Work · 2015 · asana.com

• 
  I spent a year making an electro-mechanical prototype of a liquid clock▲681

  Rhei is a dynamic installation, an animated sculpture, an idea expressed in the form of a minimalistic, digital clock.

  Life & fun · 2015 · hellorhei.com

• 
  Primer 2.0 by Google▲629

  A fast, easy way to learn new marketing skills.

  Growth · 2015 · grow.google

• 
  Product Hunt Podcasts▲612

  The best new podcasts, every day

  Life & fun · 2015