20 results found Sort:

The complete guide to static typing in "React & Redux" apps using TypeScript
Created 2016-12-20
323 commits to master branch, last one 2 years ago
Collection of utility types, complementing TypeScript built-in mapped types and aliases (think "lodash" for static types).
Created 2016-12-13
250 commits to master branch, last one about a year ago
1.9k
5.3k
apache-2.0
227
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
Created 2015-04-16
21,371 commits to master branch, last one a day ago
78
4.8k
mit
16
TypeScript's 1:1 validator, optimized from editor to runtime
Created 2019-06-21
1,027 commits to main branch, last one 3 days ago
Typesafe utilities for "action-creators" in Redux / Flux Architecture
Created 2017-11-14
347 commits to master branch, last one 2 years ago
249
1.6k
other
65
Python static typing home. Hosts the documentation and a user help forum.
Created 2014-09-29
897 commits to main branch, last one 7 hours ago
57
1.1k
bsd-2-clause
19
Umka: a statically typed embeddable scripting language
Created 2020-04-18
940 commits to master branch, last one 5 days ago
109
958
bsd-3-clause
28
daslang - high-performance statically strong typed scripting language
Created 2018-08-27
9,501 commits to master branch, last one 5 hours ago
33
629
bsd-2-clause
16
An experimental Python-to-C transpiler and domain specific language for embedded high-performance computing
Created 2017-12-26
714 commits to master branch, last one 2 years ago
Shen language kernel sources for porters
Created 2015-03-15
475 commits to master branch, last one 6 months ago
9
210
bsd-3-clause
4
Phantom types for Python.
Created 2020-02-07
247 commits to main branch, last one 15 days ago
Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy
Created 2019-03-26
2,681 commits to main branch, last one a day ago
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
Created 2020-10-17
2,387 commits to main branch, last one 3 days ago
Alternative StdLib for Nim for Python targets, hijacks Python StdLib for Nim
Created 2021-07-14
716 commits to nim branch, last one 24 days ago
11
122
bsd-3-clause
9
Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native code.
Created 2020-08-11
31 commits to master branch, last one 3 years ago
`refined_type` is a library that facilitates type composition, enabling the simple description of efficient validation processes and high runtime safety.
Created 2023-11-11
368 commits to main branch, last one 2 months ago
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
Created 2022-09-01
135 commits to master branch, last one 4 months ago
2
47
other
3
A statically-typed strictly-evaluated garbage-collected readable programming language.
Created 2019-04-29
1,041 commits to master branch, last one 7 months ago
Course on static typing in python
Created 2024-10-10
2 commits to main branch, last one 4 months ago