static-typing

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

Python static typing home. Contains the source for typing_extensions and the documentation. Also hosts a user help forum.

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

Umka: a statically typed embeddable scripting language

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.

Inko is a statically-typed, safe, object-oriented programming language for writing concurrent programs. This is a read-only mirror of https://gitlab.com/inko-lang/inko

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.

Faster CSV for Python

👻 Phantom types for Python

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

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

🛠 Experimental tool to bootstrap typed JavaScript code.

Plugin for mypy to support zope.interface

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

Type declarations for defun et all.

The official compiler for the Quartz programming language

Simple and powerful programming language with type inference

Interpreter for old Elara specification, written in Go

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!

A strongly-typed handy scripting language with type inference

Nim integration for Python PIP, install Nim via PIP, write Python modules using Nim