Movatterモバイル変換

Skip to content

#

static-typing

Here are 93 public repositories matching this topic...

Language:All

Filter by language

All93 Python30 TypeScript15 C++6 Rust6 Go5 C#4 JavaScript4 C2 Common Lisp2 Haskell2

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

piotrwitek /react-redux-typescript-guide

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

react redux flow typescript patterns style-guide guide guidelines static-typing

UpdatedMay 31, 2022
TypeScript

arktype

arktypeio /arktype

TypeScript's 1:1 validator, optimized from editor to runtime

javascript typescript parsing static-typing runtime-typechecking

UpdatedJul 17, 2025
TypeScript

piotrwitek /utility-types

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

typescript utilities static-typing utility-types mapped-types

UpdatedJul 10, 2024
TypeScript

apache /groovy

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

programming-language groovy compiler functional-programming dynamic-typing metaprogramming apache jvm-languages static-typing

UpdatedJul 18, 2025
Java

piotrwitek /typesafe-actions

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

redux javascript typescript redux-actions static-typing action-creator

UpdatedJan 15, 2024
TypeScript

python /typing

Python static typing home. Hosts the documentation and a user help forum.

python types typing gradual-typing static-typing

UpdatedJul 15, 2025
Python

vtereshkov /umka-lang

Umka: a statically typed embeddable scripting language

c language programming-language interpreter cross-platform compiler virtual-machine coroutines concurrency fibers scripting-language static-typing

UpdatedJul 12, 2025
C

GaijinEntertainment /daScript

daslang - high-performance statically strong typed scripting language

programming-language interpreter game-development scripting-language static-typing

UpdatedJul 18, 2025
C++

zanellia /prometeo

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

python c compiler hpc static-analysis transpiler embedded-systems high-performance-computing source-to-source domain-specific-language static-typing transcompiler python-to-c

UpdatedMay 19, 2022
Python

Shen-Language /shen-sources

Shen language kernel sources for porters

programming-language lisp functional-programming prolog shen logic-programming static-typing

UpdatedAug 10, 2024
Shen

StaticScript /StaticScript

A new statically typed programming language, syntactically like TypeScript.

language programming-language typescript compiler llvm static-typing staticscript

UpdatedMay 17, 2021
C++

micropython-stubs

Josverl /micropython-stubs

Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.

micropython vscode type-checking pylint mypy pycharm-ide static-typing pyscript pyright mypy-stubs type-stubs pylance awesome-micropython

UpdatedJul 13, 2025
Python

micropython-stubber

Josverl /micropython-stubber

Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy

python micropython vscode typed mypy static-typing pyright mypy-stubs pylance micropython-stubs micropython-stubber firmware-stubs

UpdatedJul 1, 2025
Python

antonagestam /phantom-types

Phantom types for Python.

python validation static-analysis typing python3 refinement-types mypy phantom-types static-typing refined refined-types

UpdatedJul 6, 2025
Python

stylewarning /deprecated-coalton-prototype

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

lisp functional-programming common-lisp ml static-typing

UpdatedSep 9, 2021
Common Lisp

cpython

juancarlospaco /cpython

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

python nim high-performance cython python-library python3 python-api python-3 compiled python-package nim-lang static-typing typed-python stdlib-extras inferred-types needs-sponsors

UpdatedJul 3, 2025
Python

basilTeam /basil

Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native code.

language programming-language parser compiler jit jit-compiler lisp-dialect static-typing

UpdatedNov 7, 2021
C++

faster-than-csv

juancarlospaco /faster-than-csv

Faster CSV for Python

python tsv csv cython tabular-data python3 speed type-safe csv-parser speedup csv-parsing static-typing csv-data tsv-parser csv-to-json csv-to-html static-memory-allocation faster-than-csv process-csv

UpdatedJan 18, 2022
Python

tomoikey /refined_type

`refined_type` is a library that facilitates type composition, enabling the simple description of efficient validation processes and high runtime safety.

rust library validation crate rust-lang safety crates-io refinement-types static-typing runtime-validation type-library refined-types

UpdatedNov 25, 2024
Rust

orsinium-labs /mypy-baseline

Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.

python cli typing python3 baseline mypy gradual-typing static-typing legacy-code

UpdatedMay 30, 2025
Python

Improve this page

Add a description, image, and links to thestatic-typing topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with thestatic-typing topic, visit your repo's landing page and select "manage topics."

[8]ページ先頭

©2009-2025 Movatter.jp