{"id":24495,"name":"kestrel","description":"Find alignments for relational program properties using e-graphs.","url":"https://github.com/rcdickerson/kestrel","last_synced_at":"2025-09-05T02:23:20.970Z","repository":{"id":229693097,"uuid":"615057735","full_name":"rcdickerson/kestrel","owner":"rcdickerson","description":"Find alignments for relational program properties using e-graphs.","archived":false,"fork":false,"pushed_at":"2025-07-03T18:01:53.000Z","size":1934,"stargazers_count":2,"open_issues_count":0,"forks_count":0,"subscribers_count":3,"default_branch":"main","last_synced_at":"2025-07-03T18:50:17.002Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"Rust","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/rcdickerson.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":"2023-03-16T21:39:11.000Z","updated_at":"2025-02-28T06:18:49.000Z","dependencies_parsed_at":"2024-03-27T22:30:19.459Z","dependency_job_id":"a7bf6d7a-381b-44c9-90cf-5543eb352ff6","html_url":"https://github.com/rcdickerson/kestrel","commit_stats":null,"previous_names":["rcdickerson/kestrel"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/rcdickerson/kestrel","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rcdickerson%2Fkestrel","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rcdickerson%2Fkestrel/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rcdickerson%2Fkestrel/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rcdickerson%2Fkestrel/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/rcdickerson","download_url":"https://codeload.github.com/rcdickerson/kestrel/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rcdickerson%2Fkestrel/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273699936,"owners_count":25152335,"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":"rcdickerson","name":"Rob Dickerson","uuid":"63143","kind":"user","description":"PhD student at Purdue University studying programming languages, program verification and synthesis. Previously Square and elsewhere.","email":"","website":"https://robd.io","location":null,"twitter":null,"company":"Purdue University","icon_url":"https://avatars.githubusercontent.com/u/63143?u=01353b1d52ba2eccd475508507fe123daf573cef\u0026v=4","repositories_count":16,"last_synced_at":"2024-04-24T02:53:39.658Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/rcdickerson","funding_links":[],"total_stars":10,"followers":20,"following":6,"created_at":"2022-11-02T20:52:19.427Z","updated_at":"2024-04-24T02:53:41.766Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/rcdickerson","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/rcdickerson/repositories"},"packages":[],"commits":{"message":"Repository syncing started."},"issues_stats":{"full_name":"rcdickerson/kestrel","html_url":"https://github.com/rcdickerson/kestrel","last_synced_at":"2024-04-24T02:25:42.836Z","status":null,"issues_count":0,"pull_requests_count":1,"avg_time_to_close_issue":null,"avg_time_to_close_pull_request":25.0,"issues_closed_count":0,"pull_requests_closed_count":1,"pull_request_authors_count":1,"issue_authors_count":0,"avg_comments_per_issue":null,"avg_comments_per_pull_request":0.0,"merged_pull_requests_count":1,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":0,"past_year_pull_requests_count":1,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":25.0,"past_year_issues_closed_count":0,"past_year_pull_requests_closed_count":1,"past_year_pull_request_authors_count":1,"past_year_issue_authors_count":0,"past_year_avg_comments_per_issue":null,"past_year_avg_comments_per_pull_request":0.0,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":1,"created_at":"2024-04-24T02:25:41.654Z","updated_at":"2024-04-24T02:25:42.836Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/rcdickerson%2Fkestrel","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/rcdickerson%2Fkestrel/issues","issue_labels_count":{},"pull_request_labels_count":{},"issue_author_associations_count":{},"pull_request_author_associations_count":{"OWNER":1},"issue_authors":{},"pull_request_authors":{"rcdickerson":1},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-05T00:00:10.444Z","repositories_count":10083786,"issues_count":31255175,"pull_requests_count":96225651,"authors_count":10694618,"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":{},"past_year_pull_request_author_associations_count":{},"past_year_issue_authors":{},"past_year_pull_request_authors":{},"maintainers":[{"login":"rcdickerson","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/rcdickerson"}],"active_maintainers":[]},"events":{"total":{"PushEvent":94,"CreateEvent":2},"last_year":{"PushEvent":94,"CreateEvent":2}},"keywords":[],"dependencies":[{"ecosystem":"cargo","filepath":"Cargo.lock","sha":null,"kind":"lockfile","created_at":"2024-03-27T22:30:14.731Z","updated_at":"2024-03-27T22:30:14.731Z","repository_link":"https://github.com/rcdickerson/kestrel/blob/main/Cargo.lock","dependencies":[{"id":17080525438,"package_name":"ahash","ecosystem":"cargo","requirements":"0.7.6","direct":false,"kind":"runtime","optional":false},{"id":17080525439,"package_name":"aho-corasick","ecosystem":"cargo","requirements":"1.1.2","direct":false,"kind":"runtime","optional":false},{"id":17080525440,"package_name":"anstream","ecosystem":"cargo","requirements":"0.2.6","direct":false,"kind":"runtime","optional":false},{"id":17080525441,"package_name":"anstyle","ecosystem":"cargo","requirements":"0.3.5","direct":false,"kind":"runtime","optional":false},{"id":17080525442,"package_name":"anstyle-parse","ecosystem":"cargo","requirements":"0.1.1","direct":false,"kind":"runtime","optional":false},{"id":17080525443,"package_name":"anstyle-wincon","ecosystem":"cargo","requirements":"0.2.0","direct":false,"kind":"runtime","optional":false},{"id":17080525444,"package_name":"autocfg","ecosystem":"cargo","requirements":"1.1.0","direct":false,"kind":"runtime","optional":false},{"id":17080525445,"package_name":"bitflags","ecosystem":"cargo","requirements":"1.3.2","direct":false,"kind":"runtime","optional":false},{"id":17080525446,"package_name":"byteorder","ecosystem":"cargo","requirements":"1.4.3","direct":false,"kind":"runtime","optional":false},{"id":17080525447,"package_name":"cc","ecosystem":"cargo","requirements":"1.0.79","direct":false,"kind":"runtime","optional":false},{"id":17080525448,"package_name":"cfg-if","ecosystem":"cargo","requirements":"1.0.0","direct":false,"kind":"runtime","optional":false},{"id":17080525449,"package_name":"clap","ecosystem":"cargo","requirements":"4.2.1","direct":false,"kind":"runtime","optional":false},{"id":17080525450,"package_name":"clap_builder","ecosystem":"cargo","requirements":"4.2.1","direct":false,"kind":"runtime","optional":false},{"id":17080525451,"package_name":"clap_derive","ecosystem":"cargo","requirements":"4.2.0","direct":false,"kind":"runtime","optional":false},{"id":17080525452,"package_name":"clap_lex","ecosystem":"cargo","requirements":"0.4.1","direct":false,"kind":"runtime","optional":false},{"id":17080525453,"package_name":"coin_cbc","ecosystem":"cargo","requirements":"0.1.7","direct":false,"kind":"runtime","optional":false},{"id":17080525459,"package_name":"coin_cbc_sys","ecosystem":"cargo","requirements":"0.1.2","direct":false,"kind":"runtime","optional":false},{"id":17080525460,"package_name":"concolor-override","ecosystem":"cargo","requirements":"1.0.0","direct":false,"kind":"runtime","optional":false},{"id":17080525461,"package_name":"concolor-query","ecosystem":"cargo","requirements":"0.3.3","direct":false,"kind":"runtime","optional":false},{"id":17080526135,"package_name":"egg","ecosystem":"cargo","requirements":"0.9.3","direct":false,"kind":"runtime","optional":false},{"id":17080527279,"package_name":"either","ecosystem":"cargo","requirements":"1.9.0","direct":false,"kind":"runtime","optional":false},{"id":17080527280,"package_name":"env_logger","ecosystem":"cargo","requirements":"0.9.3","direct":false,"kind":"runtime","optional":false},{"id":17080527281,"package_name":"errno","ecosystem":"cargo","requirements":"0.2.8","direct":false,"kind":"runtime","optional":false},{"id":17080527282,"package_name":"errno-dragonfly","ecosystem":"cargo","requirements":"0.1.2","direct":false,"kind":"runtime","optional":false},{"id":17080527283,"package_name":"fxhash","ecosystem":"cargo","requirements":"0.2.1","direct":false,"kind":"runtime","optional":false},{"id":17080527284,"package_name":"getrandom","ecosystem":"cargo","requirements":"0.2.8","direct":false,"kind":"runtime","optional":false},{"id":17080527285,"package_name":"hashbrown","ecosystem":"cargo","requirements":"0.12.3","direct":false,"kind":"runtime","optional":false},{"id":17080527286,"package_name":"heck","ecosystem":"cargo","requirements":"0.4.1","direct":false,"kind":"runtime","optional":false},{"id":17080527287,"package_name":"hermit-abi","ecosystem":"cargo","requirements":"0.3.1","direct":false,"kind":"runtime","optional":false},{"id":17080527288,"package_name":"indexmap","ecosystem":"cargo","requirements":"1.9.2","direct":false,"kind":"runtime","optional":false},{"id":17080527289,"package_name":"instant","ecosystem":"cargo","requirements":"0.1.12","direct":false,"kind":"runtime","optional":false},{"id":17080527290,"package_name":"io-lifetimes","ecosystem":"cargo","requirements":"1.0.6","direct":false,"kind":"runtime","optional":false},{"id":17080527291,"package_name":"is-terminal","ecosystem":"cargo","requirements":"0.4.4","direct":false,"kind":"runtime","optional":false},{"id":17080527292,"package_name":"lang-c","ecosystem":"cargo","requirements":"0.15.0","direct":false,"kind":"runtime","optional":false},{"id":17080527298,"package_name":"lazy_static","ecosystem":"cargo","requirements":"1.4.0","direct":false,"kind":"runtime","optional":false},{"id":17080527299,"package_name":"libc","ecosystem":"cargo","requirements":"0.2.140","direct":false,"kind":"runtime","optional":false},{"id":17080527300,"package_name":"linux-raw-sys","ecosystem":"cargo","requirements":"0.1.4","direct":false,"kind":"runtime","optional":false},{"id":17080527301,"package_name":"log","ecosystem":"cargo","requirements":"0.4.17","direct":false,"kind":"runtime","optional":false},{"id":17080527302,"package_name":"memchr","ecosystem":"cargo","requirements":"2.7.1","direct":false,"kind":"runtime","optional":false},{"id":17080527303,"package_name":"minimal-lexical","ecosystem":"cargo","requirements":"0.2.1","direct":false,"kind":"runtime","optional":false},{"id":17080527304,"package_name":"nom","ecosystem":"cargo","requirements":"7.1.3","direct":false,"kind":"runtime","optional":false},{"id":17080527305,"package_name":"once_cell","ecosystem":"cargo","requirements":"1.17.1","direct":false,"kind":"runtime","optional":false},{"id":17080527306,"package_name":"pkg-config","ecosystem":"cargo","requirements":"0.3.26","direct":false,"kind":"runtime","optional":false},{"id":17080527307,"package_name":"ppv-lite86","ecosystem":"cargo","requirements":"0.2.17","direct":false,"kind":"runtime","optional":false},{"id":17080527308,"package_name":"proc-macro2","ecosystem":"cargo","requirements":"1.0.56","direct":false,"kind":"runtime","optional":false},{"id":17080527309,"package_name":"quote","ecosystem":"cargo","requirements":"1.0.26","direct":false,"kind":"runtime","optional":false},{"id":17080527310,"package_name":"rand","ecosystem":"cargo","requirements":"0.8.5","direct":false,"kind":"runtime","optional":false},{"id":17080527311,"package_name":"rand_chacha","ecosystem":"cargo","requirements":"0.3.1","direct":false,"kind":"runtime","optional":false},{"id":17080527312,"package_name":"rand_core","ecosystem":"cargo","requirements":"0.6.4","direct":false,"kind":"runtime","optional":false},{"id":17080527313,"package_name":"regex","ecosystem":"cargo","requirements":"1.10.3","direct":false,"kind":"runtime","optional":false},{"id":17080527314,"package_name":"regex-automata","ecosystem":"cargo","requirements":"0.4.6","direct":false,"kind":"runtime","optional":false},{"id":17080527315,"package_name":"regex-syntax","ecosystem":"cargo","requirements":"0.8.2","direct":false,"kind":"runtime","optional":false},{"id":17080527316,"package_name":"rustix","ecosystem":"cargo","requirements":"0.36.9","direct":false,"kind":"runtime","optional":false},{"id":17080527317,"package_name":"sexp","ecosystem":"cargo","requirements":"1.1.4","direct":false,"kind":"runtime","optional":false},{"id":17080527318,"package_name":"smallvec","ecosystem":"cargo","requirements":"1.10.0","direct":false,"kind":"runtime","optional":false},{"id":17080527319,"package_name":"strsim","ecosystem":"cargo","requirements":"0.10.0","direct":false,"kind":"runtime","optional":false},{"id":17080527320,"package_name":"symbol_table","ecosystem":"cargo","requirements":"0.2.0","direct":false,"kind":"runtime","optional":false},{"id":17080527321,"package_name":"symbolic_expressions","ecosystem":"cargo","requirements":"5.0.3","direct":false,"kind":"runtime","optional":false},{"id":17080527322,"package_name":"syn","ecosystem":"cargo","requirements":"1.0.109","direct":false,"kind":"runtime","optional":false},{"id":17080527323,"package_name":"syn","ecosystem":"cargo","requirements":"2.0.13","direct":false,"kind":"runtime","optional":false},{"id":17080527324,"package_name":"thiserror","ecosystem":"cargo","requirements":"1.0.39","direct":false,"kind":"runtime","optional":false},{"id":17080527325,"package_name":"thiserror-impl","ecosystem":"cargo","requirements":"1.0.39","direct":false,"kind":"runtime","optional":false},{"id":17080527326,"package_name":"unicode-ident","ecosystem":"cargo","requirements":"1.0.8","direct":false,"kind":"runtime","optional":false},{"id":17080527327,"package_name":"utf8parse","ecosystem":"cargo","requirements":"0.2.1","direct":false,"kind":"runtime","optional":false},{"id":17080527328,"package_name":"version_check","ecosystem":"cargo","requirements":"0.9.4","direct":false,"kind":"runtime","optional":false},{"id":17080527329,"package_name":"wasi","ecosystem":"cargo","requirements":"0.11.0+wasi-snapshot-preview1","direct":false,"kind":"runtime","optional":false},{"id":17080527330,"package_name":"winapi","ecosystem":"cargo","requirements":"0.3.9","direct":false,"kind":"runtime","optional":false},{"id":17080527331,"package_name":"winapi-i686-pc-windows-gnu","ecosystem":"cargo","requirements":"0.4.0","direct":false,"kind":"runtime","optional":false},{"id":17080527332,"package_name":"winapi-x86_64-pc-windows-gnu","ecosystem":"cargo","requirements":"0.4.0","direct":false,"kind":"runtime","optional":false},{"id":17080527333,"package_name":"windows-sys","ecosystem":"cargo","requirements":"0.45.0","direct":false,"kind":"runtime","optional":false},{"id":17080527334,"package_name":"windows-targets","ecosystem":"cargo","requirements":"0.42.2","direct":false,"kind":"runtime","optional":false},{"id":17080527335,"package_name":"windows_aarch64_gnullvm","ecosystem":"cargo","requirements":"0.42.2","direct":false,"kind":"runtime","optional":false},{"id":17080527336,"package_name":"windows_aarch64_msvc","ecosystem":"cargo","requirements":"0.42.2","direct":false,"kind":"runtime","optional":false},{"id":17080527337,"package_name":"windows_i686_gnu","ecosystem":"cargo","requirements":"0.42.2","direct":false,"kind":"runtime","optional":false},{"id":17080527338,"package_name":"windows_i686_msvc","ecosystem":"cargo","requirements":"0.42.2","direct":false,"kind":"runtime","optional":false},{"id":17080527339,"package_name":"windows_x86_64_gnu","ecosystem":"cargo","requirements":"0.42.2","direct":false,"kind":"runtime","optional":false},{"id":17080527340,"package_name":"windows_x86_64_gnullvm","ecosystem":"cargo","requirements":"0.42.2","direct":false,"kind":"runtime","optional":false},{"id":17080527341,"package_name":"windows_x86_64_msvc","ecosystem":"cargo","requirements":"0.42.2","direct":false,"kind":"runtime","optional":false}]},{"ecosystem":"cargo","filepath":"Cargo.toml","sha":null,"kind":"manifest","created_at":"2024-03-27T22:30:18.275Z","updated_at":"2024-03-27T22:30:18.275Z","repository_link":"https://github.com/rcdickerson/kestrel/blob/main/Cargo.toml","dependencies":[]},{"ecosystem":"docker","filepath":"Dockerfile","sha":null,"kind":"manifest","created_at":"2024-03-27T22:30:19.331Z","updated_at":"2024-03-27T22:30:19.331Z","repository_link":"https://github.com/rcdickerson/kestrel/blob/main/Dockerfile","dependencies":[{"id":17080527344,"package_name":"ubuntu","ecosystem":"docker","requirements":"focal","direct":true,"kind":"build","optional":false}]}],"score":null,"created_at":"2025-09-04T15:50:56.344Z","updated_at":"2025-10-07T08:11:17.472Z","avatar_url":"https://github.com/rcdickerson.png","language":"Rust","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/24495","html_url":"https://science.ecosyste.ms/projects/24495","bibtex_url":"https://science.ecosyste.ms/projects/24495/export.bibtex","apalike_url":"https://science.ecosyste.ms/projects/24495/export.apalike"}