Optional static typing for Python
- python
- types
- typing
- typechecker
Repository Index
47,133 repositories indexed
1–24 of 30 · Most stars
📚 Playground and cheatsheet for learning Python. Collection of Python scripts that are split by topics and contain code examples with explanations.
- python
- python3
- learning
- programming-language
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
Unified framework for building enterprise RAG pipelines with small, specialized models
- parsing
- retrieval-augmented-generation
- agents
- generative-ai-tools
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
A new kind of Progress Bar, with real-time throughput, ETA, and very cool animations!
- progress
- bar
- progress-bar
- progressbar
Simple, elegant, Pythonic functional programming.
- python
- functional
- language
- functional-programming
A cross-version Python bytecode decompiler
- decompiler
- python
- bytecode
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
Opinionated typing package for precise type hints in Python
- pep484
- python
- python-typing
- numpy