
mypy
PyLint
pre-commit by Yelp
PyFlakes
ESLint
Python Poetry
flake8
Nim (programming language)
Logseq
Obsidian.md
Notion
Joplin
Roam Research
Anytype.io
Trilium Notes
Zettlr
mypy
LogseqBased on our record, Logseq should be more popular than mypy. It has been mentiond 299 times since March 2021. We are tracking product recommendations and mentions on various public social media platforms and blogs. They can help you identify which product is more popular and what people think of it.
Pyright: the type checker. Skipping mypy, pyrefly and ty. For now. - Source: dev.to / 2 months ago
Adjust additional_dependencies to include the type stubs your project uses. Mypy will catch cases where AI-generated code calls methods that do not exist on a type, passes arguments in the wrong order, or skips null checks. - Source: dev.to / 3 months ago
Mypy is the standard static type checker for Python. For teams using AI tools to generate Python code, mypy catches a specific and common failure mode: method calls that do not exist on the inferred type. - Source: dev.to / 3 months ago
I've always admired many of Java's features, but let's not act like the reason for using Java for scripting is the pitfalls of Python. It's just because of an underlying preference for Java. 1. https://mypy-lang.org/. - Source: Hacker News / over 1 year ago
โIโm not here to tell people which languages they should love. But if you do find yourself writing production code in a dynamically typed language like Python, Ruby, or JavaScript, I would give serious consideration to opting into the type-checking tools that have become available in those ecosystems. In Python, consider requiring type hints and adding mypy checks to your CI to move your type safety bugs forward... - Source: dev.to / about 2 years ago
Choose a local Markdown tool like Obsidian, Logseq, Foam, or Tolaria to store all your knowledge as plain .md files you own and control. - Source: dev.to / about 2 months ago
I should call out another thing that convinced me was a user of forgetful (twsta) posted in the discord a skill for managing wok and todos from how they used to use Logseq. - Source: dev.to / 4 months ago
The Zettelkasten method is a knowledge management system that helps organise ideas effectively. I believe this system would work well for myself, so I have been looking at applications such a Logseq and Zettlr as a result. I am currently using a Wiki-style solution in Zim, however. - Source: dev.to / 6 months ago
I am a fan of Logseq [0] as well, although itโs slightly different in that it is mostly for bulleted notes and not long-form prose. [0]: https://logseq.com/. - Source: Hacker News / 9 months ago
Logseq is a personal knowledge management and note-taking application. - Source: dev.to / 11 months ago
PyLint - Pylint is a Python source code analyzer which looks for programming errors.
Obsidian.md - A second brain, for you, forever. Obsidian is a powerful knowledge base that works on top of a local folder of plain text Markdown files.
pre-commit by Yelp - A framework for managing and maintaining multi-language pre-commit hooks
Notion - All-in-one workspace. One tool for your whole team. Write, plan, and get organized.
PyFlakes - A simple program which checks Python source files for errors.
Joplin - Joplin is a free, open source note taking and to-do application, which can handle a large number of notes organised into notebooks. The notes are searchable, tagged and modified either from the applications directly or from your own text editor.