Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / kelvich / tlaplus_jupyter
Jupyter kernel for TLA⁺
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kelvich%2Ftlaplus_jupyter
Stars: 118
Forks: 7
Open Issues: 5
License: bsd-3-clause
Language: Python
Repo Size: 78.1 KB
Dependencies:
6
Created: almost 5 years ago
Updated: 24 days ago
Last pushed: over 1 year ago
Last synced: 23 days ago
Topics: jupyter-kernel, model-checking, tla
Files
Loading...
Readme
Loading...