There are 5 repositories under static-typing topic.
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).
Typesafe utilities for "action-creators" in Redux / Flux Architecture
Umka: a statically typed embeddable scripting language
daslang - high-performance statically strong typed scripting language
An experimental Python-to-C transpiler and domain specific language for embedded high-performance computing
Shen language kernel sources for porters
A new statically typed programming language, syntactically like TypeScript.
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy
Phantom types for Python.
Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.
Alternative StdLib for Nim for Python targets, hijacks Python StdLib for Nim
Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native code.
Faster CSV for Python
`refined_type` is a library that facilitates type composition, enabling the simple description of efficient validation processes and high runtime safety.
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
A statically-typed strictly-evaluated garbage-collected readable programming language.
Course on static typing in python
Type declarations for defun et all. Just a mirror. Ask for push acess!
typebox ( typescript static type & json schema ) generator for Prisma 2
Rock Solid Python with Type Hints Course Student Materials
Nim integration for Python PIP, install Nim via PIP, write Python modules using Nim
Static typing support for the array API standard
Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).
Firebase with Observables, Type Checking of Schema, Zone.js aware and Angular ready.
Fully statically typed data migration system for C# and Unity.
JSON o Golang | Forget static types, No more complex structure definitions, Focus on code. Go Reflect!