{"id":34525,"name":"verina","description":"Verina (Verifiable Code Generation Arena) is a high-quality benchmark enabling a comprehensive and modular evaluation of code, specification, and proof generation as well as their compositions.","url":"https://github.com/sunblaze-ucb/verina","last_synced_at":"2025-09-05T06:14:46.774Z","repository":{"id":293614190,"uuid":"984593913","full_name":"sunblaze-ucb/verina","owner":"sunblaze-ucb","description":"Verina (Verifiable Code Generation Arena) is a high-quality benchmark enabling a comprehensive and modular evaluation of code, specification, and proof generation as well as their compositions.","archived":false,"fork":false,"pushed_at":"2025-08-17T06:23:39.000Z","size":1612,"stargazers_count":22,"open_issues_count":1,"forks_count":2,"subscribers_count":7,"default_branch":"main","last_synced_at":"2025-08-17T08:29:12.539Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"https://verina.io/","language":"Lean","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/sunblaze-ucb.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2025-05-16T07:25:53.000Z","updated_at":"2025-08-17T06:23:42.000Z","dependencies_parsed_at":"2025-05-16T08:47:56.789Z","dependency_job_id":"ce9b868a-a762-4186-b1f3-93b03f70748b","html_url":"https://github.com/sunblaze-ucb/verina","commit_stats":null,"previous_names":["sunblaze-ucb/verina"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/sunblaze-ucb/verina","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sunblaze-ucb%2Fverina","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sunblaze-ucb%2Fverina/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sunblaze-ucb%2Fverina/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sunblaze-ucb%2Fverina/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/sunblaze-ucb","download_url":"https://codeload.github.com/sunblaze-ucb/verina/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sunblaze-ucb%2Fverina/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273719455,"owners_count":25155716,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-09-05T02:00:09.113Z","response_time":402,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"owner":{"login":"sunblaze-ucb","name":"sunblaze-ucb","uuid":"1937124","kind":"organization","description":"","email":null,"website":null,"location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/1937124?v=4","repositories_count":8,"last_synced_at":"2023-02-26T17:22:05.642Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/sunblaze-ucb","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2022-11-10T03:41:30.495Z","updated_at":"2023-02-26T17:22:05.650Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/sunblaze-ucb","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/sunblaze-ucb/repositories"},"packages":[],"commits":{"message":"Repository syncing started."},"issues_stats":{"full_name":"sunblaze-ucb/verina","html_url":"https://github.com/sunblaze-ucb/verina","last_synced_at":null,"status":null,"issues_count":null,"pull_requests_count":null,"avg_time_to_close_issue":null,"avg_time_to_close_pull_request":null,"issues_closed_count":null,"pull_requests_closed_count":null,"pull_request_authors_count":null,"issue_authors_count":null,"avg_comments_per_issue":null,"avg_comments_per_pull_request":null,"merged_pull_requests_count":null,"bot_issues_count":null,"bot_pull_requests_count":null,"past_year_issues_count":null,"past_year_pull_requests_count":null,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":null,"past_year_issues_closed_count":null,"past_year_pull_requests_closed_count":null,"past_year_pull_request_authors_count":null,"past_year_issue_authors_count":null,"past_year_avg_comments_per_issue":null,"past_year_avg_comments_per_pull_request":null,"past_year_bot_issues_count":null,"past_year_bot_pull_requests_count":null,"past_year_merged_pull_requests_count":null,"created_at":"2025-08-29T17:56:17.930Z","updated_at":"2025-08-29T19:49:42.788Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/sunblaze-ucb%2Fverina","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/sunblaze-ucb%2Fverina/issues","issue_labels_count":{},"pull_request_labels_count":{},"issue_author_associations_count":{"MEMBER":1},"pull_request_author_associations_count":{"MEMBER":1,"NONE":1,"COLLABORATOR":1},"issue_authors":{"LEAFERx":1},"pull_request_authors":{"ZhengxuYan":1,"yangky11":1,"LEAFERx":1},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-05T00:00:10.444Z","repositories_count":10087320,"issues_count":31306968,"pull_requests_count":96469683,"authors_count":10696025,"icon_url":"https://github.com/github.png","host_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories","owners_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/owners","authors_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors"},"past_year_issue_labels_count":{},"past_year_pull_request_labels_count":{},"past_year_issue_author_associations_count":{"MEMBER":1},"past_year_pull_request_author_associations_count":{"MEMBER":1,"NONE":1,"COLLABORATOR":1},"past_year_issue_authors":{"LEAFERx":1},"past_year_pull_request_authors":{"LEAFERx":1,"ZhengxuYan":1,"yangky11":1},"maintainers":[{"login":"LEAFERx","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/LEAFERx"},{"login":"ZhengxuYan","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/ZhengxuYan"}],"active_maintainers":[{"login":"LEAFERx","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/LEAFERx"},{"login":"ZhengxuYan","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/ZhengxuYan"}]},"events":{"total":{"WatchEvent":10,"DeleteEvent":3,"IssueCommentEvent":1,"MemberEvent":2,"PushEvent":21,"PullRequestReviewEvent":2,"PullRequestReviewCommentEvent":10,"PullRequestEvent":9,"ForkEvent":1,"CreateEvent":5},"last_year":{"WatchEvent":10,"DeleteEvent":3,"IssueCommentEvent":1,"MemberEvent":2,"PushEvent":21,"PullRequestReviewEvent":2,"PullRequestReviewCommentEvent":10,"PullRequestEvent":9,"ForkEvent":1,"CreateEvent":5}},"keywords":[],"dependencies":[{"ecosystem":"pypi","filepath":"pyproject.toml","sha":null,"kind":"manifest","created_at":"2025-05-16T08:47:43.389Z","updated_at":"2025-05-16T08:47:43.389Z","repository_link":"https://github.com/sunblaze-ucb/verina/blob/main/pyproject.toml","dependencies":[{"id":23156402236,"package_name":"datasets","ecosystem":"pypi","requirements":"\u003e=3.4.0","direct":true,"kind":"runtime","optional":false},{"id":23156402237,"package_name":"dspy","ecosystem":"pypi","requirements":"\u003e=2.6.23","direct":true,"kind":"runtime","optional":false},{"id":23156404348,"package_name":"google-cloud-aiplatform","ecosystem":"pypi","requirements":"\u003e=1.92.0","direct":true,"kind":"runtime","optional":false},{"id":23156404349,"package_name":"ipykernel","ecosystem":"pypi","requirements":"\u003e=6.29.5","direct":true,"kind":"runtime","optional":false},{"id":23156404350,"package_name":"jinja2","ecosystem":"pypi","requirements":"\u003e=3.1.6","direct":true,"kind":"runtime","optional":false},{"id":23156404351,"package_name":"langfuse","ecosystem":"pypi","requirements":"\u003e=2.60.3","direct":true,"kind":"runtime","optional":false},{"id":23156404352,"package_name":"loguru","ecosystem":"pypi","requirements":"\u003e=0.7.3","direct":true,"kind":"runtime","optional":false},{"id":23156404353,"package_name":"matplotlib","ecosystem":"pypi","requirements":"\u003e=3.10.0","direct":true,"kind":"runtime","optional":false},{"id":23156404354,"package_name":"pandas","ecosystem":"pypi","requirements":"\u003e=2.2.3","direct":true,"kind":"runtime","optional":false},{"id":23156404355,"package_name":"prefect","ecosystem":"pypi","requirements":"==3.4.1","direct":true,"kind":"runtime","optional":false},{"id":23156404649,"package_name":"pydantic","ecosystem":"pypi","requirements":"\u003e=2.10.6","direct":true,"kind":"runtime","optional":false},{"id":23156404653,"package_name":"python-dotenv","ecosystem":"pypi","requirements":"\u003e=1.0.1","direct":true,"kind":"runtime","optional":false},{"id":23156404658,"package_name":"pyyaml","ecosystem":"pypi","requirements":"\u003e=6.0.1","direct":true,"kind":"runtime","optional":false},{"id":23156404661,"package_name":"rich","ecosystem":"pypi","requirements":"\u003e=13.9.4","direct":true,"kind":"runtime","optional":false},{"id":23156404665,"package_name":"seaborn","ecosystem":"pypi","requirements":"\u003e=0.13.2","direct":true,"kind":"runtime","optional":false},{"id":23156404669,"package_name":"setuptools","ecosystem":"pypi","requirements":"\u003e=75.8.0","direct":true,"kind":"runtime","optional":false},{"id":23156404673,"package_name":"tqdm","ecosystem":"pypi","requirements":"\u003e=4.67.1","direct":true,"kind":"runtime","optional":false},{"id":23156404676,"package_name":"typer","ecosystem":"pypi","requirements":"\u003e=0.15.1","direct":true,"kind":"runtime","optional":false},{"id":23156404678,"package_name":"vllm","ecosystem":"pypi","requirements":"\u003e=0.8.0","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"pypi","filepath":"uv.lock","sha":null,"kind":"lockfile","created_at":"2025-05-16T08:47:44.748Z","updated_at":"2025-05-16T08:47:44.748Z","repository_link":"https://github.com/sunblaze-ucb/verina/blob/main/uv.lock","dependencies":[{"id":23156405413,"package_name":"aiohappyeyeballs","ecosystem":"pypi","requirements":"2.6.1","direct":false,"kind":"runtime","optional":false},{"id":23156405414,"package_name":"aiohttp","ecosystem":"pypi","requirements":"3.11.18","direct":false,"kind":"runtime","optional":false},{"id":23156405415,"package_name":"aiosignal","ecosystem":"pypi","requirements":"1.3.2","direct":false,"kind":"runtime","optional":false},{"id":23156405416,"package_name":"aiosqlite","ecosystem":"pypi","requirements":"0.21.0","direct":false,"kind":"runtime","optional":false},{"id":23156405417,"package_name":"airportsdata","ecosystem":"pypi","requirements":"20250224","direct":false,"kind":"runtime","optional":false},{"id":23156405418,"package_name":"alembic","ecosystem":"pypi","requirements":"1.15.2","direct":false,"kind":"runtime","optional":false},{"id":23156405419,"package_name":"annotated-types","ecosystem":"pypi","requirements":"0.7.0","direct":false,"kind":"runtime","optional":false},{"id":23156405420,"package_name":"anyio","ecosystem":"pypi","requirements":"4.9.0","direct":false,"kind":"runtime","optional":false},{"id":23156405421,"package_name":"appnope","ecosystem":"pypi","requirements":"0.1.4","direct":false,"kind":"runtime","optional":false},{"id":23156405422,"package_name":"apprise","ecosystem":"pypi","requirements":"1.9.3","direct":false,"kind":"runtime","optional":false},{"id":23156406198,"package_name":"asgi-lifespan","ecosystem":"pypi","requirements":"2.1.0","direct":false,"kind":"runtime","optional":false},{"id":23156406199,"package_name":"astor","ecosystem":"pypi","requirements":"0.8.1","direct":false,"kind":"runtime","optional":false},{"id":23156406200,"package_name":"asttokens","ecosystem":"pypi","requirements":"3.0.0","direct":false,"kind":"runtime","optional":false},{"id":23156406201,"package_name":"asyncer","ecosystem":"pypi","requirements":"0.0.8","direct":false,"kind":"runtime","optional":false},{"id":23156406202,"package_name":"asyncpg","ecosystem":"pypi","requirements":"0.30.0","direct":false,"kind":"runtime","optional":false},{"id":23156406203,"package_name":"attrs","ecosystem":"pypi","requirements":"25.3.0","direct":false,"kind":"runtime","optional":false},{"id":23156406204,"package_name":"backoff","ecosystem":"pypi","requirements":"2.2.1","direct":false,"kind":"runtime","optional":false},{"id":23156406205,"package_name":"blake3","ecosystem":"pypi","requirements":"1.0.4","direct":false,"kind":"runtime","optional":false},{"id":23156406206,"package_name":"cachetools","ecosystem":"pypi","requirements":"5.5.2","direct":false,"kind":"runtime","optional":false},{"id":23156406207,"package_name":"certifi","ecosystem":"pypi","requirements":"2025.4.26","direct":false,"kind":"runtime","optional":false},{"id":23156406208,"package_name":"cffi","ecosystem":"pypi","requirements":"1.17.1","direct":false,"kind":"runtime","optional":false},{"id":23156406209,"package_name":"cfgv","ecosystem":"pypi","requirements":"3.4.0","direct":false,"kind":"runtime","optional":false},{"id":23156406210,"package_name":"charset-normalizer","ecosystem":"pypi","requirements":"3.4.2","direct":false,"kind":"runtime","optional":false},{"id":23156406211,"package_name":"click","ecosystem":"pypi","requirements":"8.1.8","direct":false,"kind":"runtime","optional":false},{"id":23156406212,"package_name":"cloudpickle","ecosystem":"pypi","requirements":"3.1.1","direct":false,"kind":"runtime","optional":false},{"id":23156406213,"package_name":"colorama","ecosystem":"pypi","requirements":"0.4.6","direct":false,"kind":"runtime","optional":false},{"id":23156406214,"package_name":"colorlog","ecosystem":"pypi","requirements":"6.9.0","direct":false,"kind":"runtime","optional":false},{"id":23156406215,"package_name":"comm","ecosystem":"pypi","requirements":"0.2.2","direct":false,"kind":"runtime","optional":false},{"id":23156406216,"package_name":"compressed-tensors","ecosystem":"pypi","requirements":"0.9.2","direct":false,"kind":"runtime","optional":false},{"id":23156406217,"package_name":"contourpy","ecosystem":"pypi","requirements":"1.3.2","direct":false,"kind":"runtime","optional":false},{"id":23156406218,"package_name":"coolname","ecosystem":"pypi","requirements":"2.2.0","direct":false,"kind":"runtime","optional":false},{"id":23156406251,"package_name":"cryptography","ecosystem":"pypi","requirements":"44.0.3","direct":false,"kind":"runtime","optional":false},{"id":23156406252,"package_name":"cupy-cuda12x","ecosystem":"pypi","requirements":"13.4.1","direct":false,"kind":"runtime","optional":false},{"id":23156406253,"package_name":"cycler","ecosystem":"pypi","requirements":"0.12.1","direct":false,"kind":"runtime","optional":false},{"id":23156406254,"package_name":"datasets","ecosystem":"pypi","requirements":"3.6.0","direct":false,"kind":"runtime","optional":false},{"id":23156406255,"package_name":"dateparser","ecosystem":"pypi","requirements":"1.2.1","direct":false,"kind":"runtime","optional":false},{"id":23156406256,"package_name":"debugpy","ecosystem":"pypi","requirements":"1.8.14","direct":false,"kind":"runtime","optional":false},{"id":23156406257,"package_name":"decorator","ecosystem":"pypi","requirements":"5.2.1","direct":false,"kind":"runtime","optional":false},{"id":23156406258,"package_name":"deprecated","ecosystem":"pypi","requirements":"1.2.18","direct":false,"kind":"runtime","optional":false},{"id":23156406259,"package_name":"depyf","ecosystem":"pypi","requirements":"0.18.0","direct":false,"kind":"runtime","optional":false},{"id":23156406260,"package_name":"dill","ecosystem":"pypi","requirements":"0.3.8","direct":false,"kind":"runtime","optional":false},{"id":23156406261,"package_name":"diskcache","ecosystem":"pypi","requirements":"5.6.3","direct":false,"kind":"runtime","optional":false},{"id":23156406262,"package_name":"distlib","ecosystem":"pypi","requirements":"0.3.9","direct":false,"kind":"runtime","optional":false},{"id":23156406263,"package_name":"distro","ecosystem":"pypi","requirements":"1.9.0","direct":false,"kind":"runtime","optional":false},{"id":23156406264,"package_name":"dnspython","ecosystem":"pypi","requirements":"2.7.0","direct":false,"kind":"runtime","optional":false},{"id":23156406265,"package_name":"docker","ecosystem":"pypi","requirements":"7.1.0","direct":false,"kind":"runtime","optional":false},{"id":23156406266,"package_name":"docstring-parser","ecosystem":"pypi","requirements":"0.16","direct":false,"kind":"runtime","optional":false},{"id":23156406267,"package_name":"dspy","ecosystem":"pypi","requirements":"2.6.23","direct":false,"kind":"runtime","optional":false},{"id":23156406268,"package_name":"einops","ecosystem":"pypi","requirements":"0.8.1","direct":false,"kind":"runtime","optional":false},{"id":23156406269,"package_name":"email-validator","ecosystem":"pypi","requirements":"2.2.0","direct":false,"kind":"runtime","optional":false},{"id":23156406270,"package_name":"exceptiongroup","ecosystem":"pypi","requirements":"1.3.0","direct":false,"kind":"runtime","optional":false},{"id":23156406271,"package_name":"executing","ecosystem":"pypi","requirements":"2.2.0","direct":false,"kind":"runtime","optional":false},{"id":23156406272,"package_name":"fastapi","ecosystem":"pypi","requirements":"0.115.12","direct":false,"kind":"runtime","optional":false},{"id":23156406273,"package_name":"fastapi-cli","ecosystem":"pypi","requirements":"0.0.7","direct":false,"kind":"runtime","optional":false},{"id":23156406274,"package_name":"fastrlock","ecosystem":"pypi","requirements":"0.8.3","direct":false,"kind":"runtime","optional":false},{"id":23156406275,"package_name":"filelock","ecosystem":"pypi","requirements":"3.18.0","direct":false,"kind":"runtime","optional":false},{"id":23156406276,"package_name":"fonttools","ecosystem":"pypi","requirements":"4.58.0","direct":false,"kind":"runtime","optional":false},{"id":23156406277,"package_name":"frozenlist","ecosystem":"pypi","requirements":"1.6.0","direct":false,"kind":"runtime","optional":false},{"id":23156406278,"package_name":"fsspec","ecosystem":"pypi","requirements":"2025.3.0","direct":false,"kind":"runtime","optional":false},{"id":23156406279,"package_name":"gguf","ecosystem":"pypi","requirements":"0.10.0","direct":false,"kind":"runtime","optional":false},{"id":23156406280,"package_name":"google-api-core","ecosystem":"pypi","requirements":"2.24.2","direct":false,"kind":"runtime","optional":false},{"id":23156406281,"package_name":"google-auth","ecosystem":"pypi","requirements":"2.40.1","direct":false,"kind":"runtime","optional":false},{"id":23156406282,"package_name":"google-cloud-aiplatform","ecosystem":"pypi","requirements":"1.92.0","direct":false,"kind":"runtime","optional":false},{"id":23156406283,"package_name":"google-cloud-bigquery","ecosystem":"pypi","requirements":"3.31.0","direct":false,"kind":"runtime","optional":false},{"id":23156406284,"package_name":"google-cloud-core","ecosystem":"pypi","requirements":"2.4.3","direct":false,"kind":"runtime","optional":false},{"id":23156406285,"package_name":"google-cloud-resource-manager","ecosystem":"pypi","requirements":"1.14.2","direct":false,"kind":"runtime","optional":false},{"id":23156406286,"package_name":"google-cloud-storage","ecosystem":"pypi","requirements":"2.19.0","direct":false,"kind":"runtime","optional":false},{"id":23156406287,"package_name":"google-crc32c","ecosystem":"pypi","requirements":"1.7.1","direct":false,"kind":"runtime","optional":false},{"id":23156406288,"package_name":"google-genai","ecosystem":"pypi","requirements":"1.14.0","direct":false,"kind":"runtime","optional":false},{"id":23156406289,"package_name":"google-resumable-media","ecosystem":"pypi","requirements":"2.7.2","direct":false,"kind":"runtime","optional":false},{"id":23156406290,"package_name":"googleapis-common-protos","ecosystem":"pypi","requirements":"1.70.0","direct":false,"kind":"runtime","optional":false},{"id":23156406291,"package_name":"graphviz","ecosystem":"pypi","requirements":"0.20.3","direct":false,"kind":"runtime","optional":false},{"id":23156406292,"package_name":"greenlet","ecosystem":"pypi","requirements":"3.2.2","direct":false,"kind":"runtime","optional":false},{"id":23156406293,"package_name":"griffe","ecosystem":"pypi","requirements":"1.7.3","direct":false,"kind":"runtime","optional":false},{"id":23156406294,"package_name":"grpc-google-iam-v1","ecosystem":"pypi","requirements":"0.14.2","direct":false,"kind":"runtime","optional":false},{"id":23156406295,"package_name":"grpcio","ecosystem":"pypi","requirements":"1.71.0","direct":false,"kind":"runtime","optional":false},{"id":23156406296,"package_name":"grpcio-status","ecosystem":"pypi","requirements":"1.71.0","direct":false,"kind":"runtime","optional":false},{"id":23156406297,"package_name":"h11","ecosystem":"pypi","requirements":"0.16.0","direct":false,"kind":"runtime","optional":false},{"id":23156406298,"package_name":"h2","ecosystem":"pypi","requirements":"4.2.0","direct":false,"kind":"runtime","optional":false},{"id":23156406299,"package_name":"hf-xet","ecosystem":"pypi","requirements":"1.1.0","direct":false,"kind":"runtime","optional":false},{"id":23156406300,"package_name":"hpack","ecosystem":"pypi","requirements":"4.1.0","direct":false,"kind":"runtime","optional":false},{"id":23156406301,"package_name":"httpcore","ecosystem":"pypi","requirements":"1.0.9","direct":false,"kind":"runtime","optional":false},{"id":23156406302,"package_name":"httptools","ecosystem":"pypi","requirements":"0.6.4","direct":false,"kind":"runtime","optional":false},{"id":23156406303,"package_name":"httpx","ecosystem":"pypi","requirements":"0.28.1","direct":false,"kind":"runtime","optional":false},{"id":23156406304,"package_name":"huggingface-hub","ecosystem":"pypi","requirements":"0.31.1","direct":false,"kind":"runtime","optional":false},{"id":23156406305,"package_name":"humanize","ecosystem":"pypi","requirements":"4.12.3","direct":false,"kind":"runtime","optional":false},{"id":23156406306,"package_name":"hyperframe","ecosystem":"pypi","requirements":"6.1.0","direct":false,"kind":"runtime","optional":false},{"id":23156406307,"package_name":"identify","ecosystem":"pypi","requirements":"2.6.10","direct":false,"kind":"runtime","optional":false},{"id":23156406308,"package_name":"idna","ecosystem":"pypi","requirements":"3.10","direct":false,"kind":"runtime","optional":false},{"id":23156406309,"package_name":"importlib-metadata","ecosystem":"pypi","requirements":"8.6.1","direct":false,"kind":"runtime","optional":false},{"id":23156406310,"package_name":"interegular","ecosystem":"pypi","requirements":"0.3.3","direct":false,"kind":"runtime","optional":false},{"id":23156406311,"package_name":"ipykernel","ecosystem":"pypi","requirements":"6.29.5","direct":false,"kind":"runtime","optional":false},{"id":23156406312,"package_name":"ipython","ecosystem":"pypi","requirements":"9.2.0","direct":false,"kind":"runtime","optional":false},{"id":23156406313,"package_name":"ipython-pygments-lexers","ecosystem":"pypi","requirements":"1.1.1","direct":false,"kind":"runtime","optional":false},{"id":23156406314,"package_name":"jedi","ecosystem":"pypi","requirements":"0.19.2","direct":false,"kind":"runtime","optional":false},{"id":23156406315,"package_name":"jinja2","ecosystem":"pypi","requirements":"3.1.6","direct":false,"kind":"runtime","optional":false},{"id":23156406316,"package_name":"jinja2-humanize-extension","ecosystem":"pypi","requirements":"0.4.0","direct":false,"kind":"runtime","optional":false},{"id":23156406754,"package_name":"jiter","ecosystem":"pypi","requirements":"0.9.0","direct":false,"kind":"runtime","optional":false},{"id":23156406755,"package_name":"joblib","ecosystem":"pypi","requirements":"1.5.0","direct":false,"kind":"runtime","optional":false},{"id":23156406756,"package_name":"json-repair","ecosystem":"pypi","requirements":"0.44.1","direct":false,"kind":"runtime","optional":false},{"id":23156406757,"package_name":"jsonpatch","ecosystem":"pypi","requirements":"1.33","direct":false,"kind":"runtime","optional":false},{"id":23156406758,"package_name":"jsonpointer","ecosystem":"pypi","requirements":"3.0.0","direct":false,"kind":"runtime","optional":false},{"id":23156406759,"package_name":"jsonschema","ecosystem":"pypi","requirements":"4.23.0","direct":false,"kind":"runtime","optional":false},{"id":23156406760,"package_name":"jsonschema-specifications","ecosystem":"pypi","requirements":"2025.4.1","direct":false,"kind":"runtime","optional":false},{"id":23156406761,"package_name":"jupyter-client","ecosystem":"pypi","requirements":"8.6.3","direct":false,"kind":"runtime","optional":false},{"id":23156406762,"package_name":"jupyter-core","ecosystem":"pypi","requirements":"5.7.2","direct":false,"kind":"runtime","optional":false},{"id":23156406763,"package_name":"kiwisolver","ecosystem":"pypi","requirements":"1.4.8","direct":false,"kind":"runtime","optional":false},{"id":23156406764,"package_name":"langfuse","ecosystem":"pypi","requirements":"2.60.4","direct":false,"kind":"runtime","optional":false},{"id":23156406765,"package_name":"lark","ecosystem":"pypi","requirements":"1.2.2","direct":false,"kind":"runtime","optional":false},{"id":23156406766,"package_name":"litellm","ecosystem":"pypi","requirements":"1.69.0","direct":false,"kind":"runtime","optional":false},{"id":23156406767,"package_name":"llguidance","ecosystem":"pypi","requirements":"0.7.19","direct":false,"kind":"runtime","optional":false},{"id":23156406768,"package_name":"llm4verification","ecosystem":"pypi","requirements":"0.1.0","direct":false,"kind":"runtime","optional":false},{"id":23156406769,"package_name":"llvmlite","ecosystem":"pypi","requirements":"0.44.0","direct":false,"kind":"runtime","optional":false},{"id":23156406770,"package_name":"lm-format-enforcer","ecosystem":"pypi","requirements":"0.10.11","direct":false,"kind":"runtime","optional":false},{"id":23156406771,"package_name":"loguru","ecosystem":"pypi","requirements":"0.7.3","direct":false,"kind":"runtime","optional":false},{"id":23156406772,"package_name":"magicattr","ecosystem":"pypi","requirements":"0.1.6","direct":false,"kind":"runtime","optional":false},{"id":23156408255,"package_name":"mako","ecosystem":"pypi","requirements":"1.3.10","direct":false,"kind":"runtime","optional":false},{"id":23156408256,"package_name":"markdown","ecosystem":"pypi","requirements":"3.8","direct":false,"kind":"runtime","optional":false},{"id":23156408257,"package_name":"markdown-it-py","ecosystem":"pypi","requirements":"3.0.0","direct":false,"kind":"runtime","optional":false},{"id":23156408258,"package_name":"markupsafe","ecosystem":"pypi","requirements":"3.0.2","direct":false,"kind":"runtime","optional":false},{"id":23156408259,"package_name":"matplotlib","ecosystem":"pypi","requirements":"3.10.3","direct":false,"kind":"runtime","optional":false},{"id":23156408260,"package_name":"matplotlib-inline","ecosystem":"pypi","requirements":"0.1.7","direct":false,"kind":"runtime","optional":false},{"id":23156408261,"package_name":"mdurl","ecosystem":"pypi","requirements":"0.1.2","direct":false,"kind":"runtime","optional":false},{"id":23156408262,"package_name":"mistral-common","ecosystem":"pypi","requirements":"1.5.4","direct":false,"kind":"runtime","optional":false},{"id":23156408263,"package_name":"mpmath","ecosystem":"pypi","requirements":"1.3.0","direct":false,"kind":"runtime","optional":false},{"id":23156408264,"package_name":"msgpack","ecosystem":"pypi","requirements":"1.1.0","direct":false,"kind":"runtime","optional":false},{"id":23156408265,"package_name":"msgspec","ecosystem":"pypi","requirements":"0.19.0","direct":false,"kind":"runtime","optional":false},{"id":23156408266,"package_name":"multidict","ecosystem":"pypi","requirements":"6.4.3","direct":false,"kind":"runtime","optional":false},{"id":23156408267,"package_name":"multiprocess","ecosystem":"pypi","requirements":"0.70.16","direct":false,"kind":"runtime","optional":false},{"id":23156408268,"package_name":"nanobind","ecosystem":"pypi","requirements":"2.7.0","direct":false,"kind":"runtime","optional":false},{"id":23156408321,"package_name":"nest-asyncio","ecosystem":"pypi","requirements":"1.6.0","direct":false,"kind":"runtime","optional":false},{"id":23156408322,"package_name":"networkx","ecosystem":"pypi","requirements":"3.4.2","direct":false,"kind":"runtime","optional":false},{"id":23156408323,"package_name":"ninja","ecosystem":"pypi","requirements":"1.11.1.4","direct":false,"kind":"runtime","optional":false},{"id":23156408324,"package_name":"nodeenv","ecosystem":"pypi","requirements":"1.9.1","direct":false,"kind":"runtime","optional":false},{"id":23156408325,"package_name":"numba","ecosystem":"pypi","requirements":"0.61.0","direct":false,"kind":"runtime","optional":false},{"id":23156408326,"package_name":"numpy","ecosystem":"pypi","requirements":"2.1.3","direct":false,"kind":"runtime","optional":false},{"id":23156408327,"package_name":"nvidia-cublas-cu12","ecosystem":"pypi","requirements":"12.4.5.8","direct":false,"kind":"runtime","optional":false},{"id":23156408328,"package_name":"nvidia-cuda-cupti-cu12","ecosystem":"pypi","requirements":"12.4.127","direct":false,"kind":"runtime","optional":false},{"id":23156408329,"package_name":"nvidia-cuda-nvrtc-cu12","ecosystem":"pypi","requirements":"12.4.127","direct":false,"kind":"runtime","optional":false},{"id":23156408330,"package_name":"nvidia-cuda-runtime-cu12","ecosystem":"pypi","requirements":"12.4.127","direct":false,"kind":"runtime","optional":false},{"id":23156408331,"package_name":"nvidia-cudnn-cu12","ecosystem":"pypi","requirements":"9.1.0.70","direct":false,"kind":"runtime","optional":false},{"id":23156408332,"package_name":"nvidia-cufft-cu12","ecosystem":"pypi","requirements":"11.2.1.3","direct":false,"kind":"runtime","optional":false},{"id":23156408333,"package_name":"nvidia-curand-cu12","ecosystem":"pypi","requirements":"10.3.5.147","direct":false,"kind":"runtime","optional":false},{"id":23156408334,"package_name":"nvidia-cusolver-cu12","ecosystem":"pypi","requirements":"11.6.1.9","direct":false,"kind":"runtime","optional":false},{"id":23156408335,"package_name":"nvidia-cusparse-cu12","ecosystem":"pypi","requirements":"12.3.1.170","direct":false,"kind":"runtime","optional":false},{"id":23156408336,"package_name":"nvidia-cusparselt-cu12","ecosystem":"pypi","requirements":"0.6.2","direct":false,"kind":"runtime","optional":false},{"id":23156408337,"package_name":"nvidia-nccl-cu12","ecosystem":"pypi","requirements":"2.21.5","direct":false,"kind":"runtime","optional":false},{"id":23156408338,"package_name":"nvidia-nvjitlink-cu12","ecosystem":"pypi","requirements":"12.4.127","direct":false,"kind":"runtime","optional":false},{"id":23156408339,"package_name":"nvidia-nvtx-cu12","ecosystem":"pypi","requirements":"12.4.127","direct":false,"kind":"runtime","optional":false},{"id":23156408340,"package_name":"oauthlib","ecosystem":"pypi","requirements":"3.2.2","direct":false,"kind":"runtime","optional":false},{"id":23156408341,"package_name":"openai","ecosystem":"pypi","requirements":"1.75.0","direct":false,"kind":"runtime","optional":false},{"id":23156408342,"package_name":"opencv-python-headless","ecosystem":"pypi","requirements":"4.11.0.86","direct":false,"kind":"runtime","optional":false},{"id":23156408343,"package_name":"opentelemetry-api","ecosystem":"pypi","requirements":"1.33.0","direct":false,"kind":"runtime","optional":false},{"id":23156408344,"package_name":"optuna","ecosystem":"pypi","requirements":"4.3.0","direct":false,"kind":"runtime","optional":false},{"id":23156408345,"package_name":"orjson","ecosystem":"pypi","requirements":"3.10.18","direct":false,"kind":"runtime","optional":false},{"id":23156408346,"package_name":"outlines","ecosystem":"pypi","requirements":"0.1.11","direct":false,"kind":"runtime","optional":false},{"id":23156408347,"package_name":"outlines-core","ecosystem":"pypi","requirements":"0.1.26","direct":false,"kind":"runtime","optional":false},{"id":23156408348,"package_name":"packaging","ecosystem":"pypi","requirements":"24.2","direct":false,"kind":"runtime","optional":false},{"id":23156408349,"package_name":"pandas","ecosystem":"pypi","requirements":"2.2.3","direct":false,"kind":"runtime","optional":false},{"id":23156408350,"package_name":"parso","ecosystem":"pypi","requirements":"0.8.4","direct":false,"kind":"runtime","optional":false},{"id":23156408351,"package_name":"partial-json-parser","ecosystem":"pypi","requirements":"0.2.1.1.post5","direct":false,"kind":"runtime","optional":false},{"id":23156408352,"package_name":"pathspec","ecosystem":"pypi","requirements":"0.12.1","direct":false,"kind":"runtime","optional":false},{"id":23156408353,"package_name":"pendulum","ecosystem":"pypi","requirements":"3.1.0","direct":false,"kind":"runtime","optional":false},{"id":23156408354,"package_name":"pexpect","ecosystem":"pypi","requirements":"4.9.0","direct":false,"kind":"runtime","optional":false},{"id":23156408355,"package_name":"pillow","ecosystem":"pypi","requirements":"11.2.1","direct":false,"kind":"runtime","optional":false},{"id":23156408356,"package_name":"platformdirs","ecosystem":"pypi","requirements":"4.3.8","direct":false,"kind":"runtime","optional":false},{"id":23156408357,"package_name":"pre-commit","ecosystem":"pypi","requirements":"4.2.0","direct":false,"kind":"runtime","optional":false},{"id":23156408358,"package_name":"prefect","ecosystem":"pypi","requirements":"3.4.1","direct":false,"kind":"runtime","optional":false},{"id":23156408359,"package_name":"prometheus-client","ecosystem":"pypi","requirements":"0.21.1","direct":false,"kind":"runtime","optional":false},{"id":23156408360,"package_name":"prometheus-fastapi-instrumentator","ecosystem":"pypi","requirements":"7.1.0","direct":false,"kind":"runtime","optional":false},{"id":23156408361,"package_name":"prompt-toolkit","ecosystem":"pypi","requirements":"3.0.51","direct":false,"kind":"runtime","optional":false},{"id":23156408362,"package_name":"propcache","ecosystem":"pypi","requirements":"0.3.1","direct":false,"kind":"runtime","optional":false},{"id":23156408363,"package_name":"proto-plus","ecosystem":"pypi","requirements":"1.26.1","direct":false,"kind":"runtime","optional":false},{"id":23156408364,"package_name":"protobuf","ecosystem":"pypi","requirements":"5.29.4","direct":false,"kind":"runtime","optional":false},{"id":23156408365,"package_name":"psutil","ecosystem":"pypi","requirements":"7.0.0","direct":false,"kind":"runtime","optional":false},{"id":23156408366,"package_name":"ptyprocess","ecosystem":"pypi","requirements":"0.7.0","direct":false,"kind":"runtime","optional":false},{"id":23156408367,"package_name":"pure-eval","ecosystem":"pypi","requirements":"0.2.3","direct":false,"kind":"runtime","optional":false},{"id":23156408368,"package_name":"py-cpuinfo","ecosystem":"pypi","requirements":"9.0.0","direct":false,"kind":"runtime","optional":false},{"id":23156408369,"package_name":"pyarrow","ecosystem":"pypi","requirements":"20.0.0","direct":false,"kind":"runtime","optional":false},{"id":23156408370,"package_name":"pyasn1","ecosystem":"pypi","requirements":"0.6.1","direct":false,"kind":"runtime","optional":false},{"id":23156408371,"package_name":"pyasn1-modules","ecosystem":"pypi","requirements":"0.4.2","direct":false,"kind":"runtime","optional":false},{"id":23156408372,"package_name":"pycountry","ecosystem":"pypi","requirements":"24.6.1","direct":false,"kind":"runtime","optional":false},{"id":23156408373,"package_name":"pycparser","ecosystem":"pypi","requirements":"2.22","direct":false,"kind":"runtime","optional":false},{"id":23156408374,"package_name":"pydantic","ecosystem":"pypi","requirements":"2.11.4","direct":false,"kind":"runtime","optional":false},{"id":23156408375,"package_name":"pydantic-core","ecosystem":"pypi","requirements":"2.33.2","direct":false,"kind":"runtime","optional":false},{"id":23156408376,"package_name":"pydantic-extra-types","ecosystem":"pypi","requirements":"2.10.4","direct":false,"kind":"runtime","optional":false},{"id":23156408450,"package_name":"pydantic-settings","ecosystem":"pypi","requirements":"2.9.1","direct":false,"kind":"runtime","optional":false},{"id":23156408451,"package_name":"pygments","ecosystem":"pypi","requirements":"2.19.1","direct":false,"kind":"runtime","optional":false},{"id":23156408452,"package_name":"pyparsing","ecosystem":"pypi","requirements":"3.2.3","direct":false,"kind":"runtime","optional":false},{"id":23156408453,"package_name":"python-dateutil","ecosystem":"pypi","requirements":"2.9.0.post0","direct":false,"kind":"runtime","optional":false},{"id":23156408454,"package_name":"python-dotenv","ecosystem":"pypi","requirements":"1.1.0","direct":false,"kind":"runtime","optional":false},{"id":23156408455,"package_name":"python-json-logger","ecosystem":"pypi","requirements":"3.3.0","direct":false,"kind":"runtime","optional":false},{"id":23156408456,"package_name":"python-multipart","ecosystem":"pypi","requirements":"0.0.20","direct":false,"kind":"runtime","optional":false},{"id":23156408457,"package_name":"python-slugify","ecosystem":"pypi","requirements":"8.0.4","direct":false,"kind":"runtime","optional":false},{"id":23156408458,"package_name":"python-socks","ecosystem":"pypi","requirements":"2.7.1","direct":false,"kind":"runtime","optional":false},{"id":23156408459,"package_name":"pytz","ecosystem":"pypi","requirements":"2025.2","direct":false,"kind":"runtime","optional":false},{"id":23156408460,"package_name":"pywin32","ecosystem":"pypi","requirements":"310","direct":false,"kind":"runtime","optional":false},{"id":23156408461,"package_name":"pyyaml","ecosystem":"pypi","requirements":"6.0.2","direct":false,"kind":"runtime","optional":false},{"id":23156408462,"package_name":"pyzmq","ecosystem":"pypi","requirements":"26.4.0","direct":false,"kind":"runtime","optional":false},{"id":23156408463,"package_name":"ray","ecosystem":"pypi","requirements":"2.46.0","direct":false,"kind":"runtime","optional":false},{"id":23156408464,"package_name":"readchar","ecosystem":"pypi","requirements":"4.2.1","direct":false,"kind":"runtime","optional":false},{"id":23156408467,"package_name":"referencing","ecosystem":"pypi","requirements":"0.36.2","direct":false,"kind":"runtime","optional":false},{"id":23156408468,"package_name":"regex","ecosystem":"pypi","requirements":"2024.11.6","direct":false,"kind":"runtime","optional":false},{"id":23156408469,"package_name":"requests","ecosystem":"pypi","requirements":"2.32.3","direct":false,"kind":"runtime","optional":false},{"id":23156408470,"package_name":"requests-oauthlib","ecosystem":"pypi","requirements":"2.0.0","direct":false,"kind":"runtime","optional":false},{"id":23156408471,"package_name":"rfc3339-validator","ecosystem":"pypi","requirements":"0.1.4","direct":false,"kind":"runtime","optional":false},{"id":23156408472,"package_name":"rich","ecosystem":"pypi","requirements":"14.0.0","direct":false,"kind":"runtime","optional":false},{"id":23156408473,"package_name":"rich-toolkit","ecosystem":"pypi","requirements":"0.14.5","direct":false,"kind":"runtime","optional":false},{"id":23156408474,"package_name":"rpds-py","ecosystem":"pypi","requirements":"0.24.0","direct":false,"kind":"runtime","optional":false},{"id":23156408475,"package_name":"rsa","ecosystem":"pypi","requirements":"4.9.1","direct":false,"kind":"runtime","optional":false},{"id":23156408476,"package_name":"ruamel-yaml","ecosystem":"pypi","requirements":"0.18.10","direct":false,"kind":"runtime","optional":false},{"id":23156408477,"package_name":"ruamel-yaml-clib","ecosystem":"pypi","requirements":"0.2.12","direct":false,"kind":"runtime","optional":false},{"id":23156408478,"package_name":"ruff","ecosystem":"pypi","requirements":"0.11.9","direct":false,"kind":"runtime","optional":false},{"id":23156408479,"package_name":"safetensors","ecosystem":"pypi","requirements":"0.5.3","direct":false,"kind":"runtime","optional":false},{"id":23156408480,"package_name":"scipy","ecosystem":"pypi","requirements":"1.15.3","direct":false,"kind":"runtime","optional":false},{"id":23156408481,"package_name":"seaborn","ecosystem":"pypi","requirements":"0.13.2","direct":false,"kind":"runtime","optional":false},{"id":23156408482,"package_name":"sentencepiece","ecosystem":"pypi","requirements":"0.2.0","direct":false,"kind":"runtime","optional":false},{"id":23156408483,"package_name":"setuptools","ecosystem":"pypi","requirements":"80.4.0","direct":false,"kind":"runtime","optional":false},{"id":23156408484,"package_name":"shapely","ecosystem":"pypi","requirements":"2.1.0","direct":false,"kind":"runtime","optional":false},{"id":23156408485,"package_name":"shellingham","ecosystem":"pypi","requirements":"1.5.4","direct":false,"kind":"runtime","optional":false},{"id":23156408486,"package_name":"six","ecosystem":"pypi","requirements":"1.17.0","direct":false,"kind":"runtime","optional":false},{"id":23156408487,"package_name":"sniffio","ecosystem":"pypi","requirements":"1.3.1","direct":false,"kind":"runtime","optional":false},{"id":23156408488,"package_name":"sqlalchemy","ecosystem":"pypi","requirements":"2.0.40","direct":false,"kind":"runtime","optional":false},{"id":23156408489,"package_name":"stack-data","ecosystem":"pypi","requirements":"0.6.3","direct":false,"kind":"runtime","optional":false},{"id":23156408490,"package_name":"starlette","ecosystem":"pypi","requirements":"0.46.2","direct":false,"kind":"runtime","optional":false},{"id":23156408491,"package_name":"sympy","ecosystem":"pypi","requirements":"1.13.1","direct":false,"kind":"runtime","optional":false},{"id":23156408492,"package_name":"tenacity","ecosystem":"pypi","requirements":"9.1.2","direct":false,"kind":"runtime","optional":false},{"id":23156408493,"package_name":"text-unidecode","ecosystem":"pypi","requirements":"1.3","direct":false,"kind":"runtime","optional":false},{"id":23156408494,"package_name":"tiktoken","ecosystem":"pypi","requirements":"0.9.0","direct":false,"kind":"runtime","optional":false},{"id":23156408495,"package_name":"tokenizers","ecosystem":"pypi","requirements":"0.21.1","direct":false,"kind":"runtime","optional":false},{"id":23156408496,"package_name":"toml","ecosystem":"pypi","requirements":"0.10.2","direct":false,"kind":"runtime","optional":false},{"id":23156408497,"package_name":"torch","ecosystem":"pypi","requirements":"2.6.0","direct":false,"kind":"runtime","optional":false},{"id":23156408498,"package_name":"torchaudio","ecosystem":"pypi","requirements":"2.6.0","direct":false,"kind":"runtime","optional":false},{"id":23156408499,"package_name":"torchvision","ecosystem":"pypi","requirements":"0.21.0","direct":false,"kind":"runtime","optional":false},{"id":23156408500,"package_name":"tornado","ecosystem":"pypi","requirements":"6.4.2","direct":false,"kind":"runtime","optional":false},{"id":23156408501,"package_name":"tqdm","ecosystem":"pypi","requirements":"4.67.1","direct":false,"kind":"runtime","optional":false},{"id":23156408502,"package_name":"traitlets","ecosystem":"pypi","requirements":"5.14.3","direct":false,"kind":"runtime","optional":false},{"id":23156408503,"package_name":"transformers","ecosystem":"pypi","requirements":"4.51.3","direct":false,"kind":"runtime","optional":false},{"id":23156408504,"package_name":"triton","ecosystem":"pypi","requirements":"3.2.0","direct":false,"kind":"runtime","optional":false},{"id":23156408505,"package_name":"typer","ecosystem":"pypi","requirements":"0.15.3","direct":false,"kind":"runtime","optional":false},{"id":23156408506,"package_name":"typing-extensions","ecosystem":"pypi","requirements":"4.13.2","direct":false,"kind":"runtime","optional":false},{"id":23156408507,"package_name":"typing-inspection","ecosystem":"pypi","requirements":"0.4.0","direct":false,"kind":"runtime","optional":false},{"id":23156408508,"package_name":"tzdata","ecosystem":"pypi","requirements":"2025.2","direct":false,"kind":"runtime","optional":false},{"id":23156408509,"package_name":"tzlocal","ecosystem":"pypi","requirements":"5.3.1","direct":false,"kind":"runtime","optional":false},{"id":23156408510,"package_name":"ujson","ecosystem":"pypi","requirements":"5.10.0","direct":false,"kind":"runtime","optional":false},{"id":23156408511,"package_name":"urllib3","ecosystem":"pypi","requirements":"2.4.0","direct":false,"kind":"runtime","optional":false},{"id":23156408512,"package_name":"uuid7","ecosystem":"pypi","requirements":"0.1.0","direct":false,"kind":"runtime","optional":false},{"id":23156408573,"package_name":"uv","ecosystem":"pypi","requirements":"0.7.3","direct":false,"kind":"runtime","optional":false},{"id":23156408574,"package_name":"uvicorn","ecosystem":"pypi","requirements":"0.34.2","direct":false,"kind":"runtime","optional":false},{"id":23156408575,"package_name":"uvloop","ecosystem":"pypi","requirements":"0.21.0","direct":false,"kind":"runtime","optional":false},{"id":23156408576,"package_name":"virtualenv","ecosystem":"pypi","requirements":"20.31.2","direct":false,"kind":"runtime","optional":false},{"id":23156408577,"package_name":"vllm","ecosystem":"pypi","requirements":"0.8.3","direct":false,"kind":"runtime","optional":false},{"id":23156408578,"package_name":"watchfiles","ecosystem":"pypi","requirements":"1.0.5","direct":false,"kind":"runtime","optional":false},{"id":23156408579,"package_name":"wcwidth","ecosystem":"pypi","requirements":"0.2.13","direct":false,"kind":"runtime","optional":false},{"id":23156408580,"package_name":"websockets","ecosystem":"pypi","requirements":"15.0.1","direct":false,"kind":"runtime","optional":false},{"id":23156408581,"package_name":"whenever","ecosystem":"pypi","requirements":"0.8.0","direct":false,"kind":"runtime","optional":false},{"id":23156408595,"package_name":"win32-setctime","ecosystem":"pypi","requirements":"1.2.0","direct":false,"kind":"runtime","optional":false},{"id":23156408596,"package_name":"wrapt","ecosystem":"pypi","requirements":"1.17.2","direct":false,"kind":"runtime","optional":false},{"id":23156408597,"package_name":"xformers","ecosystem":"pypi","requirements":"0.0.29.post2","direct":false,"kind":"runtime","optional":false},{"id":23156408598,"package_name":"xgrammar","ecosystem":"pypi","requirements":"0.1.17","direct":false,"kind":"runtime","optional":false},{"id":23156408599,"package_name":"xxhash","ecosystem":"pypi","requirements":"3.5.0","direct":false,"kind":"runtime","optional":false},{"id":23156408600,"package_name":"yarl","ecosystem":"pypi","requirements":"1.20.0","direct":false,"kind":"runtime","optional":false},{"id":23156408601,"package_name":"zipp","ecosystem":"pypi","requirements":"3.21.0","direct":false,"kind":"runtime","optional":false}]}],"score":null,"created_at":"2025-09-04T15:51:07.917Z","updated_at":"2025-10-07T08:14:26.499Z","avatar_url":"https://github.com/sunblaze-ucb.png","language":"Lean","category":null,"sub_category":null,"monthly_downloads":0,"funding_links":[],"readme_doi_urls":[],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":[],"project_url":"https://science.ecosyste.ms/api/v1/projects/34525","html_url":"https://science.ecosyste.ms/projects/34525","bibtex_url":"https://science.ecosyste.ms/projects/34525/export.bibtex","apalike_url":"https://science.ecosyste.ms/projects/34525/export.apalike"}