{"id":45596,"name":"hyppau","description":"Prototype tool for Hyper Pattern Matching with automata","url":"https://github.com/maswag/hyppau","last_synced_at":"2025-09-05T10:29:15.482Z","repository":{"id":304767263,"uuid":"911628491","full_name":"MasWag/hyppau","owner":"MasWag","description":"Prototype tool for Hyper Pattern Matching with automata","archived":false,"fork":false,"pushed_at":"2025-07-15T03:13:37.000Z","size":307,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-08-08T09:03:13.753Z","etag":null,"topics":["hyperproperty","runtime-verification"],"latest_commit_sha":null,"homepage":"","language":"Rust","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/MasWag.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-01-03T13:19:24.000Z","updated_at":"2025-07-15T03:19:21.000Z","dependencies_parsed_at":"2025-07-15T08:38:06.127Z","dependency_job_id":null,"html_url":"https://github.com/MasWag/hyppau","commit_stats":null,"previous_names":["maswag/hyppau"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/MasWag/hyppau","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MasWag%2Fhyppau","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MasWag%2Fhyppau/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MasWag%2Fhyppau/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MasWag%2Fhyppau/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/MasWag","download_url":"https://codeload.github.com/MasWag/hyppau/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MasWag%2Fhyppau/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273745227,"owners_count":25160405,"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":"MasWag","name":"Masaki Waga","uuid":"2862763","kind":"user","description":"","email":"","website":"http://www.fos.kuis.kyoto-u.ac.jp/~mwaga/","location":"Kyoto, Japan","twitter":null,"company":"Kyoto University","icon_url":"https://avatars.githubusercontent.com/u/2862763?v=4","repositories_count":26,"last_synced_at":"2023-04-03T17:19:45.518Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/MasWag","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2022-11-04T11:45:20.777Z","updated_at":"2023-04-03T17:19:46.882Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/MasWag","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/MasWag/repositories"},"packages":[],"commits":{"id":10728872,"full_name":"maswag/hyppau","default_branch":"master","committers":[{"name":"Masaki Waga","email":"masakiwaga@gmail.com","login":"MasWag","count":1}],"total_commits":1,"total_committers":1,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":1.0,"dds":0.0,"past_year_committers":[{"name":"Masaki Waga","email":"masakiwaga@gmail.com","login":"MasWag","count":1}],"past_year_total_commits":1,"past_year_total_committers":1,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":1.0,"past_year_dds":0.0,"last_synced_at":"2025-08-08T08:55:55.219Z","last_synced_commit":"fdfdd6979a7897630168ccda757403f09959b358","created_at":"2025-08-08T08:55:40.094Z","updated_at":"2025-08-08T08:55:55.219Z","commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/maswag%2Fhyppau/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-05T00:00:10.343Z","repositories_count":5480019,"commits_count":853389012,"contributors_count":31098138,"owners_count":906558,"icon_url":"https://github.com/github.png","host_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories"}},"issues_stats":{"full_name":"maswag/hyppau","html_url":"https://github.com/maswag/hyppau","last_synced_at":"2025-08-08T22:09:54.667Z","status":"error","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-08T08:55:50.680Z","updated_at":"2025-08-08T22:09:54.667Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/maswag%2Fhyppau","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/maswag%2Fhyppau/issues","issue_labels_count":{},"pull_request_labels_count":{},"issue_author_associations_count":{},"pull_request_author_associations_count":{},"issue_authors":{},"pull_request_authors":{},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-05T00:00:10.444Z","repositories_count":10097320,"issues_count":31426573,"pull_requests_count":97235070,"authors_count":10701179,"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":[],"active_maintainers":[]},"events":{"total":{"PublicEvent":1,"PushEvent":2},"last_year":{"PublicEvent":1,"PushEvent":2}},"keywords":["hyperproperty","runtime-verification"],"dependencies":[{"ecosystem":"actions","filepath":".github/workflows/integrated_test.yml","sha":null,"kind":"manifest","created_at":"2025-07-15T08:38:05.497Z","updated_at":"2025-07-15T08:38:05.497Z","repository_link":"https://github.com/MasWag/hyppau/blob/master/.github/workflows/integrated_test.yml","dependencies":[{"id":24150041793,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":24150041794,"package_name":"dtolnay/rust-toolchain","ecosystem":"actions","requirements":"stable","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/unit_test.yml","sha":null,"kind":"manifest","created_at":"2025-07-15T08:38:05.568Z","updated_at":"2025-07-15T08:38:05.568Z","repository_link":"https://github.com/MasWag/hyppau/blob/master/.github/workflows/unit_test.yml","dependencies":[{"id":24150041814,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":24150041815,"package_name":"dtolnay/rust-toolchain","ecosystem":"actions","requirements":"stable","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"cargo","filepath":"Cargo.lock","sha":null,"kind":"lockfile","created_at":"2025-07-15T08:38:05.623Z","updated_at":"2025-07-15T08:38:05.623Z","repository_link":"https://github.com/MasWag/hyppau/blob/master/Cargo.lock","dependencies":[{"id":24150041843,"package_name":"ahash","ecosystem":"cargo","requirements":"0.7.8","direct":false,"kind":"runtime","optional":false},{"id":24150041844,"package_name":"aho-corasick","ecosystem":"cargo","requirements":"1.1.3","direct":false,"kind":"runtime","optional":false},{"id":24150041845,"package_name":"anstream","ecosystem":"cargo","requirements":"0.6.18","direct":false,"kind":"runtime","optional":false},{"id":24150041846,"package_name":"anstyle","ecosystem":"cargo","requirements":"1.0.10","direct":false,"kind":"runtime","optional":false},{"id":24150041847,"package_name":"anstyle-parse","ecosystem":"cargo","requirements":"0.2.6","direct":false,"kind":"runtime","optional":false},{"id":24150041848,"package_name":"anstyle-query","ecosystem":"cargo","requirements":"1.1.2","direct":false,"kind":"runtime","optional":false},{"id":24150041849,"package_name":"anstyle-wincon","ecosystem":"cargo","requirements":"3.0.7","direct":false,"kind":"runtime","optional":false},{"id":24150041850,"package_name":"bitflags","ecosystem":"cargo","requirements":"2.6.0","direct":false,"kind":"runtime","optional":false},{"id":24150041851,"package_name":"cfg-if","ecosystem":"cargo","requirements":"1.0.0","direct":false,"kind":"runtime","optional":false},{"id":24150041852,"package_name":"clap","ecosystem":"cargo","requirements":"4.5.30","direct":false,"kind":"runtime","optional":false},{"id":24150041853,"package_name":"clap_builder","ecosystem":"cargo","requirements":"4.5.30","direct":false,"kind":"runtime","optional":false},{"id":24150041854,"package_name":"clap_derive","ecosystem":"cargo","requirements":"4.5.28","direct":false,"kind":"runtime","optional":false},{"id":24150041855,"package_name":"clap_lex","ecosystem":"cargo","requirements":"0.7.4","direct":false,"kind":"runtime","optional":false},{"id":24150041856,"package_name":"colorchoice","ecosystem":"cargo","requirements":"1.0.3","direct":false,"kind":"runtime","optional":false},{"id":24150041857,"package_name":"either","ecosystem":"cargo","requirements":"1.13.0","direct":false,"kind":"runtime","optional":false},{"id":24150041858,"package_name":"env_logger","ecosystem":"cargo","requirements":"0.10.2","direct":false,"kind":"runtime","optional":false},{"id":24150041859,"package_name":"errno","ecosystem":"cargo","requirements":"0.3.10","direct":false,"kind":"runtime","optional":false},{"id":24150041860,"package_name":"fastrand","ecosystem":"cargo","requirements":"2.3.0","direct":false,"kind":"runtime","optional":false},{"id":24150041861,"package_name":"getrandom","ecosystem":"cargo","requirements":"0.2.15","direct":false,"kind":"runtime","optional":false},{"id":24150041862,"package_name":"hashbrown","ecosystem":"cargo","requirements":"0.11.2","direct":false,"kind":"runtime","optional":false},{"id":24150041863,"package_name":"heck","ecosystem":"cargo","requirements":"0.5.0","direct":false,"kind":"runtime","optional":false},{"id":24150041864,"package_name":"hermit-abi","ecosystem":"cargo","requirements":"0.4.0","direct":false,"kind":"runtime","optional":false},{"id":24150041865,"package_name":"humantime","ecosystem":"cargo","requirements":"2.1.0","direct":false,"kind":"runtime","optional":false},{"id":24150043500,"package_name":"is-terminal","ecosystem":"cargo","requirements":"0.4.15","direct":false,"kind":"runtime","optional":false},{"id":24150043501,"package_name":"is_terminal_polyfill","ecosystem":"cargo","requirements":"1.70.1","direct":false,"kind":"runtime","optional":false},{"id":24150043502,"package_name":"itertools","ecosystem":"cargo","requirements":"0.10.5","direct":false,"kind":"runtime","optional":false},{"id":24150043503,"package_name":"itoa","ecosystem":"cargo","requirements":"1.0.14","direct":false,"kind":"runtime","optional":false},{"id":24150043504,"package_name":"libc","ecosystem":"cargo","requirements":"0.2.169","direct":false,"kind":"runtime","optional":false},{"id":24150043505,"package_name":"linux-raw-sys","ecosystem":"cargo","requirements":"0.4.14","direct":false,"kind":"runtime","optional":false},{"id":24150043506,"package_name":"log","ecosystem":"cargo","requirements":"0.4.25","direct":false,"kind":"runtime","optional":false},{"id":24150043507,"package_name":"memchr","ecosystem":"cargo","requirements":"2.7.4","direct":false,"kind":"runtime","optional":false},{"id":24150043508,"package_name":"once_cell","ecosystem":"cargo","requirements":"1.20.2","direct":false,"kind":"runtime","optional":false},{"id":24150043509,"package_name":"proc-macro2","ecosystem":"cargo","requirements":"1.0.93","direct":false,"kind":"runtime","optional":false},{"id":24150043510,"package_name":"quote","ecosystem":"cargo","requirements":"1.0.38","direct":false,"kind":"runtime","optional":false},{"id":24150043511,"package_name":"regex","ecosystem":"cargo","requirements":"1.11.1","direct":false,"kind":"runtime","optional":false},{"id":24150043512,"package_name":"regex-automata","ecosystem":"cargo","requirements":"0.4.9","direct":false,"kind":"runtime","optional":false},{"id":24150043513,"package_name":"regex-syntax","ecosystem":"cargo","requirements":"0.8.5","direct":false,"kind":"runtime","optional":false},{"id":24150043514,"package_name":"rustix","ecosystem":"cargo","requirements":"0.38.42","direct":false,"kind":"runtime","optional":false},{"id":24150043515,"package_name":"ryu","ecosystem":"cargo","requirements":"1.0.19","direct":false,"kind":"runtime","optional":false},{"id":24150043516,"package_name":"serde","ecosystem":"cargo","requirements":"1.0.218","direct":false,"kind":"runtime","optional":false},{"id":24150043517,"package_name":"serde_derive","ecosystem":"cargo","requirements":"1.0.218","direct":false,"kind":"runtime","optional":false},{"id":24150043518,"package_name":"serde_json","ecosystem":"cargo","requirements":"1.0.139","direct":false,"kind":"runtime","optional":false},{"id":24150043519,"package_name":"smallvec","ecosystem":"cargo","requirements":"1.14.0","direct":false,"kind":"runtime","optional":false},{"id":24150043520,"package_name":"string-interner","ecosystem":"cargo","requirements":"0.14.0","direct":false,"kind":"runtime","optional":false},{"id":24150043521,"package_name":"strsim","ecosystem":"cargo","requirements":"0.11.1","direct":false,"kind":"runtime","optional":false},{"id":24150043522,"package_name":"syn","ecosystem":"cargo","requirements":"2.0.98","direct":false,"kind":"runtime","optional":false},{"id":24150043523,"package_name":"tempfile","ecosystem":"cargo","requirements":"3.15.0","direct":false,"kind":"runtime","optional":false},{"id":24150043524,"package_name":"termcolor","ecosystem":"cargo","requirements":"1.4.1","direct":false,"kind":"runtime","optional":false},{"id":24150043525,"package_name":"typed-arena","ecosystem":"cargo","requirements":"2.0.2","direct":false,"kind":"runtime","optional":false},{"id":24150043526,"package_name":"unicode-ident","ecosystem":"cargo","requirements":"1.0.17","direct":false,"kind":"runtime","optional":false},{"id":24150043527,"package_name":"utf8parse","ecosystem":"cargo","requirements":"0.2.2","direct":false,"kind":"runtime","optional":false},{"id":24150043528,"package_name":"version_check","ecosystem":"cargo","requirements":"0.9.5","direct":false,"kind":"runtime","optional":false},{"id":24150043529,"package_name":"wasi","ecosystem":"cargo","requirements":"0.11.0+wasi-snapshot-preview1","direct":false,"kind":"runtime","optional":false},{"id":24150043530,"package_name":"winapi-util","ecosystem":"cargo","requirements":"0.1.9","direct":false,"kind":"runtime","optional":false},{"id":24150043531,"package_name":"windows-sys","ecosystem":"cargo","requirements":"0.59.0","direct":false,"kind":"runtime","optional":false},{"id":24150043532,"package_name":"windows-targets","ecosystem":"cargo","requirements":"0.52.6","direct":false,"kind":"runtime","optional":false},{"id":24150043533,"package_name":"windows_aarch64_gnullvm","ecosystem":"cargo","requirements":"0.52.6","direct":false,"kind":"runtime","optional":false},{"id":24150043534,"package_name":"windows_aarch64_msvc","ecosystem":"cargo","requirements":"0.52.6","direct":false,"kind":"runtime","optional":false},{"id":24150043535,"package_name":"windows_i686_gnu","ecosystem":"cargo","requirements":"0.52.6","direct":false,"kind":"runtime","optional":false},{"id":24150043536,"package_name":"windows_i686_gnullvm","ecosystem":"cargo","requirements":"0.52.6","direct":false,"kind":"runtime","optional":false},{"id":24150043537,"package_name":"windows_i686_msvc","ecosystem":"cargo","requirements":"0.52.6","direct":false,"kind":"runtime","optional":false},{"id":24150043538,"package_name":"windows_x86_64_gnu","ecosystem":"cargo","requirements":"0.52.6","direct":false,"kind":"runtime","optional":false},{"id":24150043539,"package_name":"windows_x86_64_gnullvm","ecosystem":"cargo","requirements":"0.52.6","direct":false,"kind":"runtime","optional":false},{"id":24150043540,"package_name":"windows_x86_64_msvc","ecosystem":"cargo","requirements":"0.52.6","direct":false,"kind":"runtime","optional":false}]},{"ecosystem":"cargo","filepath":"Cargo.toml","sha":null,"kind":"manifest","created_at":"2025-07-15T08:38:06.046Z","updated_at":"2025-07-15T08:38:06.046Z","repository_link":"https://github.com/MasWag/hyppau/blob/master/Cargo.toml","dependencies":[]}],"score":null,"created_at":"2025-09-04T15:51:21.009Z","updated_at":"2025-10-07T08:18:15.616Z","avatar_url":"https://github.com/MasWag.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/45596","html_url":"https://science.ecosyste.ms/projects/45596","bibtex_url":"https://science.ecosyste.ms/projects/45596/export.bibtex","apalike_url":"https://science.ecosyste.ms/projects/45596/export.apalike"}