Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / abhabongse / relationalcalculus-alloy

Analyzing database relational calculus schemata and queries using MIT's Alloy tools

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/abhabongse%2Frelationalcalculus-alloy

Stars: 1
Forks: 0
Open Issues: 9

License: apache-2.0
Language: TeX
Repo Size: 2.55 MB
Dependencies: 69

Created: about 6 years ago
Updated: over 2 years ago
Last pushed: almost 2 years ago
Last synced: over 1 year ago

Topics: alloy, alloytools, relational-database

Files

Readme

Dependencies

Pipfile pypi

flake8 >=3.7.8 develop
flake8-bugbear >=19.8.0 develop
flake8-commas >=2.0.0 develop
flake8-import-order >=0.18.1 develop
jupyter >=1.0.0 develop
pytest >=5.1.0 develop
click ~=7.0
lark-parser ~=0.7.2

Pipfile.lock pypi

atomicwrites ==1.3.0 develop
attrs ==19.3.0 develop
backcall ==0.1.0 develop
bleach ==3.1.0 develop
decorator ==4.4.0 develop
defusedxml ==0.6.0 develop
entrypoints ==0.3 develop
flake8 ==3.7.8 develop
flake8-bugbear ==19.8.0 develop
flake8-commas ==2.0.0 develop
flake8-import-order ==0.18.1 develop
importlib-metadata ==0.23 develop
ipykernel ==5.1.3 develop
ipython ==7.8.0 develop
ipython-genutils ==0.2.0 develop
ipywidgets ==7.5.1 develop
jedi ==0.15.1 develop
jinja2 ==2.10.3 develop
jsonschema ==3.1.1 develop
jupyter ==1.0.0 develop
jupyter-client ==5.3.4 develop
jupyter-console ==6.0.0 develop
jupyter-core ==4.6.0 develop
markupsafe ==1.1.1 develop
mccabe ==0.6.1 develop
mistune ==0.8.4 develop
more-itertools ==7.2.0 develop
nbconvert ==5.6.0 develop
nbformat ==4.4.0 develop
notebook ==6.0.1 develop
packaging ==19.2 develop
pandocfilters ==1.4.2 develop
parso ==0.5.1 develop
pexpect ==4.7.0 develop
pickleshare ==0.7.5 develop
pluggy ==0.13.0 develop
prometheus-client ==0.7.1 develop
prompt-toolkit ==2.0.10 develop
ptyprocess ==0.6.0 develop
py ==1.8.0 develop
pycodestyle ==2.5.0 develop
pyflakes ==2.1.1 develop
pygments ==2.4.2 develop
pyparsing ==2.4.2 develop
pyrsistent ==0.15.4 develop
pytest ==5.2.1 develop
python-dateutil ==2.8.0 develop
pyzmq ==18.1.0 develop
qtconsole ==4.5.5 develop
send2trash ==1.5.0 develop
six ==1.12.0 develop
terminado ==0.8.2 develop
testpath ==0.4.2 develop
tornado ==6.0.3 develop
traitlets ==4.3.3 develop
wcwidth ==0.1.7 develop
webencodings ==0.5.1 develop
widgetsnbextension ==3.5.1 develop
zipp ==0.6.0 develop
click ==7.0
lark-parser ==0.7.7