Skip to content
View dbohdan's full-sized avatar
263 followers · 8 following

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Starstruckx4

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Starstruckx4

Organizations

@imathsoft @tclssg @adhokku @iuy @Neat-Lang @remarshal-project @liveviews

Block or report dbohdan

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Stars

Python type checkers

7 repositories

python / mypy

Optional static typing for Python

Python 20,083 3,065 Updated Dec 17, 2025

microsoft / pyright

Static Type Checker for Python

Python 15,044 1,752 Updated Dec 17, 2025

facebook / pyre-check

Performant type-checking for python.

OCaml 7,131 452 Updated Dec 18, 2025

google / pytype

A static type analyzer for Python code

Python 5,027 289 Updated Dec 17, 2025

mtshiba / pylyzer

A fast, feature-rich static code analyzer & language server for Python

Rust 2,875 41 Updated May 10, 2025

astral-sh / ty

An extremely fast Python type checker and language server, written in Rust.

Python 14,905 157 Updated Dec 19, 2025

facebook / pyrefly

A fast type checker and language server for Python

Rust 5,064 226 Updated Dec 19, 2025