Adds static typing to JavaScript to improve developer productivity and code quality.
Repository Index
47,133 repositories indexed
1–21 of 21 · 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
:baby_chick: A multi-paradigm programming language with gradual and duck typing that targets PHP and JS
- programming-language
- language
- programming-paradigms
- repl
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
- micropython
- vscode
- type-checking
- static-typing
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
Phantom types for Python.
- phantom-types
- static-analysis
- mypy
- python
Based Python static type checker with baseline, sane default settings and based typing features
- based
- python
- typing
- baseline
A speed typing web app written in Rust
- rust
- tailwindcss
- webassembly
- yew
Simple 2D game prototyping framework targetting Windows, Mac, Linux, WASM.
Opinionated typing package for precise type hints in Python
- pep484
- python
- python-typing
- numpy
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
- parsing
- python
- typechecking
- runtime-typechecking
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
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