Lambda-8cc – An x86 C compiler written in untyped lambda calculus

In plain words

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 project is designed for computer science enthusiasts and academics interested in exploring the theoretical foundations of computation and how functional programming concepts can perform practical compilation tasks. It demonstrates that Turing-complete computation is achievable within pure lambda calculus formalism.

written from the facts on this page · September 2026

• 
  A work-in-progress C compiler from scratch2021 · github.com · ▲159

  Programming language that compiles into a x86 ELF executable. - riicchhaarrd/ocean

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

  A Lisp interpreter written as an untyped lambda calculus term

• 
  WIP C compiler in Go, inspired by 8cc2015 · github.com · ▲60

  Cross platform C preprocessor and compiler. Contribute to andrewchambers/cc development by creating an account on GitHub.

• 
  Xcc700: Self-hosting mini C compiler for ESP32 (Xtensa) in 700 linesDec 2025 · github.com · ▲154

  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 >…

• 
  8cc.cr – compile-time C compiler implemented as Crystal macros2016 · github.com · ▲9

  compile-time C compiler implemented as Crystal macros - makenowjust/8cc.cr

• 
  Chan – pure C implementation of Go channels2014 · github.com · ▲150

  Pure C implementation of Go channels. Contribute to tylertreat/chan development by creating an account on GitHub.

• 
  /dev/null▲468

  a social network for devs

  Dev tools · 2d 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 · 22d ago · openbot.run

• 
  Talanoa▲340

  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 · 27d ago · corespeed.io

• I3
  I 3D scanned the interior of the Great Pyramid at Giza▲1,752

  Hey HN, I 3d scanned the interior of the Great Pyramid / Khufu's pyramid for the Giza Project this summer and just finished the guided version to share. Would love feedback and/or problems you encounter. I used both a Leica BLK 360 and Matterport Pro 2 to do the scanning and the Matterport SDK for the web viewer. Matterport's web display with Three.js has been the most accessible to a wide audience in the past (previous iterations are in Unity and Unreal, but difficult to download over slower connections). I've been interviewing social studies teachers around the 6th grade level to…

  Dev tools · 2022 · giza.mused.org

• 
  Clay▲819

  Discover, organize, and deepen relationships

  Work · 2022 · me.sh

• 
  Restfox – Open source lightweight alternative to Postman▲758

  Last time I posted this it didn't garner much interest. There have been lots of improvements and fixes since the last release. Quick list of features: - Workspaces - Tabs - Nested Folders - Lots of context menus - Response history - Plugins - Runs fully in the browser and runs offline if necessary - Chrome and Firefox extension to bypass CORS restrictions - Desktop builds for all platforms - GraphQL support - Import collections exported from Postman and Insomnia - Simple user friendly interface I built this because I love Insomnia but wanted a portable version that I could run in the…

  Dev tools · 2022 · restfox.dev

• 
  Sponsor This Newsletter▲707

  100+ newsletters ready to promote your product

  Growth · 2022

• 
  Micro SaaS HQ▲672

  Profitable Micro SaaS ideas, supportive community

  Life & fun · 2022 · microsaashq.com

• 
  America – Road Trip Simulator▲663

  APIs are a little like the open road—always waiting, full of opportunity, but hardly utilized. So here’s America, composed of several APIs that paint a vivid, real-time picture of a good old-fashioned road trip. Get local classifieds and photos. Tune into local radio stations. Talk wit other drivers. And more. Exploring the country by car was an invaluable experience for me during my time in the states. I’ve since moved to Barcelona, and find myself missing the territory. This is my attempt at recreating the magic.

  Life & fun · 2022 · 4m3ric4.com