A Python Language Server, Mypy-compatible
Having created Jedi in 2012, I started ZubanLS in 2020 to advance Python tooling. It understands Mypy config files and passes >95% of the relevant Mypy tests. AMA.
A Python Language Server, Mypy-compatible launched on June 27, 2025 with 42 votes, #577 of 7,999 launches that month and more than 90% of that year's launches. The site was still online in September 2026, 1 year on.
In plain words
ZubanLS is a Python language server built by the creator of Jedi that integrates with Mypy configuration files. It provides code intelligence and type checking capabilities for Python development environments, passing over 95% of relevant Mypy tests. The tool is designed for Python developers who want advanced language features and compatibility with existing Mypy setups.
written from the facts on this page · September 2026
From the sources
Extremely fast. Generally 20-200x faster than Mypy - and optimized for lower memory usage. All relevant LSP features are implemented, completions, goto, references, diagnostics and rename included. Developed by the creator of Jedi , ZubanLS applies 14 years of experience in Python auto-completion and static analysis. As a Beta release, some false positives are expected. Issues will be addressed promptly. This includes Helix, NeoVIM, SublimeText, Emacs, Zed and many others Subscribe via Email pip install zuban All Features Development Tooling Mypy config compatibility LSP Support: Completions, Goto, Hover, Rename, References, Auto-Import Error recovery Incremental checking Watches files…from zubanls.com
Does a similar job
all alternatives →- IIImba – I have spent 7 years creating a programming language for the web2021 · ▲1,216
Hey all My name is Sindre, and I am the CTO of Scrimba (YC S20). For the last 7 years, I have written all my web apps in a full-stack programming language called Imba. It compiles to JavaScript and its main goal is to make web developers more productive. I just launched a major overhaul of Imba, so I wanted to share it here on HN, in case anyone are interested in learning more about it. It is very opinionated, so some of you might not like it, but I would love to hear anyones feedback regardless. Constructive criticism appreciated! The backstory: Imba initially started in 2012 as an effort…
My LLM CLI tool can run tools now, from Python code or plugins2025 · simonwillison.net · ▲529LLM 0.26 is out with the biggest new feature since I started the project: support for tools. You can now use the LLM CLI tool—and Python library—to grant LLMs from …
Mys – an attempt to create a statically typed Python-like language2020 · github.com · ▲50The Mys programming language - an attempt to create a statically typed Python-like language that produces fast binaries. See https://mys-lang.org for more information. - mys-lang/mys
A local Python prototyping tool for Jupyter and Streamlit2023 · github.com · ▲65Hey HN! I built a local Python prototyping tool that is finally the Python development environment I've always wanted. It has a Jupyter notebook for data crunching, a database of your choice (Python or MongoDB), and a Streamlit app for building a frontend visualization. You can edit the Streamlit backend via an embedded VSCode editor, or locally on your own IDE. The best part for me is that the database connectors within Jupyter and Streamlit are configured out-of-the-box, so you don't need to spend time thinking about how to tie all that together - you can just pick the database you want to…
Multilspy – Cross platform framework to develop Language Server Clients2024 · github.com · ▲38multilspy is a cross-platform library that we have built to set up and interact with various language servers in a unified and easy way. Language servers are tools that perform a variety of static analyses on source code and provide useful information such as type-directed code completion suggestions, symbol definition locations, symbol references, etc., over the Language Server Protocol (LSP). multilspy intends to ease the process of using language servers, by abstracting the setting up of the language servers, performing language-specific configuration and handling communication with the…
Emacs org mode integration with IPython2015 · github.com · ▲92org-babel integration with Jupyter for evaluation of (Python by default) code blocks - gregsexton/ob-ipython
More dev tools this month
the category →
open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.
Dev tools · 28d ago · github.com
Contribute to reladraw/reladraw development by creating an account on GitHub.
Dev tools · 26d ago · github.com
OpenBot▲362Grok Bot alternative: free, local, open-source, multiplayer
Dev tools · 23d ago · openbot.run
Talanoa▲346Hi 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 · 21d ago · talanoa.email
CoreSpeed▲332One MCP for everything your agents need: apps, memory, tools
Dev tools · 28d ago · corespeed.io
Source: Show HN post ↗
Launched alongside, June 2025
the whole month →- IM
Hey HN! Pilots everywhere are required to keep a logbook of all their flying hours, aircraft, airports, and so on. Since I track everything digitally (some people still just use paper logbooks!), I put together some data visualizations and a few 3D globes to show my flying history. This globe is probably my favourite so far: https://jameshard.ing/pilot/globes/all If you’ve got ideas for other graphs or ways to show this kind of data, I’d love to hear them!
Life & fun · 2025 · jameshard.ing
Stunning presentations with AI. No design skills required.
AI · 2025 · chroniclehq.com
Build native mobile apps for iOS and Android without code.
Dev tools · 2025 · bble.io
All your connections, across all your socials.
AI · 2025 · pally.com
I was the main contributor to workout.lol, an open-source fitness app to easily build a workout routine. The project had traction (1.4k GitHub stars, 95 forks, ~20K visits/month), but was eventually sold due to video licensing hurdles. The new owner stopped maintaining it, and the repo went abandoned. Over the next 9 months, I sent 15 emails to try to save it : no replies. Feature requests & issues were ignored. The community was left with a "broken" tool let's say. I couldn't just let it die So I built the new version from scratch with the same open-source spirit, but a better…
Dev tools · 2025 · github.com