Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "plus" keyword

View the packages on the crates.io package registry that are tagged with the "plus" keyword.

libtlafmt 0.4.1
A formatter library for TLA+ specs, core of tlafmt
8 versions - Latest release: 4 months ago - 4.18 thousand downloads total - 8 stars on GitHub - 1 maintainer
tlafmt 0.4.1
A formatter for TLA+ specs
8 versions - Latest release: 4 months ago - 3.79 thousand downloads total - 8 stars on GitHub - 1 maintainer
google-plus1-cli 6.0.0+20190616 💰
A complete library to interact with plus (protocol v1)
25 versions - Latest release: 10 months ago - 33.2 thousand downloads total - 1,108 stars on GitHub - 1 maintainer
google-plus1 6.0.0+20190616 💰
A complete library to interact with plus (protocol v1)
47 versions - Latest release: 10 months ago - 1 dependent package - 1 dependent repositories - 66 thousand downloads total - 1,108 stars on GitHub - 1 maintainer
Related Keywords
formatter 2 tla 2 tla+ 2 google 2 cli 1 api 1 protocol 1 web 1