static-typing

The complete guide to static typing in "React & Redux" apps using TypeScript

Collection of utility types, complementing TypeScript built-in mapped types and aliases (think "lodash" for static types).

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

Typesafe utilities for "action-creators" in Redux / Flux Architecture

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

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

Umka: a statically typed embeddable scripting language

An experimental Python-to-C transpiler and domain specific language for embedded high-performance computing

daScript - high-performance statically strong typed scripting language

A new statically typed programming language, syntactically like TypeScript.

The Official Shen Sources

Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.

Phantom types for Python.

Generate and use stubs for different micropython firmwares to use with vscode and pylance or pylint

Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native code.

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

Faster CSV for Python

Stubs of common micropython modules to aid in code completion, static typechecking and overall development

A statically-typed strictly-evaluated garbage-collected readable programming language.

Plugin for mypy to support zope.interface