build-once run-anywhere c library

Static Type Checker for Python

Composite Action to Verify Type Completeness with pyright

A new approach to API documentation in Sphinx.

CLI wrapper of rope's module moving functionality

add HTML links and targets to the :param: tags within Sphinx Python docstrings

A Sphinx extension that automatically generates API documentation for your Python packages.

📘 Automatic documentation from sources, for MkDocs.

command line tool that uses the library 'rope' to support python refactorings

A Dockerfile for building the TLA+ tools

Convert TLA+ output (and values) into JSON

PLDB: a Programming Language DataBase

N-D labeled arrays and datasets in Python

Stats, linear algebra and einops for xarray

Generate python types for tree-sitter parsers

A fully typed python interface for building .d2 graph files for use with the D2 engine.

Modern, extensible Python project management

Home of the Renovate CLI: Cross-platform Dependency Automation by Mend.io

Don't let the cursor slow you down

A tree-sitter grammar for TLA⁺ and PlusCal

Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa

D2 is a modern diagram scripting language that turns text to diagrams.

Perform limited static analysis for uncaught exceptions in a Python file.

Persistent/Immutable/Functional data structures for Python

pycallgraph is a Python module that creates call graphs for Python programs.

SQLAlchemy type to store aware datetime values

A purely functional programming language with first class types

Tracking which 🎡 wheels 🎡 in the python ecosystem can be reproducibly built

Asynchronous functions that pass data along a directed acyclic graph