static-typing

There are 5 repositories under static-typing topic.

piotrwitek / react-redux-typescript-guide
The complete guide to static typing in "React & Redux" apps using TypeScript
react redux typescript patterns guidelines flow static-typing style-guide guide
Language:TypeScript 13339
arktype
arktypeio / arktype
TypeScript's 1:1 validator, optimized from editor to runtime
typescript runtime-typechecking static-typing parsing javascript
Language:TypeScript 7210
piotrwitek / utility-types
Collection of utility types, complementing TypeScript built-in mapped types and aliases (think "lodash" for static types).
mapped-types static-typing typescript utilities utility-types
Language:TypeScript 5741
apache / groovy
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
groovy jvm-languages programming-language metaprogramming functional-programming dynamic-typing static-typing compiler apache
Language:Java 5395
piotrwitek / typesafe-actions
Typesafe utilities for "action-creators" in Redux / Flux Architecture
action-creator javascript redux redux-actions static-typing typescript
Language:TypeScript 2410
vtereshkov / umka-lang
Umka: a statically typed embeddable scripting language
c compiler concurrency coroutines cross-platform fibers interpreter language programming-language scripting-language static-typing virtual-machine
Language:C 1811
python / typing
Python static typing home. Hosts the documentation and a user help forum.
python types typing static-typing gradual-typing
Language:Python 1703
GaijinEntertainment / daScript
daslang - high-performance statically strong typed scripting language
game-development interpreter programming-language scripting-language static-typing
Language:C++ 1055
zanellia / prometeo
An experimental Python-to-C transpiler and domain specific language for embedded high-performance computing
high-performance-computing domain-specific-language transpiler python-to-c python c compiler source-to-source hpc embedded-systems static-analysis static-typing transcompiler
Language:Python 646
Shen-Language / shen-sources
Shen language kernel sources for porters
functional-programming lisp logic-programming programming-language prolog shen static-typing
Language:Shen 379
StaticScript / StaticScript
A new statically typed programming language, syntactically like TypeScript.
staticscript typescript language static-typing programming-language compiler llvm
Language:C++ 331
micropython-stubs
Josverl / micropython-stubs
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
micropython vscode type-checking static-typing mypy-stubs pyright pylance pylint pycharm-ide type-stubs awesome-micropython mypy pyscript
Language:Python 264
micropython-stubber
Josverl / micropython-stubber
Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy
micropython-stubs micropython-stubber firmware-stubs python micropython static-typing pyright pylance vscode mypy mypy-stubs typed
Language:Python 237
antonagestam / phantom-types
Phantom types for Python.
mypy phantom-types python python3 refined refined-types refinement-types static-analysis static-typing typing validation
Language:Python 226
stylewarning / deprecated-coalton-prototype
Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.
ml lisp common-lisp functional-programming static-typing
Language:Common Lisp 208
cpython
juancarlospaco / cpython
Alternative StdLib for Nim for Python targets, hijacks Python StdLib for Nim
python python-library python3 python-3 python-package python-api nim nim-lang compiled cython high-performance stdlib-extras needs-sponsors typed-python static-typing inferred-types
Language:Python 150
basilTeam / basil
Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native code.
programming-language compiler parser lisp-dialect static-typing jit jit-compiler language
Language:C++ 124
faster-than-csv
juancarlospaco / faster-than-csv
Faster CSV for Python
python python3 csv csv-parser csv-parsing speed cython faster-than-csv csv-to-html speedup tsv tsv-parser tabular-data csv-to-json csv-data process-csv static-typing static-memory-allocation type-safe
Language:Python 104
tomoikey / refined_type
`refined_type` is a library that facilitates type composition, enabling the simple description of efficient validation processes and high runtime safety.
crate crates-io library rust rust-lang refined-types runtime-validation type-library validation refinement-types safety static-typing
Language:Rust 76
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.
baseline cli gradual-typing legacy-code mypy python python3 static-typing typing
Language:Python 73
wbbradley / ace
A statically-typed strictly-evaluated garbage-collected readable programming language.
zion programming-language compiler hindley-milner system-f typeclass static-typing garbage-collect lambda-calculus llvm llvm-compiler ffi type-safety newtypes polymorphism
Language:C++ 48
DIMFLIX / PyTyping-Course
Course on static typing in python
course python python-course static-typing types typing
43
lisp-maintainers / defstar
Type declarations for defun et all. Just a mirror. Ask for push acess!
common-lisp static-typing
Language:Common Lisp 42
Shoobx / mypy-zope
Plugin for mypy to support zope.interface
mypy zope plugin static-typing python
Language:Python 40
andywer / gear
🛠 Experimental tool to bootstrap typed JavaScript code.
babeljs flowtype types static-typing javascript
Language:JavaScript 33
adeyahya / prisma-typebox-generator
typebox ( typescript static type & json schema ) generator for Prisma 2
prisma schema typebox static-typing prisma-generator ajv json-validator
Language:TypeScript 29
OhadRau / Quartz
The official compiler for the Quartz programming language
programming-language concurrency functional-programming object-oriented oop beam actor-model session-types static-typing type-safety
Language:OCaml 29
iitalics / Opal
Simple and powerful programming language with type inference
programming-language type-inference static-typing functional-programming
Language:C++ 24
talkpython / rock-solid-python-with-type-hints-course
Rock Solid Python with Type Hints Course Student Materials
beanie best-practices course design-patterns fastapi pydantic python static-typing tutorial type-hints
Language:Python 24
juancarlospaco / choosenim_install
Nim integration for Python PIP, install Nim via PIP, write Python modules using Nim
python python3 python4 nim cython nim-lang pypy pypy3 compiled static-typing static-memory-allocation immutable metaprogramming
Language:Python 23
data-apis / array-api-typing
Static typing support for the array API standard
array-api arrays data-api python static-analysis static-typing
Language:Python 21
Jackojc / klaxon
Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).
rpn native minimal concatenative static-typing stack-language stack-based-language compiler language programming-language klaxon based-stack-based-language proglangs-discord cpp forth minimalist reverse-polish-notation
Language:C++ 18
blaugold / firebase-rxjs
Firebase with Observables, Type Checking of Schema, Zone.js aware and Angular ready.
firebase rxjs angular typescript zone static-typing
Language:TypeScript 17
dmitrybaltin / TypedMigrate.NET
Fully statically typed data migration system for C# and Unity.
csharp data-migration dotnet fluent-api memorypack messagepack newtonsoft savegame serialization unity unity3d versioning json-migration savegame-migration static-typing type-safe
Language:C# 16
akshitgrover / jogo
JSON o Golang | Forget static types, No more complex structure definitions, Focus on code. Go Reflect!
json golang reflection static-typing
Language:Go 15
ElaraLang / elara-go
Interpreter for old Elara specification, written in Go
duck-typing elara multi-paradigm programming-language static-typing
Language:Go 15

static-typing

piotrwitek / react-redux-typescript-guide

arktypeio / arktype

piotrwitek / utility-types

apache / groovy

piotrwitek / typesafe-actions

vtereshkov / umka-lang

python / typing

GaijinEntertainment / daScript

zanellia / prometeo

Shen-Language / shen-sources

StaticScript / StaticScript

Josverl / micropython-stubs

Josverl / micropython-stubber

antonagestam / phantom-types

stylewarning / deprecated-coalton-prototype

juancarlospaco / cpython

basilTeam / basil

juancarlospaco / faster-than-csv

tomoikey / refined_type

orsinium-labs / mypy-baseline

wbbradley / ace

DIMFLIX / PyTyping-Course

lisp-maintainers / defstar

Shoobx / mypy-zope

andywer / gear

adeyahya / prisma-typebox-generator

OhadRau / Quartz

iitalics / Opal

talkpython / rock-solid-python-with-type-hints-course

juancarlospaco / choosenim_install

data-apis / array-api-typing

Jackojc / klaxon

blaugold / firebase-rxjs

dmitrybaltin / TypedMigrate.NET

akshitgrover / jogo

ElaraLang / elara-go