Adds static typing to JavaScript to improve developer productivity and code quality.
Repository Index
47,133 repositories indexed
1–24 of 24 · Most stars
Optional static typing for Python
- python
- types
- typing
- typechecker
A fast type checker and language server for Python
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
- groovy
- jvm-languages
- programming-language
- metaprogramming
pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server
- based
- pylance
- pyright
- python
Fast, portable, non-Turing complete expression evaluation with gradual typing (Go)
- golang
- go
- cel
- expression
Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.
- java
- intellij
- json
- template-engine
SimpleITK: a layer built on top of the Insight Toolkit (ITK), intended to simplify and facilitate ITK's use in rapid prototyping, education and interpreted languages.
- simpleitk
- c-plus-plus
- swig
- registration
A Python type checker
Runtime inspection utilities for Python typing module
- typing
- introspection
- type-hints
- python
A fast and efficient type assistant for Python, including tensor shape inference
- python
- typing
:baby_chick: A multi-paradigm programming language with gradual and duck typing that targets PHP and JS
- programming-language
- language
- programming-paradigms
- repl
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
Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.
- python
- typechecking
- override
- pep484
Based Python static type checker with baseline, sane default settings and based typing features
- based
- python
- typing
- baseline
Decorator which checks whether the function is called with the correct type of parameters.
- python
- type-checking
- runtime-checking
- typechecking
Rust like Option and Result types in Python
- option-type
- optional
- result-type
- result
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
- code-formatter
- code-generation
- mypy
- pyannotate
Opinionated typing package for precise type hints in Python
- pep484
- python
- python-typing
- numpy
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
🧙 meiga is a Python µframework that provides a simple, fully typed, monad-based result type ➡️ Result[Value, Error].
- monads
- result-type
- typing
- python
Fully typesafe, Rust-like Result and Option types for Python
- python3
- rust
- result-type
- rust-option
Plugin for mypy to support zope.interface
- mypy
- zope
- plugin
- static-typing
(almost) Fully functional GraphQL request parser written completely using TypeScript's typing system