Projects in Awesome Lists tagged with static-typing
A curated list of projects in awesome lists tagged with static-typing .
https://github.com/piotrwitek/react-redux-typescript-guide
The complete guide to static typing in "React & Redux" apps using TypeScript
flow guide guidelines patterns react redux static-typing style-guide typescript
Last synced: 29 Apr 2025
https://github.com/arktypeio/arktype
TypeScript's 1:1 validator, optimized from editor to runtime
javascript parsing runtime-typechecking static-typing typescript
Last synced: 13 May 2025
https://github.com/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
Last synced: 15 May 2025
https://github.com/apache/groovy
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
apache compiler dynamic-typing functional-programming groovy jvm-languages metaprogramming programming-language static-typing
Last synced: 09 Sep 2025
https://github.com/piotrwitek/typesafe-actions
Typesafe utilities for "action-creators" in Redux / Flux Architecture
action-creator javascript redux redux-actions static-typing typescript
Last synced: 14 May 2025
https://github.com/python/typing
Python static typing home. Hosts the documentation and a user help forum.
gradual-typing python static-typing types typing
Last synced: 15 May 2025
https://github.com/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
Last synced: 25 Dec 2025
https://github.com/gaijinentertainment/dascript
daslang - high-performance statically strong typed scripting language
game-development interpreter programming-language scripting-language static-typing
Last synced: 30 Dec 2025
https://github.com/GaijinEntertainment/daScript
daslang - high-performance statically strong typed scripting language
game-development interpreter programming-language scripting-language static-typing
Last synced: 12 Apr 2025
https://github.com/zanellia/prometeo
An experimental Python-to-C transpiler and domain specific language for embedded high-performance computing
c compiler domain-specific-language embedded-systems high-performance-computing hpc python python-to-c source-to-source static-analysis static-typing transcompiler transpiler
Last synced: 16 May 2025
https://github.com/Shen-Language/shen-sources
Shen language kernel sources for porters
functional-programming lisp logic-programming programming-language prolog shen static-typing
Last synced: 21 Jul 2025
https://github.com/StaticScript/StaticScript
A new statically typed programming language, syntactically like TypeScript.
compiler language llvm programming-language static-typing staticscript typescript
Last synced: 02 Aug 2025
https://github.com/Josverl/micropython-stubs
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
awesome-micropython micropython mypy mypy-stubs pycharm-ide pylance pylint pyright pyscript static-typing type-checking type-stubs vscode
Last synced: 13 May 2025
https://github.com/josverl/micropython-stubber
Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy
firmware-stubs micropython micropython-stubber micropython-stubs mypy mypy-stubs pylance pyright python static-typing typed vscode
Last synced: 15 May 2025
https://github.com/Josverl/micropython-stubber
Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy
firmware-stubs micropython micropython-stubber micropython-stubs mypy mypy-stubs pylance pyright python static-typing typed vscode
Last synced: 13 May 2025
https://github.com/antonagestam/phantom-types
Phantom types for Python.
mypy phantom-types python python3 refined refined-types refinement-types static-analysis static-typing typing validation
Last synced: 22 Sep 2025
https://github.com/josverl/micropython-stubs
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
awesome-micropython micropython mypy mypy-stubs pycharm-ide pylance pylint pyright pyscript static-typing type-checking type-stubs vscode
Last synced: 15 May 2025
https://github.com/juancarlospaco/cpython
Alternative StdLib for Nim for Python targets, hijacks Python StdLib for Nim
compiled cython high-performance inferred-types needs-sponsors nim nim-lang python python-3 python-api python-library python-package python3 static-typing stdlib-extras typed-python
Last synced: 03 Apr 2025
https://github.com/juancarlospaco/faster-than-csv
Faster CSV for Python
csv csv-data csv-parser csv-parsing csv-to-html csv-to-json cython faster-than-csv process-csv python python3 speed speedup static-memory-allocation static-typing tabular-data tsv tsv-parser type-safe
Last synced: 17 Mar 2025
https://github.com/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 refined-types refinement-types runtime-validation rust rust-lang safety static-typing type-library validation
Last synced: 11 Sep 2025
https://github.com/wbbradley/ace
A statically-typed strictly-evaluated garbage-collected readable programming language.
compiler ffi garbage-collect hindley-milner lambda-calculus llvm llvm-compiler newtypes polymorphism programming-language static-typing system-f type-safety typeclass zion
Last synced: 15 Sep 2025
https://github.com/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
Last synced: 20 Aug 2025
https://github.com/Shoobx/mypy-zope
Plugin for mypy to support zope.interface
mypy plugin python static-typing zope
Last synced: 13 May 2025
https://github.com/shoobx/mypy-zope
Plugin for mypy to support zope.interface
mypy plugin python static-typing zope
Last synced: 04 Apr 2025
https://github.com/dimflix/pytyping-course
Course on static typing in python
course python python-course static-typing types typing
Last synced: 05 Apr 2025
https://github.com/andywer/gear
🛠Experimental tool to bootstrap typed JavaScript code.
babeljs flowtype javascript static-typing types
Last synced: 24 Oct 2025
https://github.com/adeyahya/prisma-typebox-generator
typebox ( typescript static type & json schema ) generator for Prisma 2
ajv json-validator prisma prisma-generator schema static-typing typebox
Last synced: 12 Jul 2025
https://github.com/iitalics/opal
Simple and powerful programming language with type inference
functional-programming programming-language static-typing type-inference
Last synced: 06 Apr 2025
https://github.com/juancarlospaco/choosenim_install
Nim integration for Python PIP, install Nim via PIP, write Python modules using Nim
compiled cython immutable metaprogramming nim nim-lang pypy pypy3 python python3 python4 static-memory-allocation static-typing
Last synced: 30 Jul 2025
https://github.com/Jackojc/klaxon
Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).
based-stack-based-language compiler concatenative cpp forth klaxon language minimal minimalist native proglangs-discord programming-language reverse-polish-notation rpn stack-based-language stack-language static-typing
Last synced: 12 Apr 2025
https://github.com/blaugold/firebase-rxjs
Firebase with Observables, Type Checking of Schema, Zone.js aware and Angular ready.
angular firebase rxjs static-typing typescript zone
Last synced: 22 Apr 2025
https://github.com/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
Last synced: 11 May 2025
https://github.com/akshitgrover/jogo
JSON o Golang | Forget static types, No more complex structure definitions, Focus on code. Go Reflect!
golang json reflection static-typing
Last synced: 28 Apr 2025
https://github.com/szktty/trompe
A strongly-typed handy scripting language with type inference
command-line-tool scripting-language static-typing strongly-typed swift type-inference
Last synced: 23 Aug 2025
https://github.com/spagnuolocarmine/fly-language
FLY a Domain Specific Language for scientific computing on the Multi Cloud
cloud cloud-computing distributed-operating-systems distributed-systems domain-specific-language dynamic-type fly-language function-as-a-service programming-language scripting-language static-typing
Last synced: 02 Jan 2026
https://github.com/thoughtspile/type2type
Data structures in TypeScript type system. A Map that maps types to types! Types are in the trees!
static-typing type-system typescript
Last synced: 08 Oct 2025
https://github.com/alexandershushunov/flow-it-night
Materials of the talk "Typify This"
create-react-app flow it-night react static-typing talk tic-tac-toe
Last synced: 29 Jul 2025
https://github.com/tarsil/polyforce
Enforce annotations in your python code
pydantic pydantic-v2 python python-types python-typing python3 static-typing typing
Last synced: 22 Apr 2025
https://github.com/emmatyping/pep-561
Issue tracker for PEP 561 with sample typed package
distutils pep pep561 static-typing typed-package
Last synced: 27 Oct 2025
https://github.com/quangtung97/svloc
A DI Container alternative for Go
dependency-injection go golang static-typing
Last synced: 10 Apr 2025
https://github.com/gordey4doronin/fully-typed-example
The project example for the article about API documentation and typings generation with TypeScript, Swashbuckle and AutoRest.
autorest static-typing swagger swashbuckle typescript
Last synced: 15 Apr 2025
https://github.com/miqueas/static
Basic support for static typing in Lua
lua lua51 lua52 lua53 lua54 static-typing
Last synced: 13 Apr 2025
https://github.com/maxbarsukov/waddle
🦩 Object-oriented static-typing language
interpreter static-typing type-inference
Last synced: 19 Apr 2025
https://github.com/charlespascoe/typed-validation
Strongly-Typed Validators for TypeScript
static-typing typescript validation validation-library
Last synced: 13 Apr 2025
https://github.com/oyi-lang/oyi
The Oyi Programming Language.
compiler jvm macros ml oyi oyi-lang static-typing
Last synced: 27 Oct 2025
https://github.com/aiya000/chotto.lua
A type based validation library for Lua and luaCATS
lua neovim static-typing validation zod
Last synced: 14 Oct 2025
https://github.com/nathsou/poy
Programming language targeting JavaScript with Type Rewriting
adt compiler pattern-matching rewriting static-typing
Last synced: 23 Jul 2025
https://github.com/juancarlospaco/repo-template
Repo Template
aot-compilation easy-to-use high-performance inferred-types memory-safe metaprogramming needs-sponsors static-typing
Last synced: 21 Mar 2025
https://github.com/typeaware/type-creator
This library is primarily used by "types-depot" projects. See: https://github.com/ORESoftware/types-depot
header-files http json-schema json-types nodejs static-typing types-creator types-depot
Last synced: 25 Apr 2025
https://github.com/superscary/loom
A statically-typed OOP language with two-pass compilation, value semantics, and bare metal accessibility.
compiler llvm ocaml programming-language static-typing
Last synced: 22 Aug 2025
https://github.com/cloth-foundation/cloth
A statically-typed OOP language with two-pass compilation.
compiler golang help-wanted programming-language static-typing
Last synced: 13 Oct 2025
https://github.com/owaismohsin001/junu-spaghetti
Junu Spaghetti, a language that types spaghetti code
ad-hoc-polymorphism bidirectional-typechecking parametric-polymorphism programming-language spaghetti-code static-typing structural-typing union-types
Last synced: 28 Mar 2025
https://github.com/antonsynd/sidewinder
A statically-typed Pythonic language that transpiles to C++20
ahead-of-time aot-compilation compiled-language cpp cpp20 cxx cxx20 ir llvm mamba python pythonic static-typing statically-typed transpilation transpiled-language transpiler wasm
Last synced: 20 Mar 2025
https://github.com/abelcheung/pytest-revealtype-injector
Pytest plugin for replacing reveal_type() calls with static and runtime type checking result comparison
annotation dynamic-typing pytest-plugin runtime-typechecking static-typing type-check type-checker type-checking typecheck typechecker typechecking types typing
Last synced: 29 Jul 2025
