static-typing

There are 2 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 13315
piotrwitek / utility-types
Collection of utility types, complementing TypeScript built-in mapped types and aliases (think "lodash" for static types).
typescript utility-types utilities static-typing mapped-types
Language:TypeScript 5343
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 5088
arktype
arktypeio / arktype
TypeScript's 1:1 validator, optimized from editor to runtime
javascript parsing runtime-typechecking static-typing typescript
Language:TypeScript 3363
piotrwitek / typesafe-actions
Typesafe utilities for "action-creators" in Redux / Flux Architecture
action-creator javascript redux redux-actions static-typing typescript
Language:TypeScript 2414
python / typing
Python static typing home. Hosts the documentation and a user help forum.
python types typing static-typing gradual-typing
Language:Python 1544
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 967
GaijinEntertainment / daScript
daScript - high-performance statically strong typed scripting language
game-development interpreter programming-language scripting-language static-typing
Language:C 789
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 616
Shen-Language / shen-sources
Shen language kernel sources for porters
programming-language shen lisp prolog functional-programming logic-programming static-typing
Language:Shen 344
StaticScript / StaticScript
A new statically typed programming language, syntactically like TypeScript.
staticscript typescript language static-typing programming-language compiler llvm
Language:C++ 341
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 209
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 184
micropython-stubber
Josverl / micropython-stubber
Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or pylint
micropython-stubs micropython-stubber firmware-stubs python micropython static-typing pyright pylance vscode mypy mypy-stubs typed
Language:Python 151
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 134
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++ 119
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 115
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 95
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 legacy-code mypy python python3 typing gradual-typing static-typing
Language:Python 47
zionlang / zion
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++ 46
lisp-maintainers / defstar
Type declarations for defun et all. Just a mirror. Ask for push acess!
common-lisp static-typing
Language:Common Lisp 38
Shoobx / mypy-zope
Plugin for mypy to support zope.interface
mypy plugin python static-typing zope
Language:Python 38
andywer / gear
🛠 Experimental tool to bootstrap typed JavaScript code.
babeljs flowtype types static-typing javascript
Language:JavaScript 33
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
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 22
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++ 20
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 20
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
ElaraLang / elara-go
Interpreter for old Elara specification, written in Go
elara programming-language multi-paradigm duck-typing static-typing
Language:Go 17
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
szktty / trompe
A strongly-typed handy scripting language with type inference
swift scripting-language type-inference static-typing command-line-tool strongly-typed
Language:Go 13
keotl / jivago
The highly-reflective object-oriented Python web framework
python web-framework reflection static-typing rest-api
Language:Python 12
Spyryto / sfcc-types
Typescript type definitions for Salesforce Commerce Cloud
demandware sfcc static-typing javascript salesforce salesforce-api typescript-definitions types typescript
12
nikolashn / basque
The C Basque compiler.
language compiler programming-language procedural-programming static-typing x86-64 linux elf64 vim-syntax-highlight
Language:C 11
spagnuolocarmine / FLY-language
FLY a Domain Specific Language for scientific computing on the Multi Cloud
scripting-language fly-language programming-language cloud function-as-a-service cloud-computing distributed-systems distributed-operating-systems domain-specific-language static-typing dynamic-type
Language:Xtend 11

static-typing

piotrwitek / react-redux-typescript-guide

piotrwitek / utility-types

apache / groovy

arktypeio / arktype

piotrwitek / typesafe-actions

python / typing

vtereshkov / umka-lang

GaijinEntertainment / daScript

zanellia / prometeo

Shen-Language / shen-sources

StaticScript / StaticScript

stylewarning / deprecated-coalton-prototype

antonagestam / phantom-types

Josverl / micropython-stubber

juancarlospaco / cpython

basilTeam / basil

Josverl / micropython-stubs

juancarlospaco / faster-than-csv

orsinium-labs / mypy-baseline

zionlang / zion

lisp-maintainers / defstar

Shoobx / mypy-zope

andywer / gear

OhadRau / Quartz

iitalics / Opal

adeyahya / prisma-typebox-generator

Jackojc / klaxon

juancarlospaco / choosenim_install

blaugold / firebase-rxjs

ElaraLang / elara-go

akshitgrover / jogo

szktty / trompe

keotl / jivago

Spyryto / sfcc-types

nikolashn / basque

spagnuolocarmine / FLY-language