pip install gr1py==0.3.0

enumerative (or concrete) reactive synthesis tool for the GR(1) fragment of LTL

Source
Among fairly niche packages on PyPI.
Over 544 downloads in the last 90 days.

Commonly used with gr1py

Based on how often these packages appear together in public requirements.txt files on GitHub.

omega

Symbolic algorithms for solving games of infinite duration.

ovation

Ovation Python API

iterutils

Itertools recipes.

pyrfr

None

parvusdb

A lightweight in-memory graph database

python-shogi

A pure Python shogi library with move generation and validation and handling of common formats.

reveal-graph-embedding

Implementation of community-based graph embedding for user classification.

reveal-user-annotation

Utility methods for generating labels for Twitter users and handling their storage and retrieval

cloud_sptheme

a nice sphinx theme named 'Cloud', and some related extensions

blink1

Official blink(1) control library

helperlibs

A collection of bioinformatics-related helper functions

sematch

Semantic similarity framework for knowledge graphs

ad3

Alternating Directions Dual Decomposition

profanity-check

A fast, robust library to check for offensive language in strings.

fuma

Fusion Matcher

libpysal

Core components of PySAL A library of spatial analysis functions.

scikit-sparse

Scikits sparse matrix package

segeval

A package providing text segmentation evaluation metrics and utilities

access_points

Scan your WiFi and get access point information and signal quality.

Version usage of gr1py

Proportion of downloaded versions in the last 3 months (only versions over 1%).

0.3.0

47.79%

0.2.0

18.93%

0.1.0

18.01%

0.0.4

15.26%