Dev tools · alternatives · 2026
24 alternatives to Caramel – a modern syntax for the lambda calculus
A modern syntax for the λ-calculus. Contribute to VictorTaelin/Caramel development by creating an account on GitHub.
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.… Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes. Caramel – a modern syntax for the lambda calculus launched in 2015; newer entries below may have overtaken it.
- 1PW
Functional programming language based on pure de Bruijn indexed lambda calculus.
2023 · bruijn.marvinborner.de · its alternatives →
- 2
A Lisp interpreter written as an untyped lambda calculus term
2022 · woodrush.github.io · its alternatives →
- 3
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 →
- 4
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 →
- 5LA
2017 · lambdacult.com · its alternatives →
- 6
A library adding some anti-Pythonic syntatic sugar to Python - czheo/syntax_sugar_python
2017 · github.com · its alternatives →
- 7
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 →
- 8AL
2013 · brycec.github.com · its alternatives →
- 9
Hi HN! We’re been working hard on this low-code tool for rapid prompt discovery, robustness testing and LLM evaluation. We’ve just released documentation to help new users learn how to use it and what it can already do. Let us know what you think! :)
2023 · chainforge.ai · its alternatives →
- 10
Wrote this to learn more about the `chumsky` parser combinator library, rustyline, and the `ariadne` error reporting crate. Such a nice DX combo for writing new languages. Still a work in progress, but I thought I'd share :)
2025 · github.com · its alternatives →
- 11
Next-level syntax for C-like languages :). Contribute to kiselgra/c-mera development by creating an account on GitHub.
2018 · github.com · its alternatives →
- 12
An Interpreter for Extended Relational Algebra (Scheme based) - scvalencia/Coddie
2016 · github.com · its alternatives →
- 13
A fast functional language based on two level type theory - ehatti/peridot
2022 · github.com · its alternatives →
- 14LA
What if Brainfuck was less like C and more like Scheme? The interpreter implemetation is pretty bad. It's not very fast, it's not very good, and it's probably not very correct. But maybe there's some vaguely interesting programs you could write with it! For example, the Y combinator: λf. (λx. f (x x)) (λx. f (x x)) is written as: \` \`1 `0 0 \`1 `0 0
2025 · imjakingit.github.io · its alternatives →
- 15
Bon is a programming language designed with simplicity, performance, and safety in mind. - daniel-p-gonzalez/bon
2019 · github.com · its alternatives →
- 16
A minimalist type-inferred programming language with procedural macro support - murisi/L2
2017 · github.com · its alternatives →
- 17
A Cloud monad based on transient for the creation of Web and reactive distributed applications that are fully composable, where Web browsers are first class nodes in the cloud - GitHub - transient-haskell/transient-universe: A Cloud monad based on transient for the creation of Web and reactive distr
2016 · github.com · its alternatives →
- 18
Language Lego. Contribute to ayoungprogrammer/Lango development by creating an account on GitHub.
2016 · github.com · its alternatives →
- 19
A "monad" or DSL for creating React components using Fable and F# computation expressions - pj/hacn
2021 · github.com · its alternatives →
- 20
Éole, a Lévy-optimal lambda calculus evaluator without oracle - HerrmannM/eole
2019 · github.com · its alternatives →
- 21
What's your tool chain for data and document processing? - jq is great, but limited to JSON; and jQuery limited to HTML; templating systems get messy for non-trivial logic; TypeScript lacks pattern matching and schema support. So I built Lambda — an expressive functional language that combines the power of Lisp, TypeScript, and many DSLs like jq, jQuery, RelaxNG, etc. It has a lightweight 9 MB runtime, built from scratch in C/C++, that provides an end-to-end document processing pipeline (parse → validate/query/transform → layout → render/view). Internally, Lambda parse…
Mar 2026 · github.com · its alternatives →
- 22
Type-Level Lambda Calculus interpreter with TypeScript - desi-ivanov/ts-lambda-calc
2021 · github.com · its alternatives →
- 23
Draw Lindenmayer Systems with Common LISP! -- Trabajo para [7531] Teoría del Lenguaje (FIUBA) - FdelMazo/cl-aristid
2020 · github.com · its alternatives →
- 24
We've been building Crust (https://crustjs.com/), a TypeScript-first, Bun-native CLI framework with zero dependencies. It's been powering our core product internally for a while, and we're now open-sourcing it. The problem we kept running into: existing CLI frameworks in the JS ecosystem are either minimal arg parsers where you wire everything yourself, or heavyweight frameworks with large dependency trees and Node-era assumptions. We wanted something in between. What Crust does differently: - Full type inference from definitions — args and flags are inferred automatically. No…
Mar 2026 · github.com · its alternatives →
Also compare
- Programming with Pure Lambda Calculus alternatives
- LambdaLisp – A Lisp interpreter that runs on lambda calculus alternatives
- Lambda-8cc – An x86 C compiler written in untyped lambda calculus alternatives
- Visual Lambda Calculus – a thesis project (2008) revived for the web alternatives
- Lambdacult, a low-cost alternative to API Gateway for Lambda functions alternatives
- Adding some syntactic sugar to Python alternatives
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 →