20 results found Sort:
- Filter by Primary Language:
- Python (8)
- TypeScript (4)
- C++ (2)
- C (2)
- Java (1)
- Rust (1)
- Shen (1)
- +
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
TypeScript's 1:1 validator, optimized from editor to runtime
Created
2019-06-21
1,080 commits to main branch, last one 3 days ago
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
Created
2015-04-16
21,395 commits to master branch, last one a day ago
Typesafe utilities for "action-creators" in Redux / Flux Architecture
Created
2017-11-14
347 commits to master branch, last one 2 years ago
Python static typing home. Hosts the documentation and a user help forum.
Created
2014-09-29
903 commits to main branch, last one 4 days ago
Umka: a statically typed embeddable scripting language
Created
2020-04-18
953 commits to master branch, last one 9 days ago
daslang - high-performance statically strong typed scripting language
Created
2018-08-27
9,692 commits to master branch, last one a day ago
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 7 months ago
Phantom types for Python.
Created
2020-02-07
247 commits to main branch, last one about a month 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,442 commits to main branch, last one 5 days ago
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
Created
2020-10-17
2,498 commits to main branch, last one 2 days ago
Alternative StdLib for Nim for Python targets, hijacks Python StdLib for Nim
Created
2021-07-14
717 commits to nim branch, last one about a month ago
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
Faster CSV for Python
Created
2018-11-14
562 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 3 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
140 commits to master branch, last one 29 days ago
A statically-typed strictly-evaluated garbage-collected readable programming language.
Created
2019-04-29
1,041 commits to master branch, last one 8 months ago
Course on static typing in python
Created
2024-10-10
2 commits to main branch, last one 5 months ago