Optional static typing for Python
- python
- types
- typing
- typechecker
Repository Index
47,133 repositories indexed
1–16 of 16 · Most stars
PyGWalker: Turn your dataframe into an interactive UI for visual analysis
- data-analysis
- pandas
- tableau
- tableau-alternative
Python interface for igraph
- complex-networks
- graph-algorithms
- graph-theory
- mathematics
Maintainable configuration files
- configuration-language
- haskell
- dhall
Python interface to Graphviz graph drawing package
- graph-visualization
- complex-networks
- python
A Python type checker
Interactive Coq Proofs in Vim
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
- micropython
- vscode
- type-checking
- static-typing
Let's make a SQL parser so we can provide a familiar interface to non-sql datastores!
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
TranslatedTreat agents as functions, and write ideas as programs. Agent-native functional language with a CLI, Web IDE, goal-driven bots and live UI. Source-available; no AI training.
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
Interactive Lisp IDE with REPL, Inspector, Debugger and more for Sublime Text 4.
- lisp
- sublime-text
- flex-completion
- repl
Plugin for mypy to support zope.interface
- mypy
- zope
- plugin
- static-typing