Life & fun · alternatives · 2026
24 alternatives to Type-level Lambda Calculus interpreter in TypeScript
Type-Level Lambda Calculus interpreter with TypeScript - desi-ivanov/ts-lambda-calc
Type-level Lambda Calculus interpreter in TypeScript is a tool that interprets lambda calculus expressions at the type level within TypeScript. It allows developers to work with functional programming concepts directly… Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes. Type-level Lambda Calculus interpreter in TypeScript launched in 2021; newer entries below may have overtaken it.
- 1
A Lisp interpreter written as an untyped lambda calculus term
2022 · woodrush.github.io · its alternatives →
- 2PW
Functional programming language based on pure de Bruijn indexed lambda calculus.
2023 · bruijn.marvinborner.de · its alternatives →
- 3
A SQL database implemented purely in TypeScript type annotations. - codemix/ts-sql
2020 · github.com · its alternatives →
- 4
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 →
- 5AL
2013 · brycec.github.com · its alternatives →
- 6
A modern syntax for the λ-calculus. Contribute to VictorTaelin/Caramel development by creating an account on GitHub.
2015 · github.com · its alternatives →
- 7
:wrench: Scala datamodel transpiler. Contribute to scala-ts/scala-ts development by creating an account on GitHub.
2016 · github.com · its alternatives →
- 8
pgTyped - Typesafe SQL in TypeScript. Contribute to adelsz/pgtyped development by creating an account on GitHub.
2020 · github.com · its alternatives →
- 9
Lambda functions over S3 objects with concurrency control (each, map, reduce, filter) - littlstar/s3-lambda
2017 · github.com · its alternatives →
- 10
2017 · craftinginterpreters.com · its alternatives →
- 11
A fast functional language based on two level type theory - ehatti/peridot
2022 · github.com · its alternatives →
- 12
Type-Level Regular Expressions matching with TypeScript - desi-ivanov/ts-regexp
2021 · github.com · its alternatives →
- 13
Introduces the programming language Numbat and its type system
2023 · numbat.dev · its alternatives →
- 14
TypeScript playground: https://www.typescriptlang.org/play?#code/KYDwDg9gTgLgBDAnmY...
2023 · github.com · its alternatives →
- 15LA
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 →
- 16
Hey HN, I find myself reaching for tools like it-tools.tech or other random sites every now and then during development or debugging. So, I built a toolkit with a sane and simple CLI interface for most of those tools. For the curious and lazy, at the moment, ut has tools for, - Encoding: base64 (encode, decode), url (encode, decode) - Hashing: md5, sha1, sha224, sha256, sha384, sha512 - Data Generation: uuid (v1, v3, v4, v5), token, lorem, random - Text Processing: case (lower, upper, camel, title, constant, header, sentence, snake), pretty-print, diff - Development Tools: calc, json…
2025 · github.com · its alternatives →
- 17
Made an online tool for creating diagrams with TypeScript. I quite like it for thinking about how to shape my data, even if I end up using a different language in the end.
2023 · tsdiagram.com · its alternatives →
- 18
2017 · craftinginterpreters.com · its alternatives →
- 19KA
The most powerful type-safe SQL query builder for TypeScript
2023 · kysely.dev · its alternatives →
- 20
Python library for creating data pipelines with chain functional programming - EntilZha/PyFunctional
2017 · 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
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 →
- 23
Hey HN, I’m sharing ts-chan, an NPM package providing Go-like concurrency primitives, including channels and select statements, for TypeScript and JavaScript, supporting Node.js, Deno, Bun, and browsers. This is something I've built to make implementing Go-style "control loops" feasible in JavaScript, but there are many possible applications. Highlights: - Features a FIFO processing Chan class and versatile Select class for concurrency control. - Supports buffered channel and channel close semantics very close to Go's. - TypeScript-first implementation. - Defines a simple "channel protocol"…
2023 · github.com · its alternatives →
- 24
I started writing this book 10 years ago in JavaScript, got through a few chapters (asymptotic notation, basic techniques, start of sorting), and then abandoned it. Recently I picked it back up, converted everything to TypeScript, and used AI (Zenflow [1] + Claude Opus 4.6) to complete the remaining chapters. I provided the structure, direction, and initial chapters; the AI generated the bulk of the remaining content under a spec-driven workflow. The book covers roughly a first 1-2 year CS curriculum: sorting, dynamic programming, graph algorithms, trees, heaps, hash tables, and more. All…
Mar 2026 · amoilanen.github.io · its alternatives →
Also compare
- LambdaLisp – A Lisp interpreter that runs on lambda calculus alternatives
- Programming with Pure Lambda Calculus alternatives
- A SQL database implemented purely in TypeScript type annotations alternatives
- Lambda-8cc – An x86 C compiler written in untyped lambda calculus alternatives
- A lambda expression visualizer for the web alternatives
- Caramel – a modern syntax for the lambda calculus 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 →