Gitea
GitLab
GitHub
BitBucket
Gogs
GitBucket
GitHub Desktop
RhodeCode
mypy
PyLint
flake8
SonarQube
PyFlakes
Pyright
PEP8
PyChecker
mypyGitea might be a bit more popular than mypy. We know about 60 links to it since March 2021 and only 50 links to mypy. 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.
This reminds me of Gogs [0], where the original author refused a lot of good ideas and improvements, eventually leading to a fork [1] that's now a lot more popular and active than the original. [0] https://gogs.io/ [1] https://gitea.io/en-us/. - Source: Hacker News / almost 2 years ago
Yes, we do this using https://gitea.io/en-us/ on a private server. Firewall, backups and a replica running for most projects. Github is only used when it's required by a stakeholder. - Source: Hacker News / almost 2 years ago
There's a number of places out there, some of which also support alternatives to Git itself. By no means a complete list and in no particular order: GitLab - https://about.gitlab.com/ Sourcehut - https://sourcehut.org/ Codeberg - https://codeberg.org/ Launchpad - https://launchpad.net/ Debian Salsa - https://salsa.debian.org/public Pagure - https://pagure.io/pagure For self hsoted options, there's these below... - Source: Hacker News / about 2 years ago
And if you need GitLab (for runner, etc...) then it's not too bad to run in Docker. But if anyone is looking for a somewhat simpler git solution, gitea is pretty great. Source: about 2 years ago
Check: Configuration and syntax changes and Special packages. The latter includes changes on PostgreSQL, Python and Gitea. - Source: dev.to / about 2 years 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 / 5 months 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 1 year ago
Mypy is "an optional static type checker for Python that aims to combine the benefits of dynamic (or "duck") typing and static typing". As Python is dynamically typed, Mypy adds an extra layer of safety by checking types at compile time (based on type annotations conforming to PEP 484), catching potential errors before runtime. - Source: dev.to / over 1 year ago
Mypy stands as an essential static type-checking tool. Its primary function is to verify the correctness of types in your codebase. However, manually annotating types in legacy code can be laborious and time-consuming. - Source: dev.to / over 1 year ago
Lua is a great language for embedding, but one thing I wish it had was some form of optional type annotations that could be checked by a linter. Something like mypy for Lua would be super-useful. Source: almost 2 years ago
GitLab - Create, review and deploy code together with GitLab open source git repo management software | GitLab
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.
flake8 - A wrapper around Python tools to check the style and quality of Python code.
BitBucket - Bitbucket is a free code hosting site for Mercurial and Git. Manage your development with a hosted wiki, issue tracker and source code.
SonarQube - SonarQube, a core component of the Sonar solution, is an open source, self-managed tool that systematically helps developers and organizations deliver Clean Code.
