{"id":16313755,"url":"https://github.com/jacquescarette/retrodictive","last_synced_at":"2026-02-26T10:35:17.405Z","repository":{"id":61692375,"uuid":"408920072","full_name":"JacquesCarette/Retrodictive","owner":"JacquesCarette","description":"For exploring Symbolic Evaluation of Quantum Circuits, forwards and BACKWARDS","archived":false,"fork":false,"pushed_at":"2023-06-10T11:20:02.000Z","size":52011,"stargazers_count":6,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"main","last_synced_at":"2025-10-30T18:43:14.308Z","etag":null,"topics":["partial-evaluators","quantum-computing","symbolic-execution"],"latest_commit_sha":null,"homepage":"","language":"TeX","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"bsd-3-clause","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/JacquesCarette.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","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":"2021-09-21T17:51:23.000Z","updated_at":"2024-01-12T18:22:53.000Z","dependencies_parsed_at":"2024-11-06T08:47:50.626Z","dependency_job_id":null,"html_url":"https://github.com/JacquesCarette/Retrodictive","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/JacquesCarette/Retrodictive","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JacquesCarette%2FRetrodictive","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JacquesCarette%2FRetrodictive/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JacquesCarette%2FRetrodictive/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JacquesCarette%2FRetrodictive/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/JacquesCarette","download_url":"https://codeload.github.com/JacquesCarette/Retrodictive/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JacquesCarette%2FRetrodictive/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29856737,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-26T08:51:08.701Z","status":"ssl_error","status_checked_at":"2026-02-26T08:50:19.607Z","response_time":89,"last_error":"SSL_read: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"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"}},"keywords":["partial-evaluators","quantum-computing","symbolic-execution"],"created_at":"2024-10-10T21:52:12.504Z","updated_at":"2026-02-26T10:35:17.386Z","avatar_url":"https://github.com/JacquesCarette.png","language":"TeX","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Retrodictive\nFor exploring symbolic evaluation of quantum circuits, both running forward and, more importantly, backwards.\n\nWe do *symbolic execution* of circuits that residualize symbolic constraints. The ideas are rooted\nin partial evaluation, even though that's not quite what the resulting code ends up doing.\n\nThis repository contains the paper and slide sources. The code is in a different repository, namely [RetroPECode](https://github.com/JacquesCarette/RetroPECode).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjacquescarette%2Fretrodictive","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fjacquescarette%2Fretrodictive","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjacquescarette%2Fretrodictive/lists"}