Potatodev's Developer Atlas

meta/pyre-check

Performant type-checking for python.

View on GitHub
OCaml
Stars 7.2k
Forks 448
License MIT
Open Issues 167
Updated 1h ago
abstract-interpretation code-quality control-flow-analysis ocaml program-analysis python security static-analysis taint-analysis type-check typechecker

No README available

Related Projects

morluto/rea
Reverse engineer anything with agents, from app behavior down to native binaries.
456.9k TypeScript
donnemartin/system-design-primer
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
377.8k Python
vinta/awesome-python
The definitive list that answers "I want to do X in Python, which tool should I use?"
334.5k Python
practical-tutorials/project-based-learning
Curated list of project-based tutorials
289.7k Python
trimstray/the-book-of-secret-knowledge
A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.
258.2k
TheAlgorithms/Python
All Algorithms implemented in Python
226.1k Python

Statistics

Stars
7.2k
Forks
448
Open Issues
167
Created
Nov 10, 2017
Updated
Nov 13, 2026
https://pyre-check.org/