Sourcegraph
OpenGrok
GitHub
Etsy Hound
Atlassian Fisheye
Tabnine
GitHub Copilot
Cody AI
mypy
PyLint
pre-commit by Yelp
PyFlakes
ESLint
Python Poetry
flake8
Nim (programming language)
Sourcegraph
mypymypy might be a bit more popular than Sourcegraph. We know about 53 links to it since March 2021 and only 36 links to Sourcegraph. 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.
Sourcegraph | Remote | Full-Time | SWE, Tech Lead, Agent Engineer, Product Manager, Product Marketing Manager | https://sourcegraph.com Sourcegraph is building the context layer for AI-powered software development. As AI accelerates code creation, we help engineering teams understand, navigate, and safely change large codebases. Our products, including Code Search, Deep Search, MCP, and Agentic Batch Changes, give... - Source: Hacker News / 8 days ago
Sourcegraph | San Francisco | Full-Time | SWE, Design Engineer, Forward Deployed Eng, Head of Design, Solutions Eng, Dev Advocate (all roles write code) | https://sourcegraph.com Sourcegraph is hiring SWEs and FDEs for Amp (https://ampcode.com), the most aggressive and powerful AI coding agent. It's growing 50% WoW, and we build it in a crazy way; see https://ampcode.com/how-we-build. Backed by Sequoia, a16z,... - Source: Hacker News / about 1 year ago
This is a product by Sourcegraph https://sourcegraph.com who already have a solution in this space. Is this something wildly different to Cody, your existing solution, or just a "subtle" attempt to gain more customers? - Source: Hacker News / over 1 year ago
Sourcegraph | San Francisco / Remote | Full-Time | SWE, Database Platform Eng, Forward Deployed Eng, Solutions Eng, Dev Advocate (all roles write code) | https://sourcegraph.com Sourcegraph is how enterprises industrialize software development with AI. We accelerate and automate how software is built in the world's most important companies, including 7/10 top software companies by market cap and 4/6 top US banks.... - Source: Hacker News / over 1 year ago
Cody by Sourcegraph can transform how you build UI components, from basic buttons to complex, dynamic systems. It handles the heavy lifting so you can focus on crafting good UI/UX designs. Whether youโre customising components or managing complex UI systems, Cody provides the tools to make the process faster and more efficient. - Source: dev.to / over 1 year ago
Pyright: the type checker. Skipping mypy, pyrefly and ty. For now. - Source: dev.to / 3 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 / 4 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 / 4 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 / over 2 years ago
OpenGrok - OpenGrok is a fast and usable source code search and cross reference engine.
PyLint - Pylint is a Python source code analyzer which looks for programming errors.
GitHub - Originally founded as a project to simplify sharing code, GitHub has grown into an application used by over a million people to store over two million code repositories, making GitHub the largest code host in the world.
pre-commit by Yelp - A framework for managing and maintaining multi-language pre-commit hooks
Etsy Hound - Hound is an extremely fast source code search engine.ย
PyFlakes - A simple program which checks Python source files for errors.