Optional static typing for Python
- python
- types
- typing
- typechecker
Repository Index
47,133 repositories indexed
1–24 of 42 · Most stars
An extremely fast Python type checker and language server, written in Rust.
An open source platform for Python in the browser. https://pyscript.net Docs: https://docs.pyscript.net/ Try it: https://pyscript.com/ Community: https://discord.gg/HxvBtukrg2
A high-performance, zero-overhead, extensible Python compiler with built-in NumPy support
Static Type Checker for Python
Nuitka is a Python compiler written in Python. It's fully compatible with Python 2.6, 2.7, 3.4-3.14. You feed it your Python app, it does a lot of clever things, and spits out an executable or extension module.
- python-compiler
- python
- nuitka
- programming
Open Machine Learning Compiler Framework
- compiler
- tensor
- deep-learning
- gpu
Make your functions return something meaningful, typed, and safe!
- python
- python3
- functional-programming
- fp
Unbearably fast near-real-time pure-Python runtime-static type-checker.
- python3
- runtime-typechecking
- static-typechecking
Pythonic bindings for FFmpeg's libraries.
- ffmpeg
- pyav
- python
- cython
A python wrapper for libmagic
Python library for creating PEG parsers
- python
- python2
- python3
- python-2
a python refactoring library
- python
- refactoring-tools
- refactoring
- ast
Run-time type checker for Python
The ctypes-based simple ImageMagick binding for Python
- wand
- python
- ctypes
- imagemagick
A pure Python HTML5 parser that just works. No C extensions to compile. No system dependencies to install. No complex API to learn.
Cython implementation of Toolz: High performance functional utilities
Asyncio (pep 3156) integration with ZeroMQ
- asyncio
- zeromq
- zmq
A Python type checker
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
- micropython
- vscode
- type-checking
- static-typing
Mypy static type checker plugin for Pytest
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.
Phantom types for Python.
- phantom-types
- static-analysis
- mypy
- python