Optional static typing for Python
- python
- types
- typing
- typechecker
Repository Index
47,133 repositories indexed
1–24 of 30 · Most stars
An extremely fast Python type checker and language server, written in Rust.
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
Unbearably fast near-real-time pure-Python runtime-static type-checker.
- python3
- runtime-typechecking
- static-typechecking
Run-time type checker for Python
A pure Python HTML5 parser that just works. No C extensions to compile. No system dependencies to install. No complex API to learn.
Jelly is a recreational programming language inspired by J.
A Python 3 utility to convert fonts to Python source capable of being frozen as bytecode
- python-3
- fonts
- micropython
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
a network packet capture compiler
Based Python static type checker with baseline, sane default settings and based typing features
- based
- python
- typing
- baseline
Python parser and tools for MUSDB18 Music Separation Dataset
- dataset
- python
- sisec
- musdb
CLI utility and Python module for analyzing log files and other data.
- log-analysis
- log-parser
- cli
- security
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
Mock an SSH server and define all commands it supports (Python, Twisted)
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
A Python type checker
Interactive Lisp IDE with REPL, Inspector, Debugger and more for Sublime Text 4.
- lisp
- sublime-text
- flex-completion
- repl