An extremely fast Python type checker and language server, written in Rust.
Repository Index
47,133 repositories indexed
1–10 of 10 · Most stars
Python SQL Parser and Transpiler
- transpiler
- sql
- python
- parser
Simple, elegant, Pythonic functional programming.
- python
- functional
- language
- functional-programming
A fast and efficient type assistant for Python, including tensor shape inference
- python
- typing
User-oriented fork of LLVM's opt-viewer
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
- parsing
- python
- typechecking
- runtime-typechecking
Contest parser for codeforces.com
- codeforces
- competitive-programming
Plugin for mypy to support zope.interface
- mypy
- zope
- plugin
- static-typing
Command line tool for Bluetooth Low Energy MicroPython devices
- micropython
- python
- embedded
- cli
Python libusdt bindings