Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / sean-lamont / bait
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sean-lamont%2Fbait
Stars: 4
Forks: 1
Open Issues: 0
License: other
Language: Standard ML
Repo Size: 71.6 MB
Dependencies:
275
Created: 9 months ago
Updated: 5 days ago
Last pushed: 5 days ago
Last synced: 4 days ago
Topics: artificial-intelligence, benchmark-framework, machine-learning, theorem-proving
Files
Loading...
Readme
Loading...
Dependencies
- alpine latest build
- ocaml/opam ubuntu-16.04_ocaml-4.03.0 build
- CNFgen ==0.8.7
- Keras-Preprocessing ==1.1.2
- Markdown ==3.2.2
- Pillow ==7.2.0
- PyYAML ==5.3.1
- Werkzeug ==1.0.1
- absl-py ==0.10.0
- aiohttp ==3.6.2
- astunparse ==1.6.3
- async-timeout ==3.0.1
- attrs ==20.2.0
- beautifulsoup4 ==4.9.1
- cachetools ==4.1.1
- certifi ==2020.6.20
- chardet ==3.0.4
- click ==7.1.2
- cloudpickle ==1.6.0
- colorama ==0.4.3
- cycler ==0.10.0
- decorator ==4.4.2
- filelock ==3.0.12
- funcsigs ==1.0.2
- future ==0.18.2
- gast ==0.3.3
- google ==3.0.0
- google-auth ==1.21.1
- google-auth-oauthlib ==0.4.1
- google-pasta ==0.2.0
- grpcio ==1.31.0
- h5py ==2.10.0
- idna ==2.10
- importlib-metadata ==1.7.0
- iniconfig ==1.0.1
- jsonschema ==3.2.0
- kiwisolver ==1.2.0
- matplotlib ==3.3.1
- more-itertools ==8.5.0
- multidict ==4.7.6
- networkx ==2.5
- numpy ==1.18.5
- oauthlib ==3.1.0
- opt-einsum ==3.3.0
- packaging ==20.4
- pandas ==1.1.2
- pluggy ==0.13.1
- protobuf ==3.13.0
- psutil ==5.7.2
- py ==1.9.0
- py-spy ==0.3.3
- pyasn1 ==0.4.8
- pyasn1-modules ==0.2.8
- pydot ==1.4.1
- pyparsing ==2.4.7
- pypeg2 *
- pyrsistent ==0.17.0
- pytest ==6.0.1
- python-dateutil ==2.8.1
- python-sat ==0.1.6.dev6
- pytz ==2020.1
- redis ==3.5.3
- requests ==2.24.0
- requests-oauthlib ==1.3.0
- rsa ==4.6
- scipy ==1.4.1
- six ==1.15.0
- soupsieve ==2.0.1
- tabulate ==0.8.7
- tensorboard ==2.3.0
- tensorboard-plugin-wit ==1.7.0
- tensorflow ==2.3.0
- tensorflow-estimator ==2.3.0
- termcolor ==1.1.0
- toml ==0.10.1
- torch *
- tqdm ==4.50.0
- typing-extensions ==3.7.4.3
- urllib3 ==1.25.10
- wrapt ==1.12.1
- yarl ==1.5.1
- zipp ==3.1.0
requirements.txt
pypi
- GitPython ==3.1.31
- Jinja2 ==3.1.2
- Mako ==1.2.4
- MarkupSafe ==2.1.2
- Pillow ==9.3.0
- PyJWT ==2.6.0
- PyYAML ==6.0
- Pygments ==2.15.0
- QtPy ==2.3.1
- SQLAlchemy ==2.0.13
- Send2Trash ==1.8.0
- aiohttp ==3.8.4
- aiosignal ==1.3.1
- alembic ==1.10.4
- anyio ==3.6.2
- appdirs ==1.4.4
- argon2-cffi ==21.3.0
- argon2-cffi-bindings ==21.2.0
- arrow ==1.2.3
- asttokens ==2.2.1
- async-timeout ==4.0.2
- attrs ==22.2.0
- backcall ==0.2.0
- beautifulsoup4 ==4.12.2
- bleach ==6.0.0
- blessed ==1.20.0
- certifi ==2022.12.7
- cffi ==1.15.1
- charset-normalizer ==2.1.1
- click ==8.1.3
- cmaes ==0.9.1
- cmake ==3.25.0
- colorlog ==6.7.0
- comm ==0.1.3
- contourpy ==1.0.7
- croniter ==1.3.14
- cycler ==0.11.0
- dateutils ==0.6.12
- debugpy ==1.6.7
- decorator ==5.1.1
- deepdiff ==6.3.0
- defusedxml ==0.7.1
- dgl ==1.1.0
- dill *
- dnspython ==2.3.0
- docker-pycreds ==0.4.0
- einops *
- executing ==1.2.0
- fastapi ==0.88.0
- fastjsonschema ==2.16.3
- filelock ==3.9.0
- fonttools ==4.39.3
- fqdn ==1.5.1
- frozenlist ==1.3.3
- fsspec ==2023.5.0
- gitdb ==4.0.10
- graphviz ==0.20.1
- greenlet ==2.0.2
- h11 ==0.14.0
- h5py ==3.8.0
- idna ==3.4
- igraph ==0.10.4
- importlib-metadata ==6.3.0
- importlib-resources ==5.12.0
- inquirer ==3.1.3
- ipykernel ==6.22.0
- ipython ==8.12.0
- ipython-genutils ==0.2.0
- ipywidgets ==8.0.6
- isoduration ==20.11.0
- itsdangerous ==2.1.2
- jedi ==0.18.2
- joblib ==1.2.0
- jsonpointer ==2.3
- jsonschema ==4.17.3
- jupyter ==1.0.0
- jupyter-console ==6.6.3
- jupyter-events ==0.6.3
- jupyter_client ==8.2.0
- jupyter_core ==5.3.0
- jupyter_server ==2.5.0
- jupyter_server_terminals ==0.4.4
- jupyterlab-pygments ==0.2.2
- jupyterlab-widgets ==3.0.7
- kiwisolver ==1.4.4
- lightning ==2.0.2
- lightning-cloud ==0.5.34
- lightning-utilities ==0.8.0
- lit ==15.0.7
- littleutils ==0.2.2
- markdown-it-py ==2.2.0
- matplotlib *
- matplotlib-inline ==0.1.6
- mdurl ==0.1.2
- mistune ==2.0.5
- mpmath ==1.2.1
- multidict ==6.0.4
- nbclassic ==0.5.5
- nbclient ==0.7.3
- nbconvert ==7.3.1
- nbformat ==5.8.0
- nest-asyncio ==1.5.6
- networkx ==3.0
- notebook ==6.5.4
- notebook_shim ==0.2.2
- numpy *
- ogb ==1.3.6
- optuna ==3.1.1
- ordered-set ==4.1.0
- outdated ==0.2.2
- packaging ==23.1
- pandas ==2.0.1
- pandocfilters ==1.5.0
- parso ==0.8.3
- pathtools ==0.1.2
- pexpect ==4.8.0
- pickleshare ==0.7.5
- pkgutil_resolve_name ==1.3.10
- platformdirs ==3.2.0
- plotly ==5.14.1
- prometheus-client ==0.16.0
- prompt-toolkit ==3.0.38
- protobuf ==4.22.3
- psutil ==5.9.4
- ptyprocess ==0.7.0
- pure-eval ==0.2.2
- pycparser ==2.21
- pydantic ==1.10.7
- pymongo ==4.3.3
- pyparsing ==3.0.9
- pyrallis *
- pyrsistent ==0.19.3
- python-dateutil ==2.8.2
- python-editor ==1.0.4
- python-json-logger ==2.0.7
- python-multipart ==0.0.6
- pytz ==2023.3
- pyzmq ==25.0.2
- qtconsole ==5.4.2
- readchar ==4.0.5
- requests ==2.28.1
- rfc3339-validator ==0.1.4
- rfc3986-validator ==0.1.1
- rich ==13.3.5
- scikit-learn ==1.2.2
- scipy ==1.10.1
- sentry-sdk ==1.19.1
- setproctitle ==1.3.2
- six ==1.16.0
- sklearn *
- smmap ==5.0.0
- sniffio ==1.3.0
- soupsieve ==2.4
- stack-data ==0.6.2
- starlette ==0.22.0
- starsessions ==1.3.0
- sympy ==1.11.1
- tenacity ==8.2.2
- terminado ==0.17.1
- texttable ==1.6.7
- threadpoolctl ==3.1.0
- tinycss2 ==1.2.1
- torchdata *
- torchmetrics ==0.11.4
- torchtext *
- torchvision ==0.15.2
- tornado ==6.2
- tqdm ==4.65.0
- traitlets ==5.9.0
- triton ==2.0.0
- typing_extensions ==4.4.0
- tzdata ==2023.3
- uri-template ==1.2.0
- urllib3 ==1.26.13
- uvicorn ==0.22.0
- wandb *
- wcwidth ==0.2.6
- webcolors ==1.13
- webencodings ==0.5.1
- websocket-client ==1.5.1
- websockets ==11.0.3
- widgetsnbextension ==4.0.7
- yarl ==1.9.2
- zipp ==3.15.0