Optional static typing for Python
- python
- types
- typing
- typechecker
Repository Index
47,133 repositories indexed
1–24 of 27 · Most stars
A high-performance, zero-overhead, extensible Python compiler with built-in NumPy support
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
NumPy aware dynamic Python compiler using LLVM
Python SQL Parser and Transpiler
- transpiler
- sql
- python
- parser
Simple, elegant, Pythonic functional programming.
- python
- functional
- language
- functional-programming
python parser for human readable dates
- hacktoberfest
A pure Python HTML5 parser that just works. No C extensions to compile. No system dependencies to install. No complex API to learn.
Dataflow compiler for QNN inference on FPGAs
Jelly is a recreational programming language inspired by J.
v1.2 - UI tool for manage Espressif ESP32 microcontrollers with embedded MicroPython for MacOS, Windows and Linux: mini IDE, files manager, REPL, real time dashboards (sys/net), advanced features (gpio/mp3/leds/...)
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
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
a network packet capture compiler
Based Python static type checker with baseline, sane default settings and based typing features
- based
- python
- typing
- baseline
A cross-platform modding language for GameMaker games. // Moved to Codeberg! https://codeberg.org/katsaii/catspeak-lang
- domain-specific-language
- gamemaker-studio-2
- dynamically-typed
- compiler
The repository host gives no description.
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
Builds of the GNAT Ada compiler from FSF GCC releases