Vim plugin for executing Python's optional static type checker MyPy (http://mypy-lang.org/)
- vim-plugins
- vim-mypy
- vim
- mypy
Repository Index
47,133 repositories indexed
121–144 of 162 · Most stars
The repository host gives no description.
Opinionated typing package for precise type hints in Python
- pep484
- python
- python-typing
- numpy
Jupyter kernel for Coq
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
Streaming-first technical indicators with a Rust core: native Python, Node.js and WebAssembly bindings plus a C ABI hub for C, C++, C#, Go, Java and R. 514 indicators, O(1) per-tick updates, no system dependencies. Drop-in TA-Lib replacement.
- algotrading
- backtesting
- bollinger-bands
- cryptocurrency
JupyterLab extension to explore CPython Bytecode
Stateful Postgres on cheap Spot VMs
Ultra high-performance secp256k1 ECC engine | Python, Node.js, Rust, Go, C#, Swift, Java bindings | CUDA, Metal, OpenCL GPU | ECDSA, Schnorr, FROST, MuSig2, BIP-352 | 15+ platforms
- cryptography
- cuda
- riscv
- secp256k1
Builds of the GNAT Ada compiler from FSF GCC releases
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
MicroPython IEEE802.15.4 / Zigbee parser
Pure Python parser for classic Windows Event Log files (.evt)
A Python type checker
Contest parser for codeforces.com
- codeforces
- competitive-programming
Interactive Lisp IDE with REPL, Inspector, Debugger and more for Sublime Text 4.
- lisp
- sublime-text
- flex-completion
- repl
GraphQL parser for Python
MIDI file parser for Micropython, CircuitPython and Python
Python Parser for Ring Tone Text Transfer Language (RTTTL)
PNG and JPEG decoder / parser / renderer in pure micropython
- micropython
- png-decoder
- jpeg-decoder
- python
Plugin for mypy to support zope.interface
- mypy
- zope
- plugin
- static-typing
Practical security policy enforcement for Android apps via bytecode rewriting and in-place reference monitor
Python interpreter selector for Neovim. Switch interpreters without restarting LSP.