Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.

Umka: a statically typed embeddable scripting language

daslang - high-performance statically strong typed scripting language

Pytest plugin for replacing reveal_type() calls with static and runtime type checking result comparison

Apache Groovy: A powerful multi-faceted programming language for the JVM platform

TypeScript's 1:1 validator, optimized from editor to runtime

Python static typing home. Hosts the documentation and a user help forum.

Phantom types for Python.

`refined_type` is a library that facilitates type composition, enabling the simple description of efficient validation processes and high runtime safety.

A statically-typed Pythonic language transpiles to C++20

Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy

This project contains the front-end part of the R3play back-end for displaying the information about movies written with Angular

Checkout Official Repo

Plugin for mypy to support zope.interface

Alternative StdLib for Nim for Python targets, hijacks Python StdLib for Nim

Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.

Course on static typing in python

expression-based language that targets C++17^ (declarative type composition, pattern matching, pointers & references, type predicates, aliases, polymorphic constraints)

The Gock programming language.

Programming language targeting JavaScript with Type Rewriting