Ecosyste.ms: Packages

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

crates.io : tlauc

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

Registry - Source - Documentation - JSON
purl: pkg:cargo/tlauc
Keywords: tla+, unicode, pluscal, tlaplus
License: MIT
Latest release: 21 days ago
First release: over 1 year ago
Downloads: 2,735 total
Stars: 25 on GitHub
Forks: 1 on GitHub
Total Commits: 54
Committers: 3
Average commits per author: 18.0
Development Distribution Score (DDS): 0.167
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 20 days ago

    Loading...
    Readme
    Loading...