Life & fun · alternatives · 2026
24 alternatives to AttaLambda: a language where types and data are made of untyped lambdas
AttaLambda is a small language built on pure, untyped lambda calculus, with readable syntax, exact rational numbers, and runtime type checks.
AttaLambda is a small programming language built on pure, untyped lambda calculus that uses unary functions and application as its computational foundation. It provides readable syntax, exact rational number support… Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes.
- 1
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 →
- 2
A Lisp interpreter written as an untyped lambda calculus term
2022 · woodrush.github.io · its alternatives →
- 3
A functional programming language with static memory management - vekatze/neut
2020 · github.com · its alternatives →
- 4IW
https://www.manning.com/books/data-oriented-programming-in-j... This book is a distillation of everything I’ve learned about what effective development looks like in Java (so far!). It's about how to organize programs around data "as plain data" and the surprisingly benefits that emerge when we do. Programs that are built around the data they manage tend to be simpler, smaller, and significantly easier understand. Java has changed radically over the last several years. It has picked up all kinds of new language features which support data oriented programming (records,…
2024 · its alternatives →
- 5
Heap based scheme machine. GitHub Gist: instantly share code, notes, and snippets.
2025 · gist.github.com · its alternatives →
- 6
I've been working on implementing the compile-time approach to memory management described in this thesis (https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-908.pdf) for some time now - some of the performance results look promising! (Although some less so...) I think it would be great to see this taken further and built into a more complete functional language.
2020 · github.com · its alternatives →
- 7
Hi friends, I started casually working on scrapscript in 2015. I built a few compilers over the years to test out various ideas/implementations, and I think I'm finally happy with the overall design. The code is not public yet. Email me at [email protected] if you're interested in joining the core team later this year. Let me know if you have any questions or feedback :)
2023 · scrapscript.org · its alternatives →
- 8
A fast functional language based on two level type theory - ehatti/peridot
2022 · github.com · its alternatives →
- 9
A minimalist type-inferred programming language with procedural macro support - murisi/L2
2017 · github.com · its alternatives →
- 10IC
AntiLang is an interpreted programming language written in Go. The basic idea of this is to keep all the logical parts of a language same, but reverse the structure of it. The idea for this project came when I was having a long midnight conversation with my friend and thought of writing such a weird language. The initial draft was far worse than the current implementation; we thought of reversing the brackets and the language would be read from bottom to top. I'm happy that I dropped that idea Technical details: As the interpreter is written in Golang, I compiled it to WASM, and the whole…
2025 · siruscodes.github.io · its alternatives →
- 11
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 →
- 12PW
Functional programming language based on pure de Bruijn indexed lambda calculus.
2023 · bruijn.marvinborner.de · its alternatives →
- 13FS
Hi HN! I've been working on the fuse programming language, it's a statically typed purely functional language with higher-kinder types and ad-hoc polymorphism. It compiles to the GRIN whole-program optimizer, producing LLVM-generated native code. Fuse supports ADTs, Generics, Type Methods, Traits, Pattern matching etc. all in a functional style with no mutations. I’ve been developing the language for 5 years, with code written in Scala. I’ve started coding the language from the base of System F that was implemented as part of the book: Types and Programming Languages (tapl). And then…
Aug 2026 · fuselang.org · its alternatives →
- 14
The cuteness implementation of a dependently typed language. - caotic123/PomPom-Language
2021 · github.com · its alternatives →
- 15
A complete compiler for a simple language (in less than 150 LoC) - 00_readme.md
2022 · gist.github.com · its alternatives →
- 16AE
easyprog.online ist Ihre erste und beste Informationsquelle über easyprog. Hier finden Sie auch weitere interessante Links. Wir hoffen, dass Sie bei Ihrer Suche erfolgreich sind!
2019 · easyprog.online · its alternatives →
- 17
See what it’s like to program in a language without null.
2015 · books.thoughtbot.com · its alternatives →
- 18
2017 · craftinginterpreters.com · its alternatives →
- 19
This is a hobby project of mine that I started a few years ago to learn about programming language implementation. It was created 95% without AI, although a few recent commits include code from Gemini CLI. I started out following Crafting Interpreters, but gradually branched off that until I had almost nothing left in common. Tech stack: Rust, Cranelift (JIT compilation), LALRPOP (parser). Original title: "A small programming language where everything is a value" (edited based on comments)
Jan 2026 · github.com · its alternatives →
- 20
A wicked-powerful text macro language for building binary files. - thosakwe/t2b
2018 · github.com · its alternatives →
- 21CA
2017 · billsix.github.io · its alternatives →
- 22
A modern syntax for the λ-calculus. Contribute to VictorTaelin/Caramel development by creating an account on GitHub.
2015 · github.com · its alternatives →
- 23
2017 · craftinginterpreters.com · its alternatives →
- 24
I spent the past 2 weeks making this toy programming language. I basically forked the Go scanner/parser, and changed the syntax to have functions return a single value. This enable proper Result/Option type to be used as well as propagating errors with an operator. I also wanted to have short "type inferred" anonymous functions to be able to use functions like Map/Reduce/Filter, without having to use 100 characters to specify the types.
2025 · github.com · its alternatives →
Also compare
- Lambda-8cc – An x86 C compiler written in untyped lambda calculus alternatives
- LambdaLisp – A Lisp interpreter that runs on lambda calculus alternatives
- A dependently-typed programming language with static memory management alternatives
- I Wrote a Book on Java alternatives
- Kent Dybvig's Scheme Machine in 400 Lines of C (Heap-Memory Model) alternatives
- Micro-mitten – Research language with compile-time memory management 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 →