Performant type-checking for python.
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.
facebook/pyre-check - Performant type-checking for python.
1 project | reddit.com/r/GithubSecurityTools | 16 Oct 2021
OCaml at Bloomberg 'we use OCaml to write DSLs and production services –'
2 projects | news.ycombinator.com | 23 Aug 2021
Pyre: A performant type-checker for Python 3
1 project | reddit.com/r/hackernews | 10 May 2021
Welcome to hassle free coding
4 projects | reddit.com/r/ProgrammerHumor | 28 May 2022
Java vs python is debatable 🤔
3 projects | reddit.com/r/ProgrammerHumor | 3 Apr 2022