Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / mvcisback / neural-dfa-planner
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mvcisback%2Fneural-dfa-planner
Stars: 0
Forks: 0
Open Issues: 0
License: mit
Language: Nix
Repo Size: 1.95 KB
Dependencies:
180
Created: about 2 months ago
Updated: about 2 months ago
Last pushed: about 2 months ago
Last synced: about 2 months ago
Files
Loading...
Readme
Loading...
Dependencies
requirements.txt
pypi
- Babel ==2.12.1
- Jinja2 ==3.1.3
- MarkupSafe ==2.1.3
- PyStemmer ==2.2.0
- PyYAML ==6.0.1
- Pygments ==2.16.1
- Send2Trash ==1.8.2
- Sphinx ==7.2.6
- absl-py ==1.4.0
- alabaster ==0.7.13
- anyio ==4.0.0
- appdirs ==1.4.4
- argon2-cffi ==23.1.0
- argon2-cffi-bindings ==21.2.0
- arrow ==1.2.3
- asttokens ==2.4.0
- astutils ==0.0.5
- async-generator ==1.10
- async-lru ==2.0.4
- async-timeout ==4.0.3
- attrs ==23.1.0
- backcall ==0.2.0
- bdd2dfa ==1.0.10
- beautifulsoup4 ==4.12.2
- bidict ==0.22.1
- bitarray ==2.9.2
- black ==23.9.1
- bleach ==6.0.0
- blessings ==1.7
- brotlicffi ==1.1.0.0
- certifi ==2023.7.22
- cffi ==1.16.0
- chardet ==5.2.0
- charset-normalizer ==3.2.0
- click ==8.1.7
- comm ==0.1.4
- contourpy ==1.1.0
- curio ==1.6
- cycler ==0.11.0
- dd ==0.5.7
- decorator ==5.1.1
- defusedxml ==0.7.1
- dfa ==4.6.3
- dfa_identify ==3.13.0
- diss ==0.2.12
- docutils ==0.20.1
- entrypoints ==0.4
- equinox ==0.11.2
- exceptiongroup ==1.1.2
- executing ==1.2.0
- fastjsonschema ==2.16.2
- flatbuffers ==23.5.26
- flit ==3.9.0
- flit_core ==3.9.0
- fonttools ==4.42.1
- fqdn ==1.5.1
- funcy ==2.0
- html5lib ==1.1
- idna ==3.4
- imagesize ==1.4.1
- ipykernel ==6.27.1
- ipython ==8.15.0
- isoduration ==20.11.0
- jax ==0.4.23
- jaxlib ==0.4.23
- jaxtyping ==0.2.23
- jedi ==0.19.1
- json5 ==0.9.14
- jsonpointer ==2.4
- jsonschema ==4.19.0
- jsonschema-specifications ==2023.7.1
- jupyter-events ==0.9.0
- jupyter-lsp ==2.2.0
- jupyter_client ==8.3.1
- jupyter_core ==5.5.1
- jupyter_server ==2.12.4
- jupyter_server_terminals ==0.4.4
- jupyterlab ==4.0.11
- jupyterlab-pygments ==0.2.2
- jupyterlab_server ==2.25.1
- kiwisolver ==1.4.5
- matplotlib ==3.8.0
- matplotlib-inline ==0.1.6
- mdd ==0.3.7
- mistune ==3.0.2
- ml-dtypes ==0.3.1
- more-itertools ==10.1.0
- mypy-extensions ==1.0.0
- nbclient ==0.8.0
- nbconvert ==7.11.0
- nbformat ==5.9.2
- nest-asyncio ==1.5.6
- networkx ==3.1
- notebook_shim ==0.2.3
- numpy ==1.26.1
- olefile ==0.46
- opt-einsum ==3.3.0
- outcome ==1.2.0
- overrides ==7.4.0
- packaging ==23.1
- pandas ==2.1.1
- pandocfilters ==1.5.0
- parsimonious ==0.10.0
- parso ==0.8.3
- path ==16.7.1
- pathspec ==0.11.2
- pbr ==5.11.1
- pexpect ==4.8.0
- pickleshare ==0.7.5
- pillow ==10.2.0
- platformdirs ==3.10.0
- ply ==3.10
- prometheus-client ==0.17.1
- prompt-toolkit ==3.0.39
- psutil ==5.9.6
- ptpython ==3.0.23
- ptyprocess ==0.7.0
- pure-eval ==0.2.2
- py ==1.11.0
- py-aiger ==6.2.3
- py-aiger-bdd ==3.1.2
- py-aiger-bv ==4.7.7
- py-aiger-cnf ==5.0.8
- py-aiger-coins ==3.3.7
- py-aiger-dfa ==0.4.2
- py-aiger-discrete ==0.1.10
- py-aiger-gridworld ==0.4.3
- py-aiger-ptltl ==3.1.2
- py-aiger-sat ==3.0.7
- pycparser ==2.21
- pydot ==1.4.2
- pyparsing ==3.0.9
- pypblib ==0.0.4
- pyrsistent ==0.19.3
- python-dateutil ==2.8.2
- python-json-logger ==2.0.7
- python-sat ==0.1.7.dev1
- python-socks ==2.4.2
- pytz ==2023.3.post1
- pyzmq ==25.1.1
- referencing ==0.30.2
- regex ==2023.8.8
- requests ==2.31.0
- rfc3339-validator ==0.1.4
- rfc3986-validator ==0.1.1
- rpds-py ==0.10.3
- scipy ==1.11.3
- seaborn ==0.13.0
- six ==1.16.0
- sniffio ==1.3.0
- snowballstemmer ==2.2.0
- sortedcontainers ==2.4.0
- soupsieve ==2.5
- sphinxcontrib-apidoc ==0.4.0
- sphinxcontrib-applehelp ==1.0.7
- sphinxcontrib-devhelp ==1.0.5
- sphinxcontrib-htmlhelp ==2.0.4
- sphinxcontrib-jsmath ==1.0.1
- sphinxcontrib-qthelp ==1.0.6
- sphinxcontrib-serializinghtml ==1.1.9
- sphinxcontrib-websupport ==1.2.6
- stack-data ==0.2.0
- terminado ==0.17.1
- tinycss2 ==1.2.1
- toml ==0.10.2
- tomli ==2.0.1
- tomli_w ==1.0.0
- tornado ==6.3.3
- tqdm ==4.66.1
- traitlets ==5.10.0
- trio ==0.22.2
- typeguard ==4.1.5
- typing_extensions ==4.7.1
- tzdata ==2023.3
- uri-template ==1.3.0
- urllib3 ==2.0.7
- wcwidth ==0.2.6
- webcolors ==1.13
- webencodings ==0.5.1
- websocket-client ==1.6.3