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

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

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

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

Work related to PEP 484: typing.py and typing_extensions.py (both released via PyPI) and issue tracker for type system bugs/features.

The Official Shen Sources

Umka: a statically typed embeddable scripting language

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

🛠 Experimental tool to bootstrap typed JavaScript code.

Plugin for mypy to support zope.interface

Simple and powerful programming language with type inference

The official compiler for the Quartz programming language

A statically-typed strict garbage-collected powerful but not too-powerful readable programming language with enough side-effects to make it fun.

Firebase with Observables, Type Checking of Schema, Zone.js aware and Angular ready.

JSON o Golang | Forget static types, No more complex structure definitions, Focus on code. Go Reflect!

The highly-reflective object-oriented Python web framework

A strongly-typed handy scripting language with type inference

The Combination of Dynamic and Static Typing from a Categorical Perspective

FLY a Domain Specific Language for scientific computing on the Multi Cloud

Materials of the talk "Typify This"

Typescript type definitions for Salesforce Commerce Cloud

An imperative, object-oriented, static and type-infered programming language.

A new, experimental programming language

The project example for the article about API documentation and typings generation with TypeScript, Swashbuckle and AutoRest.

StaticScript is a programming language, syntactically like TypeScript.

Strongly-Typed Validators for TypeScript

Python Switcher water heater integration module

Issue tracker for PEP 561 with sample typed package