Sign in

Repository Index

47,133 repositories indexed

Tags: Programming languages and compilers
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters (1)

Filters

Clear all filters

1–24 of 44 · Most stars

An extremely fast Python type checker and language server, written in Rust.

Make your functions return something meaningful, typed, and safe!

  • python
  • python3
  • functional-programming
  • fp

Unbearably fast near-real-time pure-Python runtime-static type-checker.

  • python3
  • runtime-typechecking
  • static-typechecking

CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.

  • clang
  • cpp
  • c
  • clang-tidy

PyPy is a very fast and compliant implementation of the Python language.

PyStan, a Python interface to Stan, a platform for statistical modeling. Documentation: https://pystan.readthedocs.io

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