LM Programming Language

What it does

λ☶ (pronounced Lambda Mountain) is a compiler backend that provides a relatively clean implementation of System F<: with Specialization. The whole compiler is only 5000 lines of code.

Compiler Backend for LSTS (High-Level Typed Macro Assembler) - andrew4328/lambda-mountain

• 
  A Tiny Compiler for a Tiny Functional Language2024 · github.com · ▲8

  Compiler Backend for LSTS (High-Level Typed Macro Assembler) - andrew4328/lambda-mountain

• 
  Lambda-8cc – An x86 C compiler written in untyped lambda calculus2022 · github.com · ▲249

  x86 C compiler written in untyped lambda calculus. Contribute to woodrush/lambda-8cc development by creating an account on GitHub.

• 
  A compiler and VM for a simple language, in 150 lines of code2022 · gist.github.com · ▲200

  A complete compiler for a simple language (in less than 150 LoC) - 00_readme.md

• 
  Simple virtual machine, assembler, and C compiler2016 · github.com · ▲99

  simple virtual machine and assembler. Contribute to ronsoros/rvm development by creating an account on GitHub.

• 
  Kent Dybvig's Scheme Machine in 400 Lines of C (Heap-Memory Model)2025 · gist.github.com · ▲226

  Heap based scheme machine. GitHub Gist: instantly share code, notes, and snippets.

• 
  LuaJIT assembler/assembly language for direct bytecode programming2019 · github.com · ▲141

  LuaJIT 2.0 and 2.1 bytecode generator, assembler, parser, viewer and test VM. Lua 5.1 parser, IDE and debugger. - rochus-keller/LjTools

• 
  /dev/null▲481

  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▲341

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

• 
  Sugar Free: Food Scanner▲2,107

  Sugar detox app

  AI · 2024 · apps.apple.com

• 
  Mobbin 2.0▲1,657

  Discover real-world design inspiration

  Work · 2024 · mobbin.com

• 
  folk 3.0▲1,591

  The CRM for companies who care about people

  Dev tools · 2024 · folk.app

• 
  SuperGPT▲1,206

  Use ChatGPT on Google Sheets

  AI · 2024 · superjoin.ai

• 
  I created an After Effects alternative▲1,150

  Many years ago, I made VJ softwares (to mix live visuals in clubs) for unexpected platforms like the Game Boy Advance, the Playstation 2 and the Raspberry Pi. This year, I’m back with a new web-app: Pikimov. Inspired by Photopea (a free Photoshop clone), I created this web-based motion design & video editor as an alternative to After Effects, to fill empty void. It's free, without signup, without cloud uploads (your files stay on your machine), and your projects are not used for AI models training.

  AI · 2024 · pikimov.com

• 
  Motiff▲1,147

  AI powered professional UI design tool

  AI · 2024 · motiff.com