Mys – an attempt to create a statically typed Python-like language

In plain words

Mys is a statically typed programming language designed to resemble Python in syntax and style. Created for developers who want Python-like readability combined with static type checking, it compiles to efficient machine code. The language aims to bridge the gap between Python's ease of use and the performance and safety benefits of compiled, statically typed languages. It's available on GitHub for developers interested in exploring an alternative approach to typed systems.

written from the facts on this page · September 2026

• 
  A Python with Hindley-Milner-like type annotations, compiling to C2015 · github.com · ▲134

  a python-like language with hindley-milner-like type system, which is compiled to c - alehander92/Airtight

• 
  Bolt – A super-fast, statically-typed scripting language written in C2025 · github.com · ▲261

  I've built many interpreters over the years, and Bolt represents my attempt at building the scripting language I always wanted. This is the first public release, 0.1.0! I've felt like most embedded languages have been moving towards safety and typing over years, with things like Python type hints, the explosive popularity of typescript, and even typing in Luau, which powers one of the largest scripted evironments in the world. Bolt attempts to harness this directly in the lagnauge rather than as a preprocessing step, and reap benefits in terms of both safety and performance. I intend to be…

• 
  Full Stack Python2014 · fullstackpython.com · ▲327

  Full Stack Python explains programming concepts in plain language and provides links to the best tutorials for those topics.

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

  A functional programming language with static memory management - vekatze/neut

• MW
  My "weekend" project, an ML dialect and compiler2012 · texodus.github.com · ▲68
• 
  Han – A Korean programming language written in RustMar 2026 · github.com · ▲208

  A few weeks ago I saw a post about someone converting an entire C++ codebase to Rust using AI in under two weeks. That inspired me — if AI can rewrite a whole language stack that fast, I wanted to try building a programming language from scratch with AI assistance. I've also been noticing growing global interest in Korean language and culture, and I wondered: what would a programming language look like if every keyword was in Hangul (the Korean writing system)? Han is the result. It's a statically-typed language written in Rust with a full compiler pipeline (lexer → parser → AST →…

• 
  /dev/null▲483

  a social network for devs

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

• 
  Talanoa▲345

  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

• 
  Trends.vc▲1,292

  Discover new markets and ideas

  Work · 2020 · join.trends.vc

• IB
  I built an After Effects for dummies▲868

  IRAMATOGEL menghadirkan layanan permainan slot dan toto togel dalam satu platform. Pemain bisa memilih game slot yang sedang ramai, melihat data result terbaru, serta mengikuti pasaran togel yang tersedia. Fokus utamanya adalah akses yang lancar, proses transaksi yang ringkas, dan dukungan layanan y

  Life & fun · 2020 · storycreatorapp.com

• 
  Fluent▲821

  Learn a new language by browsing the web

  Life & fun · 2020 · fluent.co

• 
  Waitlist API▲807

  Quick and easy waitlist with built in referral.

  Dev tools · 2020 · getwaitlist.com

• 
  Circle▲753

  The modern community platform for creators

  Growth · 2020 · circle.so

• 
  Story Creator▲713

  Simple online video editing for digital creators

  Growth · 2020