|1 day ago||about 2 months ago|
|GNU General Public License v3.0 or later||Apache License 2.0|
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
What are some alternatives?
monkeytype - The most customizable typing website with a minimalistic design and a ton of features. Test yourself in various modes, track your progress and improve your speed.
pyre-check - Performant type-checking for python.
pyright - Static type checker for Python
typing - Python static typing home. Contains the source for typing_extensions and the documentation. Also hosts a user help forum.
YouCompleteMe - A code-completion engine for Vim
klara - Automatic test case generation for python and static analysis library
Paste JSON as Code • quicktype - Xcode extension to paste JSON as Swift, Objective-C, and more
black - The uncompromising Python code formatter