Lumina language

What it does

Most languages make you choose: safety or the web. Lumina doesn't. Lumina is a statically typed, web-native language with HM type inference, algebraic types, and trait-based polymorphism, compiled to JavaScript and WebAssembly. Build reactive UIs, WebGPU workloads, and WASM modules in the same language, with the same type system. - nyigoro/lumina-lang

• LF
  Lumina Functional Programming Language2025 · github.com · ▲7

  My programming language Lumina now has a usable native x86 compiler, with a basic standard library for Linux. The goals are rather ambitious, but the results are starting to show. While platform and ecosystem support is currently very limited, I'm hoping to gather some first impressions and opinions on the design. As well as gauge the level of interest for this kind of language. Like mentioned in the README, there are some examples and a documentation page to get familiar with the language. Examples: https://github.com/luminalang/lumina/tree/main/examples…

• LA
  Luminal – A truly statically typed Python notebook2022 · getluminal.com · ▲15

  Hi everyone! We're the co-founders of Luminal. We built Luminal because we were frustrated with existing Python notebooks. Python is a very powerful programming language, but it can be hard/confusing to use. There are a few aspects to this: • Python likes functions with _lots_ of arguments. Without good type info this means constantly switching back and forth between the docs and your editor. • Except for basic syntax errors, you generally don't know that you have an error in your code until you run it. This can be very annoying, especially if running takes a while! • Many things that…

• WD
  Web Development with Htmx, Type-Guided Components, Pure Python2024 · getludic.dev · ▲107

  Ludic is my personal project I started working on as I saw an opportunity to write websites in Python without the need to use template engines and write complex JavaScript (thanks to htmx.org). Ludic prioritizes simplicity - no convoluted HTML, straightforward and responsive CSS, and minimal JavaScript requirements. I'm looking for feedback for the documentation I was building: * https://getludic.dev/docs/ This documentation showcases the range of features the framework offers, providing a comprehensive overview of its capabilities. I would also appreciate if you checked…

• AD
  A dependently-typed programming language with static memory management2020 · github.com · ▲456
• 
  uilang2014 · ▲280

  A minimal, UI-focused programming language for web designers

• 
  Wyzer Programming LanguageAug 2026 · github.com · ▲227

  So i've been working on this project since a few days (or months i should say), it's called wyzer (meaning wiser) it's a statically typed, compiled, resource-oriented programming language with integrated distributed safety via choreographic programming and perceus memory model, The reason why i began this project is out of frustration from Rust, you see it does provide safety for your memory by the strict type checking but what it does not gurantee safety against are distributed deadlocks which is basically a few independent nodes or services wait permanently for resources or messages held…

• 
  Dograh▲592

  The open source VAPI alternative

  Dev tools · 26d ago · dograh.com

• 
  Meridian▲530

  Don't let your work go unnoticed. Get promoted!

  Dev tools · 21d ago · meridiona.com

• 
  x1▲516

  Lovable for iPhone apps go from idea to App Store

  Dev tools · 12d ago · x1.new

• 
  Open-Source eInk Bike Computer▲408

  OpenTrailPaper is open-source bike computer firmware for the LilyGO T5S3 4.7" E-Paper PRO. It supports offline maps, GPX routes, FIT recording and Bluetooth sensors.

  Dev tools · 2d ago · opentrailpaper.com

• 
  The GTM Co-Founder▲402

  Open-source GTM skills for technical founders

  Dev tools · 30d ago · gtmcofounder.com

• 
  Nuphos▲380

  The AI-Native DevOps Workspace.

  Dev tools · 25d ago · nuphos.ai

• 
  Brila▲1,367

  One-page websites from real Google Maps reviews

  AI · Apr 2026 · brila.ai

• AG
  A game where you build a GPU▲964

  Thought the resources for GPU arch were lacking, so here we are

  Life & fun · Apr 2026 · jaso1024.com

• IB
  I built a tiny LLM to demystify how language models work▲915

  Built a ~9M param LLM from scratch to understand how they actually work. Vanilla transformer, 60K synthetic conversations, ~130 lines of PyTorch. Trains in 5 min on a free Colab T4. The fish thinks the meaning of life is food. Fork it and swap the personality for your own character.

  AI · Apr 2026 · github.com

• 
  Fathom 3.0▲803

  AI meeting notes: now bot-free, in ChatGPT & Claude + more

  AI · Apr 2026 · fathom.ai

• BC
  Brutalist Concrete Laptop Stand (2024)▲786

  Life & fun · Apr 2026 · sam-burns.com

• IB
  I built a frontpage for personal blogs▲783

  With social media and now AI, its important to keep the indie web alive. There are many people who write frequently. Blogosphere tries to highlight them by fetching the recent posts from personal blogs across many categories. There are two versions: Minimal (HN-inspired, fast, static): https://text.blogosphere.app/ Non-minimal: https://blogosphere.app/ If you don't find your blog (or your favorite ones), please add them. I will review and approve it.

  AI · Apr 2026 · text.blogosphere.app