{"id":15473507,"url":"https://github.com/fidget-spinner/auto-abst-dsl","last_synced_at":"2026-01-24T00:58:09.574Z","repository":{"id":248145722,"uuid":"824239953","full_name":"Fidget-Spinner/auto-abst-dsl","owner":"Fidget-Spinner","description":"Automatically Generating an Abstract Interpretation-based Optimizer from a DSL Artifacts","archived":false,"fork":false,"pushed_at":"2024-10-13T17:15:31.000Z","size":3145,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-05-07T21:06:38.296Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/Fidget-Spinner.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2024-07-04T16:54:31.000Z","updated_at":"2024-10-13T17:15:36.000Z","dependencies_parsed_at":"2024-07-12T18:03:29.793Z","dependency_job_id":"4f5d1c11-36d7-4be9-86c0-74b188343764","html_url":"https://github.com/Fidget-Spinner/auto-abst-dsl","commit_stats":{"total_commits":8,"total_committers":2,"mean_commits":4.0,"dds":0.5,"last_synced_commit":"6e70c56d5c3c3f455c06d565d6399ab103fc4bcc"},"previous_names":["fidget-spinner/auto-abst-dsl"],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Fidget-Spinner%2Fauto-abst-dsl","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Fidget-Spinner%2Fauto-abst-dsl/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Fidget-Spinner%2Fauto-abst-dsl/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Fidget-Spinner%2Fauto-abst-dsl/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Fidget-Spinner","download_url":"https://codeload.github.com/Fidget-Spinner/auto-abst-dsl/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":252954429,"owners_count":21830904,"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","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"}},"keywords":[],"created_at":"2024-10-02T02:54:20.526Z","updated_at":"2026-01-24T00:58:09.533Z","avatar_url":"https://github.com/Fidget-Spinner.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Automatically Generating an Abstract Interpretation-based Optimizer from a DSL Artefacts\n## Artefacts\nBenchmark results are in folders starting with `bm`.\nThey are courtesy of the Faster CPython (Microsoft) team's benchmarking infrastructure.\nSpecifications can be found [here](https://github.com/faster-cpython/benchmarking-public).\n\nThe script `generate_graph.py` and the corresponding `requirements.txt` is used to\ngenerate the bar graph for the performance results in the paper.\n\n`links.txt` points to the original benchmarking results links in the Faster CPython repo.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffidget-spinner%2Fauto-abst-dsl","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ffidget-spinner%2Fauto-abst-dsl","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffidget-spinner%2Fauto-abst-dsl/lists"}