Dev tools · alternatives · 2026
24 alternatives to Lambda-8cc – An x86 C compiler written in untyped lambda calculus
x86 C compiler written in untyped lambda calculus. Contribute to woodrush/lambda-8cc development by creating an account on GitHub.
Lambda-8cc is an x86 C compiler implemented entirely in untyped lambda calculus. It translates C code into x86 assembly language using only lambda calculus primitives, with no conventional programming constructs. The… Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes. Lambda-8cc – An x86 C compiler written in untyped lambda calculus launched in 2022; newer entries below may have overtaken it.
- 1
Programming language that compiles into a x86 ELF executable. - riicchhaarrd/ocean
2021 · github.com · its alternatives →
- 2
A Lisp interpreter written as an untyped lambda calculus term
2022 · woodrush.github.io · its alternatives →
- 3
Cross platform C preprocessor and compiler. Contribute to andrewchambers/cc development by creating an account on GitHub.
2015 · github.com · its alternatives →
- 4
Repo: https://github.com/valdanylchuk/xcc700 Hi Everyone! I just wrote my first compiler! - single pass, recursive descent, direct emission - generates REL ELF binaries, runnable using ESP-IDF elf_loader - very basic features only, just enough for self-hosting - treats the Xtensa CPU as a stack machine for simplicity, no register allocation / window usage - compilable on Mac, probably also Linux, can cross-compile for esp32 there - wrote for fun / cyberdeck project Sample output from esp32: xcc700.elf xcc700.c -o /d/cc.elf [ xcc700 ] BUILD COMPLETED >…
Dec 2025 · github.com · its alternatives →
- 5
compile-time C compiler implemented as Crystal macros - makenowjust/8cc.cr
2016 · github.com · its alternatives →
- 6
Write your own compiler: introduction. Code genetation. AST. Abstract syntax tree. lisp. javascript.
2017 · blog.klipse.tech · its alternatives →
- 7
Pure C implementation of Go channels. Contribute to tylertreat/chan development by creating an account on GitHub.
2014 · github.com · its alternatives →
- 8PW
Functional programming language based on pure de Bruijn indexed lambda calculus.
2023 · bruijn.marvinborner.de · its alternatives →
- 9
A little help for programmers, who wants to run C/C++ code in the browser. (This is my second attempt to show it, first time I got banned bcoz of my personal page domain, I don't really understand it why is is suspicious.)
2022 · github.com · its alternatives →
- 10
Meta programming utilities for C++14. Merged in matt-42/lithium - matt-42/iod
2014 · github.com · its alternatives →
- 11
A pure C (-std=c89) implementation of Go channels, including blocking and non-blocking selects. - GitHub - rochus-keller/CspChan: A pure C (-std=c89) implementation of Go channels, including blocking and non-blocking selects.
2023 · github.com · its alternatives →
- 12
A Pascal to LLVM compiler in Haskell . Contribute to sam46/Paskell development by creating an account on GitHub.
2020 · github.com · its alternatives →
- 13
Next-level syntax for C-like languages :). Contribute to kiselgra/c-mera development by creating an account on GitHub.
2018 · github.com · its alternatives →
- 14
C compiler created in Python. Contribute to ShivamSarodia/ShivyC development by creating an account on GitHub.
2018 · 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 →
- 16AA
AttaLambda is a small language built on pure, untyped lambda calculus, with readable syntax, exact rational numbers, and runtime type checks.
Sep 2026 · attalambda.com · its alternatives →
- 17GI
Hi all! I'm going into my freshman year, and figured that the best way to prepare for the intro to programming Racket course would be to implement my own garbage-collected, dynamically typed, functional programming language in C ;) Anyways... here's the repo: https://github.com/liam-ilan/crumb I started learning C over the summer, so I still have a whole lot to learn... Any feedback would be greatly appreciated! :D
2023 · its alternatives →
- 18
A C interpreter and API explorer. Contribute to hexagonal-sun/bic development by creating an account on GitHub.
2019 · github.com · its alternatives →
- 19
Compiler for a small language into x86-64 Assembly - MauriceGit/compiler
2020 · github.com · its alternatives →
- 20
:copyright: Concurrent Programming Library (Coroutine) for C11 - sharow/libconcurrent
2016 · github.com · its alternatives →
- 21
We’ve reached a major milestone in making any software run with WebAssembly. Thanks to the newest release of Wasmer (4.4) and the Wasmer JS SDK (0.8.0) ...
2024 · wasmer.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
Generate Erlang VM byte code from Haskell. Contribute to kofigumbs/codec-beam development by creating an account on GitHub.
2018 · github.com · its alternatives →
- 24
A minimalist type-inferred programming language with procedural macro support - murisi/L2
2017 · github.com · its alternatives →
Also compare
- A work-in-progress C compiler from scratch alternatives
- LambdaLisp – A Lisp interpreter that runs on lambda calculus alternatives
- WIP C compiler in Go, inspired by 8cc alternatives
- Xcc700: Self-hosting mini C compiler for ESP32 (Xtensa) in 700 lines alternatives
- 8cc.cr – compile-time C compiler implemented as Crystal macros alternatives
- How to write a tiny compiler 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 →