Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / Yiannis128 / esbmc-ai
Automated Code Repair suite powered by ESBMC and LLMs.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Yiannis128%2Fesbmc-ai
Stars: 15
Forks: 4
Open Issues: 47
License: agpl-3.0
Language: C
Repo Size: 751 KB
Dependencies:
183
Created: about 1 year ago
Updated: about 1 month ago
Last pushed: about 1 month ago
Last synced: 9 days ago
Topics: ai, artificial-intelligence, automated-program-repair, bmc, bounded-model-checking, esbmc, llm, llms
Files
Loading...
Readme
Loading...
Dependencies
.github/workflows/workflow.yml
actions
- actions/cache v1.2.1 composite
- actions/checkout v3 composite
- actions/setup-python v4 composite
Pipfile
pypi
- black * develop
- ipykernel * develop
- py * develop
- pylint * develop
- pytest * develop
- pytest-cov * develop
- pytest-regtest * develop
- aiohttp ==3.8.4
- aiosignal ==1.3.1
- async-timeout ==4.0.2
- attrs ==23.1.0
- certifi ==2022.12.7
- charset-normalizer ==3.1.0
- clang *
- frozenlist ==1.3.3
- idna ==3.4
- langchain *
- libclang *
- multidict ==6.0.4
- openai ==0.27.5
- python-dotenv ==1.0.0
- regex ==2023.3.23
- requests ==2.29.0
- text-generation *
- tiktoken ==0.3.3
- tqdm ==4.65.0
- urllib3 ==1.26.15
- yarl ==1.9.2
requirements.txt
pypi
- accelerate ==0.20.3
- aiohttp ==3.8.4
- aiosignal ==1.3.1
- anthropic ==0.2.10
- anyio ==3.7.0
- appdirs ==1.4.4
- asgiref ==3.7.2
- async-timeout ==4.0.2
- attrs ==23.1.0
- bentoml ==1.0.22
- build ==0.10.0
- cattrs ==23.1.2
- certifi ==2022.12.7
- charset-normalizer ==3.1.0
- circus ==0.18.0
- clang ==16.0.1.1
- clarifai ==9.1.0
- clarifai-grpc ==9.5.0
- click ==8.1.3
- click-option-group ==0.5.6
- cloudpickle ==2.2.1
- cmake ==3.26.4
- cohere ==3.10.0
- coloredlogs ==15.0.1
- contextlib2 ==21.6.0
- dataclasses-json ==0.5.8
- datasets ==2.13.0
- deepmerge ==1.1.0
- deprecated ==1.2.14
- dill ==0.3.6
- filelock ==3.12.2
- filetype ==1.2.0
- frozenlist ==1.3.3
- fs ==2.4.16
- fsspec ==2023.6.0
- googleapis-common-protos ==1.59.1
- greenlet ==2.0.2
- grpcio ==1.54.2
- grpcio-health-checking ==1.48.2
- h11 ==0.14.0
- httpcore ==0.17.2
- httpx ==0.24.1
- huggingface-hub ==0.15.1
- humanfriendly ==10.0
- idna ==3.4
- importlib-metadata ==6.0.1
- inflection ==0.5.1
- jinja2 ==3.1.2
- langchain ==0.0.209
- langchainplus-sdk ==0.0.16
- libclang ==16.0.0
- lit ==16.0.6
- manifest-ml ==0.0.1
- markdown-it-py ==3.0.0
- markupsafe ==2.1.3
- marshmallow ==3.19.0
- marshmallow-enum ==1.5.1
- mdurl ==0.1.2
- mpmath ==1.3.0
- multidict ==6.0.4
- multiprocess ==0.70.14
- mypy-extensions ==1.0.0
- networkx ==3.1
- nlpcloud ==1.0.42
- numexpr ==2.8.4
- numpy ==1.25.0
- nvidia-cublas-cu11 ==11.10.3.66
- nvidia-cuda-cupti-cu11 ==11.7.101
- nvidia-cuda-nvrtc-cu11 ==11.7.99
- nvidia-cuda-runtime-cu11 ==11.7.99
- nvidia-cudnn-cu11 ==8.5.0.96
- nvidia-cufft-cu11 ==10.9.0.58
- nvidia-curand-cu11 ==10.2.10.91
- nvidia-cusolver-cu11 ==11.4.0.1
- nvidia-cusparse-cu11 ==11.7.4.91
- nvidia-nccl-cu11 ==2.14.3
- nvidia-nvtx-cu11 ==11.7.91
- openai ==0.27.5
- openapi-schema-pydantic ==1.2.4
- openllm ==0.1.10
- openlm ==0.0.5
- opentelemetry-api ==1.17.0
- opentelemetry-instrumentation ==0.38b0
- opentelemetry-instrumentation-aiohttp-client ==0.38b0
- opentelemetry-instrumentation-asgi ==0.38b0
- opentelemetry-instrumentation-grpc ==0.38b0
- opentelemetry-sdk ==1.17.0
- opentelemetry-semantic-conventions ==0.38b0
- opentelemetry-util-http ==0.38b0
- optimum ==1.8.8
- orjson ==3.9.1
- packaging ==23.1
- pandas ==2.0.2
- pathspec ==0.11.1
- pillow ==9.5.0
- pip ==23.1.2
- pip-requirements-parser ==32.0.1
- pip-tools ==6.13.0
- prometheus-client ==0.17.0
- protobuf ==3.20.3
- psutil ==5.9.5
- pyarrow ==12.0.1
- pydantic ==1.10.9
- pygments ==2.15.1
- pynvml ==11.5.0
- pyparsing ==3.1.0
- pyproject-hooks ==1.0.0
- python-dateutil ==2.8.2
- python-dotenv ==1.0.0
- python-json-logger ==2.0.7
- python-multipart ==0.0.6
- pytz ==2023.3
- pyyaml ==6.0
- pyzmq ==25.1.0
- redis ==4.5.5
- regex ==2023.3.23
- requests ==2.29.0
- rich ==13.4.2
- safetensors ==0.3.1
- schema ==0.7.5
- sentencepiece ==0.1.99
- setuptools ==68.0.0
- simple-di ==0.1.5
- six ==1.16.0
- sniffio ==1.3.0
- sqlalchemy ==2.0.16
- sqlitedict ==2.1.0
- starlette ==0.28.0
- sympy ==1.12
- tabulate ==0.9.0
- tenacity ==8.2.2
- text-generation ==0.6.0
- tiktoken ==0.3.3
- tokenizers ==0.13.3
- torch ==2.0.1
- torchvision ==0.15.2
- tornado ==6.3.2
- tqdm ==4.65.0
- transformers ==4.30.2
- triton ==2.0.0
- typing-extensions ==4.6.3
- typing-inspect ==0.9.0
- tzdata ==2023.3
- urllib3 ==1.26.15
- uvicorn ==0.22.0
- watchfiles ==0.19.0
- wcwidth ==0.2.6
- wheel ==0.40.0
- wrapt ==1.15.0
- xxhash ==3.2.0
- yarl ==1.9.2
- zipp ==3.15.0