|1 day ago||2 months ago|
|GNU General Public License v3.0 or later||GNU General Public License v3.0 or later|
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
mypy alternatives - pytype and pyright
3 projects | 30 Oct 2021
another library to check typing in python code (by google)
Type Checkers: which one you use and why?
2 projects | reddit.com/r/Python | 18 Aug 2021
The main ones I can think about are: * mypy * pytype * pyright
Why Julia's multiple dispatch is so greated explained with Pokemons
2 projects | news.ycombinator.com | 20 Jul 2021
i am perhaps biased, since my day job is working on static type inference for python, but i genuinely do believe that encoding properties like this into the type system gives you not just an extra level of safety, but an extra level of expressiveness when modelling your data in code. it's the equivalent of having units in physics.
I made Pytago, a script that transpiles some Python into human-readable Go.
5 projects | reddit.com/r/Python | 24 Jun 2021
- Better static type analysis. I'm considering using https://github.com/google/pytype but it will remove the ability for this project to run on Windows. That may not be such a bad thing, though. I plan on creating a free web version for people who just want to use it.
Reddit, what advice would you give to a CS grad into their first job as a Python Developer?
1 project | reddit.com/r/AskReddit | 19 Jun 2021
Try using this: https://google.github.io/pytype/ ....but you'll probably hate it; but try anyway.
Is Python a viable solution for enterprise web projects? Where does (pardon the wording) the fetish come from?
1 project | reddit.com/r/webdev | 17 Jun 2021
Personally, I'm not a fan of Python because it's not a statically-typed language (although there are tools for that) and, unless you have very strong coding guidelines in place, projects tend to grow disorderly very fast (but this is true of any project written in any language). I guess the Python programmers I've encountered so far just didn't care much about those two things.
Please don't fire me
1 project | reddit.com/r/ProgrammerHumor | 4 Jun 2021
https://github.com/google/pytype can surely be colloquially referred to as "compiling", and let me assure you, it's annoyingly slow.
Pyre: A performant type-checker for Python 3
6 projects | news.ycombinator.com | 10 May 2021
 https://github.com/google/pytype6 projects | news.ycombinator.com | 10 May 2021
No. I didn't expect it to be non-blaze/bazel tool friendly, but sounds like it is (aims to be at lest)?
It does seems to support the entire-directory parsing as well. That's nice! Let me give it a try next time. Thanks for the tip!
As a reminder to myself, here is the link to the doc: https://google.github.io/pytype/
This meme just made my day 🤣🤣
3 projects | reddit.com/r/ProgrammerHumor | 5 Mar 2021
Klara: Python automatic test generations and static analysis library
5 projects | reddit.com/r/Python | 13 Sep 2021
Feel free to head over to doc for more info, and check out the github repo.5 projects | reddit.com/r/Python | 13 Sep 2021
Klara is an automatic python unit test generation tool based on SMT (z3) solver. It's currently in early stage and still have many limitation (looping, comprehension, importing is not supported to name a few).
Klara - python automatic test generations and static analysis library
1 project | reddit.com/r/Python | 12 Sep 2021
Klara – Python automatic test generations and static analysis library
1 project | reddit.com/r/programming | 12 Sep 20211 project | reddit.com/r/ProgrammingLanguages | 12 Sep 2021
Show HN: Klara – Python automatic test generations and static analysis library
1 project | news.ycombinator.com | 12 Sep 2021
What are some alternatives?
pyannotate - Auto-generate PEP-484 annotations
pyre-check - Performant type-checking for python.
pyright - Static type checker for Python
Valheim-Server-Web-GUI - This is a web GUI that can live on top of a Valheim server, giving you a web interface for controlling some of the basic functions of managing a server. This is database-less, no SQL required. Can publicly show mods, lets you edit your CFG files via a web interface, can show your world seed ID (publicly or not), can start/stop/restart valheimserver.service and can download your .db and .fwl files.
pynguin - The PYthoN General UnIt Test geNerator is a test-generation tool for Python
astroid - A common base representation of python source code for pylint and other projects
CrossHair - An analysis tool for Python that blurs the line between testing and type systems.
pyt - A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
unimport - A linter, formatter for finding and removing unused import statements.
Paste JSON as Code • quicktype - Xcode extension to paste JSON as Swift, Objective-C, and more