static-typing
There are 90 repositories under static-typing topic.
piotrwitek/react-redux-typescript-guide
The complete guide to static typing in "React & Redux" apps using TypeScript
arktypeio/arktype
TypeScript's 1:1 validator, optimized from editor to runtime
piotrwitek/utility-types
Collection of utility types, complementing TypeScript built-in mapped types and aliases (think "lodash" for static types).
apache/groovy
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
piotrwitek/typesafe-actions
Typesafe utilities for "action-creators" in Redux / Flux Architecture
python/typing
Python static typing home. Hosts the documentation and a user help forum.
vtereshkov/umka-lang
Umka: a statically typed embeddable scripting language
GaijinEntertainment/daScript
daslang - high-performance statically strong typed scripting language
zanellia/prometeo
An experimental Python-to-C transpiler and domain specific language for embedded high-performance computing
Shen-Language/shen-sources
Shen language kernel sources for porters
StaticScript/StaticScript
A new statically typed programming language, syntactically like TypeScript.
Josverl/micropython-stubs
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
Josverl/micropython-stubber
Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy
antonagestam/phantom-types
Phantom types for Python.
stylewarning/deprecated-coalton-prototype
Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.
juancarlospaco/cpython
Alternative StdLib for Nim for Python targets, hijacks Python StdLib for Nim
basilTeam/basil
Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native code.
juancarlospaco/faster-than-csv
Faster CSV for 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.
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.
wbbradley/ace
A statically-typed strictly-evaluated garbage-collected readable programming language.
lisp-maintainers/defstar
Type declarations for defun et all. Just a mirror. Ask for push acess!
Shoobx/mypy-zope
Plugin for mypy to support zope.interface
DIMFLIX/PyTyping-Course
Course on static typing in python
andywer/gear
🛠 Experimental tool to bootstrap typed JavaScript code.
adeyahya/prisma-typebox-generator
typebox ( typescript static type & json schema ) generator for Prisma 2
OhadRau/Quartz
The official compiler for the Quartz programming language
iitalics/Opal
Simple and powerful programming language with type inference
talkpython/rock-solid-python-with-type-hints-course
Rock Solid Python with Type Hints Course Student Materials
juancarlospaco/choosenim_install
Nim integration for Python PIP, install Nim via PIP, write Python modules using Nim
Jackojc/klaxon
Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).
blaugold/firebase-rxjs
Firebase with Observables, Type Checking of Schema, Zone.js aware and Angular ready.
ElaraLang/elara-go
Interpreter for old Elara specification, written in Go
akshitgrover/jogo
JSON o Golang | Forget static types, No more complex structure definitions, Focus on code. Go Reflect!
szktty/trompe
A strongly-typed handy scripting language with type inference
keotl/jivago
The highly-reflective object-oriented Python web framework