René's URL Explorer Experiment

Title: type-checking · GitHub Topics · GitHub

Open Graph Title: Build software better, together

X Title: GitHub

Description: GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.

Open Graph Description: GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.

X Description: GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.

Opengraph URL: https://github.com

X: github

direct link

Domain: patch-diff.githubusercontent.com

route-pattern	/topics/:topic_name(.:format)
route-controller	topics
route-action	show
fetch-nonce	v2:3c03fa65-e710-d3ba-96a3-411c87eaa403
current-catalog-service-hash	82c569b93da5c18ed649ebd4c2c79437db4611a6a1373e805a3cb001c64130b7
request-id	8BD6:2A6D10:2C67759:39C213B:696B72F0
html-safe-nonce	99087edadf971459e6cdd87e2464525a76f43e61d596b4fbe3e6240756f0dccd
visitor-payload	eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiI4QkQ2OjJBNkQxMDoyQzY3NzU5OjM5QzIxM0I6Njk2QjcyRjAiLCJ2aXNpdG9yX2lkIjoiNDc2ODYwNDcxNjIzNDY2NjczNiIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmac	eafdb68745a8a6efd275ad1794b107103ef8b3b1c21cbe3f59a199ba090d7d79
github-keyboard-shortcuts	copilot
google-site-verification	Apib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-url	https://collector.github.com/github/collect
fb:app_id	1401488693436528
apple-itunes-app	app-id=1477376905, app-argument=https://github.com/topics/type-checking
og:site_name	GitHub
og:image	https://github.githubassets.com/assets/github-octocat-13c86b8b336d.png
og:image:type	image/png
og:image:width	1200
og:image:height	620
twitter:site:id	13334762
twitter:creator	github
twitter:creator:id	13334762
twitter:card	summary_large_image
twitter:image	https://github.githubassets.com/assets/github-logo-55c5b9a1fe52.png
twitter:image:width	1200
twitter:image:height	1200
hostname	github.com
expected-hostname	github.com
None	5f99f7c1d70f01da5b93e5ca90303359738944d8ab470e396496262c66e60b8d
turbo-cache-control	no-preview
turbo-body-classes	logged-out env-production page-responsive
disable-turbo	false
browser-stats-url	https://api.github.com/_private/browser/stats
browser-errors-url	https://api.github.com/_private/browser/errors
release	82560a55c6b2054555076f46e683151ee28a19bc
ui-target	canary-1
theme-color	#1e2327
color-scheme	light dark

Links:

Skip to content	https://patch-diff.githubusercontent.com/topics/type-checking#start-of-content
	https://patch-diff.githubusercontent.com/
Sign in	https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Ftopics%2Ftype-checking
GitHub CopilotWrite better code with AI	https://github.com/features/copilot
GitHub SparkBuild and deploy intelligent apps	https://github.com/features/spark
GitHub ModelsManage and compare prompts	https://github.com/features/models
MCP RegistryNewIntegrate external tools	https://github.com/mcp
ActionsAutomate any workflow	https://github.com/features/actions
CodespacesInstant dev environments	https://github.com/features/codespaces
IssuesPlan and track work	https://github.com/features/issues
Code ReviewManage code changes	https://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilities	https://github.com/security/advanced-security
Code securitySecure your code as you build	https://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they start	https://github.com/security/advanced-security/secret-protection
Why GitHub	https://github.com/why-github
Documentation	https://docs.github.com
Blog	https://github.blog
Changelog	https://github.blog/changelog
Marketplace	https://github.com/marketplace
View all features	https://github.com/features
Enterprises	https://github.com/enterprise
Small and medium teams	https://github.com/team
Startups	https://github.com/enterprise/startups
Nonprofits	https://github.com/solutions/industry/nonprofits
App Modernization	https://github.com/solutions/use-case/app-modernization
DevSecOps	https://github.com/solutions/use-case/devsecops
DevOps	https://github.com/solutions/use-case/devops
CI/CD	https://github.com/solutions/use-case/ci-cd
View all use cases	https://github.com/solutions/use-case
Healthcare	https://github.com/solutions/industry/healthcare
Financial services	https://github.com/solutions/industry/financial-services
Manufacturing	https://github.com/solutions/industry/manufacturing
Government	https://github.com/solutions/industry/government
View all industries	https://github.com/solutions/industry
View all solutions	https://github.com/solutions
AI	https://github.com/resources/articles?topic=ai
Software Development	https://github.com/resources/articles?topic=software-development
DevOps	https://github.com/resources/articles?topic=devops
Security	https://github.com/resources/articles?topic=security
View all topics	https://github.com/resources/articles
Customer stories	https://github.com/customer-stories
Events & webinars	https://github.com/resources/events
Ebooks & reports	https://github.com/resources/whitepapers
Business insights	https://github.com/solutions/executive-insights
GitHub Skills	https://skills.github.com
Documentation	https://docs.github.com
Customer support	https://support.github.com
Community forum	https://github.com/orgs/community/discussions
Trust center	https://github.com/trust-center
Partners	https://github.com/partners
GitHub SponsorsFund open source developers	https://github.com/sponsors
Security Lab	https://securitylab.github.com
Maintainer Community	https://maintainers.github.com
Accelerator	https://github.com/accelerator
Archive Program	https://archiveprogram.github.com
Topics	https://github.com/topics
Trending	https://github.com/trending
Collections	https://github.com/collections
Enterprise platformAI-powered developer platform	https://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security features	https://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI features	https://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 support	https://github.com/premium-support
Pricing	https://github.com/pricing
Search syntax tips	https://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentation	https://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in	https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Ftopics%2Ftype-checking
Sign up	https://patch-diff.githubusercontent.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2Ftopics%2Ftype-checking&source=header
Reload	https://patch-diff.githubusercontent.com/topics/type-checking
Reload	https://patch-diff.githubusercontent.com/topics/type-checking
Reload	https://patch-diff.githubusercontent.com/topics/type-checking
Explore	https://patch-diff.githubusercontent.com/explore
Topics	https://patch-diff.githubusercontent.com/topics
Trending	https://patch-diff.githubusercontent.com/trending
Collections	https://patch-diff.githubusercontent.com/collections
Events	https://patch-diff.githubusercontent.com/events
GitHub Sponsors	https://patch-diff.githubusercontent.com/sponsors/explore
Star	https://patch-diff.githubusercontent.com/login?return_to=%2Ftopic.type-checking
All 265	https://github.com/topics/type-checking
Python 61	https://github.com/topics/type-checking?l=python
JavaScript 50	https://github.com/topics/type-checking?l=javascript
TypeScript 42	https://github.com/topics/type-checking?l=typescript
Java 13	https://github.com/topics/type-checking?l=java
Ruby 12	https://github.com/topics/type-checking?l=ruby
Rust 9	https://github.com/topics/type-checking?l=rust
C++ 8	https://github.com/topics/type-checking?l=c%2B%2B
Elixir 7	https://github.com/topics/type-checking?l=elixir
Haskell 7	https://github.com/topics/type-checking?l=haskell
OCaml 7	https://github.com/topics/type-checking?l=ocaml
Most stars	https://patch-diff.githubusercontent.com/topics/type-checking?o=desc&s=stars
Fewest stars	https://patch-diff.githubusercontent.com/topics/type-checking?o=asc&s=stars
Most forks	https://patch-diff.githubusercontent.com/topics/type-checking?o=desc&s=forks
Fewest forks	https://patch-diff.githubusercontent.com/topics/type-checking?o=asc&s=forks
Recently updated	https://patch-diff.githubusercontent.com/topics/type-checking?o=desc&s=updated
Least recently updated	https://patch-diff.githubusercontent.com/topics/type-checking?o=asc&s=updated
	https://patch-diff.githubusercontent.com/millsp/ts-toolbelt
millsp	https://patch-diff.githubusercontent.com/millsp
ts-toolbelt	https://patch-diff.githubusercontent.com/millsp/ts-toolbelt
Sponsor	https://patch-diff.githubusercontent.com/sponsors/millsp
Star 7.1k	https://patch-diff.githubusercontent.com/login?return_to=%2Fmillsp%2Fts-toolbelt
Code	https://patch-diff.githubusercontent.com/millsp/ts-toolbelt
Issues	https://patch-diff.githubusercontent.com/millsp/ts-toolbelt/issues
Pull requests	https://patch-diff.githubusercontent.com/millsp/ts-toolbelt/pulls
Discussions	https://patch-diff.githubusercontent.com/millsp/ts-toolbelt/discussions
utility	https://patch-diff.githubusercontent.com/topics/utility
typescript	https://patch-diff.githubusercontent.com/topics/typescript
types	https://patch-diff.githubusercontent.com/topics/types
typescript-library	https://patch-diff.githubusercontent.com/topics/typescript-library
dynamic-types	https://patch-diff.githubusercontent.com/topics/dynamic-types
safety	https://patch-diff.githubusercontent.com/topics/safety
type-safety	https://patch-diff.githubusercontent.com/topics/type-safety
type-checking	https://patch-diff.githubusercontent.com/topics/type-checking
type-utilities	https://patch-diff.githubusercontent.com/topics/type-utilities
sindresorhus	https://patch-diff.githubusercontent.com/sindresorhus
ow	https://patch-diff.githubusercontent.com/sindresorhus/ow
Sponsor	https://patch-diff.githubusercontent.com/sponsors/sindresorhus
Star 3.9k	https://patch-diff.githubusercontent.com/login?return_to=%2Fsindresorhus%2Fow
Code	https://patch-diff.githubusercontent.com/sindresorhus/ow
Issues	https://patch-diff.githubusercontent.com/sindresorhus/ow/issues
Pull requests	https://patch-diff.githubusercontent.com/sindresorhus/ow/pulls
nodejs	https://patch-diff.githubusercontent.com/topics/nodejs
javascript	https://patch-diff.githubusercontent.com/topics/javascript
validation	https://patch-diff.githubusercontent.com/topics/validation
npm-package	https://patch-diff.githubusercontent.com/topics/npm-package
type-checking	https://patch-diff.githubusercontent.com/topics/type-checking
sdiehl	https://patch-diff.githubusercontent.com/sdiehl
write-you-a-haskell	https://patch-diff.githubusercontent.com/sdiehl/write-you-a-haskell
Star 3.5k	https://patch-diff.githubusercontent.com/login?return_to=%2Fsdiehl%2Fwrite-you-a-haskell
Code	https://patch-diff.githubusercontent.com/sdiehl/write-you-a-haskell
Issues	https://patch-diff.githubusercontent.com/sdiehl/write-you-a-haskell/issues
Pull requests	https://patch-diff.githubusercontent.com/sdiehl/write-you-a-haskell/pulls
http://dev.stephendiehl.com/fun/	http://dev.stephendiehl.com/fun/
compiler	https://patch-diff.githubusercontent.com/topics/compiler
functional-programming	https://patch-diff.githubusercontent.com/topics/functional-programming
book	https://patch-diff.githubusercontent.com/topics/book
lambda-calculus	https://patch-diff.githubusercontent.com/topics/lambda-calculus
evaluation	https://patch-diff.githubusercontent.com/topics/evaluation
type-theory	https://patch-diff.githubusercontent.com/topics/type-theory
type	https://patch-diff.githubusercontent.com/topics/type
pdf-book	https://patch-diff.githubusercontent.com/topics/pdf-book
type-checking	https://patch-diff.githubusercontent.com/topics/type-checking
haskel	https://patch-diff.githubusercontent.com/topics/haskel
type-system	https://patch-diff.githubusercontent.com/topics/type-system
functional-language	https://patch-diff.githubusercontent.com/topics/functional-language
hindley-milner	https://patch-diff.githubusercontent.com/topics/hindley-milner
type-inference	https://patch-diff.githubusercontent.com/topics/type-inference
intermediate-representation	https://patch-diff.githubusercontent.com/topics/intermediate-representation
explosion	https://patch-diff.githubusercontent.com/explosion
thinc	https://patch-diff.githubusercontent.com/explosion/thinc
Star 2.9k	https://patch-diff.githubusercontent.com/login?return_to=%2Fexplosion%2Fthinc
Code	https://patch-diff.githubusercontent.com/explosion/thinc
Issues	https://patch-diff.githubusercontent.com/explosion/thinc/issues
Pull requests	https://patch-diff.githubusercontent.com/explosion/thinc/pulls
python	https://patch-diff.githubusercontent.com/topics/python
nlp	https://patch-diff.githubusercontent.com/topics/nlp
machine-learning	https://patch-diff.githubusercontent.com/topics/machine-learning
natural-language-processing	https://patch-diff.githubusercontent.com/topics/natural-language-processing
ai	https://patch-diff.githubusercontent.com/topics/ai
deep-learning	https://patch-diff.githubusercontent.com/topics/deep-learning
mxnet	https://patch-diff.githubusercontent.com/topics/mxnet
functional-programming	https://patch-diff.githubusercontent.com/topics/functional-programming
tensorflow	https://patch-diff.githubusercontent.com/topics/tensorflow
pytorch	https://patch-diff.githubusercontent.com/topics/pytorch
artificial-intelligence	https://patch-diff.githubusercontent.com/topics/artificial-intelligence
spacy	https://patch-diff.githubusercontent.com/topics/spacy
machine-learning-library	https://patch-diff.githubusercontent.com/topics/machine-learning-library
type-checking	https://patch-diff.githubusercontent.com/topics/type-checking
jax	https://patch-diff.githubusercontent.com/topics/jax
teal-language	https://patch-diff.githubusercontent.com/teal-language
tl	https://patch-diff.githubusercontent.com/teal-language/tl
Star 2.7k	https://patch-diff.githubusercontent.com/login?return_to=%2Fteal-language%2Ftl
Code	https://patch-diff.githubusercontent.com/teal-language/tl
Issues	https://patch-diff.githubusercontent.com/teal-language/tl/issues
Pull requests	https://patch-diff.githubusercontent.com/teal-language/tl/pulls
Discussions	https://patch-diff.githubusercontent.com/teal-language/tl/discussions
lua	https://patch-diff.githubusercontent.com/topics/lua
compiler	https://patch-diff.githubusercontent.com/topics/compiler
type-checking	https://patch-diff.githubusercontent.com/topics/type-checking
teal	https://patch-diff.githubusercontent.com/topics/teal
ruby	https://patch-diff.githubusercontent.com/ruby
rbs	https://patch-diff.githubusercontent.com/ruby/rbs
Star 2.1k	https://patch-diff.githubusercontent.com/login?return_to=%2Fruby%2Frbs
Code	https://patch-diff.githubusercontent.com/ruby/rbs
Issues	https://patch-diff.githubusercontent.com/ruby/rbs/issues
Pull requests	https://patch-diff.githubusercontent.com/ruby/rbs/pulls
Discussions	https://patch-diff.githubusercontent.com/ruby/rbs/discussions
ruby	https://patch-diff.githubusercontent.com/topics/ruby
type-checking	https://patch-diff.githubusercontent.com/topics/type-checking
jasmcaus	https://patch-diff.githubusercontent.com/jasmcaus
caer	https://patch-diff.githubusercontent.com/jasmcaus/caer
Sponsor	https://patch-diff.githubusercontent.com/sponsors/jasmcaus
Star 806	https://patch-diff.githubusercontent.com/login?return_to=%2Fjasmcaus%2Fcaer
Code	https://patch-diff.githubusercontent.com/jasmcaus/caer
Issues	https://patch-diff.githubusercontent.com/jasmcaus/caer/issues
Pull requests	https://patch-diff.githubusercontent.com/jasmcaus/caer/pulls
Discussions	https://patch-diff.githubusercontent.com/jasmcaus/caer/discussions
python	https://patch-diff.githubusercontent.com/topics/python
opencv	https://patch-diff.githubusercontent.com/topics/opencv
data-science	https://patch-diff.githubusercontent.com/topics/data-science
machine-learning	https://patch-diff.githubusercontent.com/topics/machine-learning
ai	https://patch-diff.githubusercontent.com/topics/ai
computer-vision	https://patch-diff.githubusercontent.com/topics/computer-vision
deep-learning	https://patch-diff.githubusercontent.com/topics/deep-learning
neural-network	https://patch-diff.githubusercontent.com/topics/neural-network
gpu	https://patch-diff.githubusercontent.com/topics/gpu
cuda	https://patch-diff.githubusercontent.com/topics/cuda
image-processing	https://patch-diff.githubusercontent.com/topics/image-processing
artificial-intelligence	https://patch-diff.githubusercontent.com/topics/artificial-intelligence
video-processing	https://patch-diff.githubusercontent.com/topics/video-processing
vision	https://patch-diff.githubusercontent.com/topics/vision
image-classification	https://patch-diff.githubusercontent.com/topics/image-classification
segmentation	https://patch-diff.githubusercontent.com/topics/segmentation
type-checking	https://patch-diff.githubusercontent.com/topics/type-checking
image-segmentation	https://patch-diff.githubusercontent.com/topics/image-segmentation
augmentation	https://patch-diff.githubusercontent.com/topics/augmentation
caer	https://patch-diff.githubusercontent.com/topics/caer
zubanls	https://patch-diff.githubusercontent.com/zubanls
zuban	https://patch-diff.githubusercontent.com/zubanls/zuban
Star 758	https://patch-diff.githubusercontent.com/login?return_to=%2Fzubanls%2Fzuban
Code	https://patch-diff.githubusercontent.com/zubanls/zuban
Issues	https://patch-diff.githubusercontent.com/zubanls/zuban/issues
Pull requests	https://patch-diff.githubusercontent.com/zubanls/zuban/pulls
Discussions	https://patch-diff.githubusercontent.com/zubanls/zuban/discussions
python	https://patch-diff.githubusercontent.com/topics/python
autocompletion	https://patch-diff.githubusercontent.com/topics/autocompletion
static-analysis	https://patch-diff.githubusercontent.com/topics/static-analysis
language-server-protocol	https://patch-diff.githubusercontent.com/topics/language-server-protocol
type-checking	https://patch-diff.githubusercontent.com/topics/type-checking
mypy	https://patch-diff.githubusercontent.com/topics/mypy
johnthagen	https://patch-diff.githubusercontent.com/johnthagen
python-blueprint	https://patch-diff.githubusercontent.com/johnthagen/python-blueprint
Star 711	https://patch-diff.githubusercontent.com/login?return_to=%2Fjohnthagen%2Fpython-blueprint
Code	https://patch-diff.githubusercontent.com/johnthagen/python-blueprint
Issues	https://patch-diff.githubusercontent.com/johnthagen/python-blueprint/issues
Pull requests	https://patch-diff.githubusercontent.com/johnthagen/python-blueprint/pulls
Discussions	https://patch-diff.githubusercontent.com/johnthagen/python-blueprint/discussions
python	https://patch-diff.githubusercontent.com/topics/python
docker	https://patch-diff.githubusercontent.com/topics/docker
github-pages	https://patch-diff.githubusercontent.com/topics/github-pages
coverage	https://patch-diff.githubusercontent.com/topics/coverage
linting	https://patch-diff.githubusercontent.com/topics/linting
containers	https://patch-diff.githubusercontent.com/topics/containers
mkdocs	https://patch-diff.githubusercontent.com/topics/mkdocs
pytest	https://patch-diff.githubusercontent.com/topics/pytest
pycharm	https://patch-diff.githubusercontent.com/topics/pycharm
python-3	https://patch-diff.githubusercontent.com/topics/python-3
type-checking	https://patch-diff.githubusercontent.com/topics/type-checking
ruff	https://patch-diff.githubusercontent.com/topics/ruff
mypy	https://patch-diff.githubusercontent.com/topics/mypy
type-hints	https://patch-diff.githubusercontent.com/topics/type-hints
uv	https://patch-diff.githubusercontent.com/topics/uv
mkdocs-material	https://patch-diff.githubusercontent.com/topics/mkdocs-material
nox	https://patch-diff.githubusercontent.com/topics/nox
github-actions	https://patch-diff.githubusercontent.com/topics/github-actions
pep-621	https://patch-diff.githubusercontent.com/topics/pep-621
pep-735	https://patch-diff.githubusercontent.com/topics/pep-735
msz	https://patch-diff.githubusercontent.com/msz
hammox	https://patch-diff.githubusercontent.com/msz/hammox
Star 588	https://patch-diff.githubusercontent.com/login?return_to=%2Fmsz%2Fhammox
Code	https://patch-diff.githubusercontent.com/msz/hammox
Issues	https://patch-diff.githubusercontent.com/msz/hammox/issues
Pull requests	https://patch-diff.githubusercontent.com/msz/hammox/pulls
testing	https://patch-diff.githubusercontent.com/topics/testing
mock	https://patch-diff.githubusercontent.com/topics/mock
unit-testing	https://patch-diff.githubusercontent.com/topics/unit-testing
typechecker	https://patch-diff.githubusercontent.com/topics/typechecker
elixir	https://patch-diff.githubusercontent.com/topics/elixir
contract	https://patch-diff.githubusercontent.com/topics/contract
behaviour	https://patch-diff.githubusercontent.com/topics/behaviour
contracts	https://patch-diff.githubusercontent.com/topics/contracts
type-checking	https://patch-diff.githubusercontent.com/topics/type-checking
mocks	https://patch-diff.githubusercontent.com/topics/mocks
contract-testing	https://patch-diff.githubusercontent.com/topics/contract-testing
behaviours	https://patch-diff.githubusercontent.com/topics/behaviours
typechecking	https://patch-diff.githubusercontent.com/topics/typechecking
dialyzer	https://patch-diff.githubusercontent.com/topics/dialyzer
mox	https://patch-diff.githubusercontent.com/topics/mox
type-checker	https://patch-diff.githubusercontent.com/topics/type-checker
typespec	https://patch-diff.githubusercontent.com/topics/typespec
behaviour-typespec	https://patch-diff.githubusercontent.com/topics/behaviour-typespec
typespecs	https://patch-diff.githubusercontent.com/topics/typespecs
explicit-contracts	https://patch-diff.githubusercontent.com/topics/explicit-contracts
Qqwy	https://patch-diff.githubusercontent.com/Qqwy
elixir-type_check	https://patch-diff.githubusercontent.com/Qqwy/elixir-type_check
Star 530	https://patch-diff.githubusercontent.com/login?return_to=%2FQqwy%2Felixir-type_check
Code	https://patch-diff.githubusercontent.com/Qqwy/elixir-type_check
Issues	https://patch-diff.githubusercontent.com/Qqwy/elixir-type_check/issues
Pull requests	https://patch-diff.githubusercontent.com/Qqwy/elixir-type_check/pulls
metaprogramming	https://patch-diff.githubusercontent.com/topics/metaprogramming
property-based-testing	https://patch-diff.githubusercontent.com/topics/property-based-testing
elixir-lang	https://patch-diff.githubusercontent.com/topics/elixir-lang
type-checking	https://patch-diff.githubusercontent.com/topics/type-checking
hacktoberfest	https://patch-diff.githubusercontent.com/topics/hacktoberfest
sylvainpolletvillard	https://patch-diff.githubusercontent.com/sylvainpolletvillard
ObjectModel	https://patch-diff.githubusercontent.com/sylvainpolletvillard/ObjectModel
Star 474	https://patch-diff.githubusercontent.com/login?return_to=%2Fsylvainpolletvillard%2FObjectModel
Code	https://patch-diff.githubusercontent.com/sylvainpolletvillard/ObjectModel
Issues	https://patch-diff.githubusercontent.com/sylvainpolletvillard/ObjectModel/issues
Pull requests	https://patch-diff.githubusercontent.com/sylvainpolletvillard/ObjectModel/pulls
javascript	https://patch-diff.githubusercontent.com/topics/javascript
dynamic	https://patch-diff.githubusercontent.com/topics/dynamic
model	https://patch-diff.githubusercontent.com/topics/model
structure	https://patch-diff.githubusercontent.com/topics/structure
composition	https://patch-diff.githubusercontent.com/topics/composition
typing	https://patch-diff.githubusercontent.com/topics/typing
type-checking	https://patch-diff.githubusercontent.com/topics/type-checking
strong	https://patch-diff.githubusercontent.com/topics/strong
dropbox	https://patch-diff.githubusercontent.com/dropbox
mypy-PyCharm-plugin	https://patch-diff.githubusercontent.com/dropbox/mypy-PyCharm-plugin
Star 320	https://patch-diff.githubusercontent.com/login?return_to=%2Fdropbox%2Fmypy-PyCharm-plugin
Code	https://patch-diff.githubusercontent.com/dropbox/mypy-PyCharm-plugin
Issues	https://patch-diff.githubusercontent.com/dropbox/mypy-PyCharm-plugin/issues
Pull requests	https://patch-diff.githubusercontent.com/dropbox/mypy-PyCharm-plugin/pulls
python	https://patch-diff.githubusercontent.com/topics/python
types	https://patch-diff.githubusercontent.com/topics/types
typing	https://patch-diff.githubusercontent.com/topics/typing
pycharm	https://patch-diff.githubusercontent.com/topics/pycharm
type-checking	https://patch-diff.githubusercontent.com/topics/type-checking
mypy	https://patch-diff.githubusercontent.com/topics/mypy
brendanzab	https://patch-diff.githubusercontent.com/brendanzab
language-garden	https://patch-diff.githubusercontent.com/brendanzab/language-garden
Star 306	https://patch-diff.githubusercontent.com/login?return_to=%2Fbrendanzab%2Flanguage-garden
Code	https://patch-diff.githubusercontent.com/brendanzab/language-garden
Issues	https://patch-diff.githubusercontent.com/brendanzab/language-garden/issues
Pull requests	https://patch-diff.githubusercontent.com/brendanzab/language-garden/pulls
Discussions	https://patch-diff.githubusercontent.com/brendanzab/language-garden/discussions
dependent-types	https://patch-diff.githubusercontent.com/topics/dependent-types
interpreter	https://patch-diff.githubusercontent.com/topics/interpreter
type-theory	https://patch-diff.githubusercontent.com/topics/type-theory
programming-languages	https://patch-diff.githubusercontent.com/topics/programming-languages
compilers	https://patch-diff.githubusercontent.com/topics/compilers
type-checking	https://patch-diff.githubusercontent.com/topics/type-checking
l-systems	https://patch-diff.githubusercontent.com/topics/l-systems
interpreters	https://patch-diff.githubusercontent.com/topics/interpreters
elaboration	https://patch-diff.githubusercontent.com/topics/elaboration
compilation	https://patch-diff.githubusercontent.com/topics/compilation
typechecking	https://patch-diff.githubusercontent.com/topics/typechecking
normalization-by-evaluation	https://patch-diff.githubusercontent.com/topics/normalization-by-evaluation
semantic-typechecking	https://patch-diff.githubusercontent.com/topics/semantic-typechecking
type-systems	https://patch-diff.githubusercontent.com/topics/type-systems
language-garden	https://patch-diff.githubusercontent.com/topics/language-garden
	https://patch-diff.githubusercontent.com/Josverl/micropython-stubs
Josverl	https://patch-diff.githubusercontent.com/Josverl
micropython-stubs	https://patch-diff.githubusercontent.com/Josverl/micropython-stubs
Sponsor	https://patch-diff.githubusercontent.com/sponsors/Josverl
Star 281	https://patch-diff.githubusercontent.com/login?return_to=%2FJosverl%2Fmicropython-stubs
Code	https://patch-diff.githubusercontent.com/Josverl/micropython-stubs
Issues	https://patch-diff.githubusercontent.com/Josverl/micropython-stubs/issues
Pull requests	https://patch-diff.githubusercontent.com/Josverl/micropython-stubs/pulls
Discussions	https://patch-diff.githubusercontent.com/Josverl/micropython-stubs/discussions
micropython	https://patch-diff.githubusercontent.com/topics/micropython
vscode	https://patch-diff.githubusercontent.com/topics/vscode
type-checking	https://patch-diff.githubusercontent.com/topics/type-checking
pylint	https://patch-diff.githubusercontent.com/topics/pylint
mypy	https://patch-diff.githubusercontent.com/topics/mypy
pycharm-ide	https://patch-diff.githubusercontent.com/topics/pycharm-ide
static-typing	https://patch-diff.githubusercontent.com/topics/static-typing
pyscript	https://patch-diff.githubusercontent.com/topics/pyscript
pyright	https://patch-diff.githubusercontent.com/topics/pyright
mypy-stubs	https://patch-diff.githubusercontent.com/topics/mypy-stubs
type-stubs	https://patch-diff.githubusercontent.com/topics/type-stubs
pylance	https://patch-diff.githubusercontent.com/topics/pylance
awesome-micropython	https://patch-diff.githubusercontent.com/topics/awesome-micropython
philbooth	https://patch-diff.githubusercontent.com/philbooth
check-types.js	https://patch-diff.githubusercontent.com/philbooth/check-types.js
Star 227	https://patch-diff.githubusercontent.com/login?return_to=%2Fphilbooth%2Fcheck-types.js
Code	https://patch-diff.githubusercontent.com/philbooth/check-types.js
Issues	https://patch-diff.githubusercontent.com/philbooth/check-types.js/issues
Pull requests	https://patch-diff.githubusercontent.com/philbooth/check-types.js/pulls
types	https://patch-diff.githubusercontent.com/topics/types
assertions	https://patch-diff.githubusercontent.com/topics/assertions
assert	https://patch-diff.githubusercontent.com/topics/assert
predicates	https://patch-diff.githubusercontent.com/topics/predicates
type-checking	https://patch-diff.githubusercontent.com/topics/type-checking
duck-typing	https://patch-diff.githubusercontent.com/topics/duck-typing
xodio	https://patch-diff.githubusercontent.com/xodio
hm-def	https://patch-diff.githubusercontent.com/xodio/hm-def
Star 202	https://patch-diff.githubusercontent.com/login?return_to=%2Fxodio%2Fhm-def
Code	https://patch-diff.githubusercontent.com/xodio/hm-def
Issues	https://patch-diff.githubusercontent.com/xodio/hm-def/issues
Pull requests	https://patch-diff.githubusercontent.com/xodio/hm-def/pulls
javascript	https://patch-diff.githubusercontent.com/topics/javascript
functional-programming	https://patch-diff.githubusercontent.com/topics/functional-programming
type-checking	https://patch-diff.githubusercontent.com/topics/type-checking
invariant	https://patch-diff.githubusercontent.com/topics/invariant
hindley-milner	https://patch-diff.githubusercontent.com/topics/hindley-milner
cs-au-dk	https://patch-diff.githubusercontent.com/cs-au-dk
TAJS	https://patch-diff.githubusercontent.com/cs-au-dk/TAJS
Star 198	https://patch-diff.githubusercontent.com/login?return_to=%2Fcs-au-dk%2FTAJS
Code	https://patch-diff.githubusercontent.com/cs-au-dk/TAJS
Issues	https://patch-diff.githubusercontent.com/cs-au-dk/TAJS/issues
Pull requests	https://patch-diff.githubusercontent.com/cs-au-dk/TAJS/pulls
javascript	https://patch-diff.githubusercontent.com/topics/javascript
static-code-analysis	https://patch-diff.githubusercontent.com/topics/static-code-analysis
static-analyzer	https://patch-diff.githubusercontent.com/topics/static-analyzer
program-analysis	https://patch-diff.githubusercontent.com/topics/program-analysis
type-checking	https://patch-diff.githubusercontent.com/topics/type-checking
mesqueeb	https://patch-diff.githubusercontent.com/mesqueeb
is-what	https://patch-diff.githubusercontent.com/mesqueeb/is-what
Sponsor	https://patch-diff.githubusercontent.com/sponsors/mesqueeb
Star 197	https://patch-diff.githubusercontent.com/login?return_to=%2Fmesqueeb%2Fis-what
Code	https://patch-diff.githubusercontent.com/mesqueeb/is-what
Issues	https://patch-diff.githubusercontent.com/mesqueeb/is-what/issues
Pull requests	https://patch-diff.githubusercontent.com/mesqueeb/is-what/pulls
javascript	https://patch-diff.githubusercontent.com/topics/javascript
typechecker	https://patch-diff.githubusercontent.com/topics/typechecker
typescript	https://patch-diff.githubusercontent.com/topics/typescript
class-instance	https://patch-diff.githubusercontent.com/topics/class-instance
type-checking	https://patch-diff.githubusercontent.com/topics/type-checking
primitive-types	https://patch-diff.githubusercontent.com/topics/primitive-types
plain-objects	https://patch-diff.githubusercontent.com/topics/plain-objects
is-object	https://patch-diff.githubusercontent.com/topics/is-object
type-checker	https://patch-diff.githubusercontent.com/topics/type-checker
type-check	https://patch-diff.githubusercontent.com/topics/type-check
is-plain-obj	https://patch-diff.githubusercontent.com/topics/is-plain-obj
plain-object	https://patch-diff.githubusercontent.com/topics/plain-object
check-type	https://patch-diff.githubusercontent.com/topics/check-type
javascript-type	https://patch-diff.githubusercontent.com/topics/javascript-type
class-identifier	https://patch-diff.githubusercontent.com/topics/class-identifier
define-type	https://patch-diff.githubusercontent.com/topics/define-type
get-type	https://patch-diff.githubusercontent.com/topics/get-type
what-type	https://patch-diff.githubusercontent.com/topics/what-type
is-plain-object	https://patch-diff.githubusercontent.com/topics/is-plain-object
ilya-klyuchnikov	https://patch-diff.githubusercontent.com/ilya-klyuchnikov
tapl-scala	https://patch-diff.githubusercontent.com/ilya-klyuchnikov/tapl-scala
Star 185	https://patch-diff.githubusercontent.com/login?return_to=%2Filya-klyuchnikov%2Ftapl-scala
Code	https://patch-diff.githubusercontent.com/ilya-klyuchnikov/tapl-scala
Issues	https://patch-diff.githubusercontent.com/ilya-klyuchnikov/tapl-scala/issues
Pull requests	https://patch-diff.githubusercontent.com/ilya-klyuchnikov/tapl-scala/pulls
programming-languages	https://patch-diff.githubusercontent.com/topics/programming-languages
tapl	https://patch-diff.githubusercontent.com/topics/tapl
type-checking	https://patch-diff.githubusercontent.com/topics/type-checking
type-inference	https://patch-diff.githubusercontent.com/topics/type-inference
Curate this topic	https://github.com/github/explore/tree/master/CONTRIBUTING.md?source=add-description-type-checking
Learn more	https://docs.github.com/en/articles/classifying-your-repository-with-topics
	https://github.com
Terms	https://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacy	https://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Security	https://github.com/security
Status	https://www.githubstatus.com/
Community	https://github.community/
Docs	https://docs.github.com/
Contact	https://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.