{"id":34506,"name":"reachabilityanalysis.jl","description":"Computing reachable states of dynamical systems in Julia","url":"https://github.com/juliareach/reachabilityanalysis.jl","last_synced_at":"2025-09-05T06:14:16.768Z","repository":{"id":37028493,"uuid":"225621880","full_name":"JuliaReach/ReachabilityAnalysis.jl","owner":"JuliaReach","description":"Computing reachable states of dynamical systems in Julia","archived":false,"fork":false,"pushed_at":"2025-09-01T11:27:25.000Z","size":11026,"stargazers_count":205,"open_issues_count":147,"forks_count":17,"subscribers_count":9,"default_branch":"master","last_synced_at":"2025-09-01T12:34:43.296Z","etag":null,"topics":["automatic-control","control-systems","cyber-physical-systems","differential-equations","dynamical-systems","flowpipe","formal-verification","hybrid-systems","interval-arithmetic","julia","numerical-analysis","ode","reachability-analysis","rigorous-numerics","set-propagation","simulations","verification"],"latest_commit_sha":null,"homepage":"https://juliareach.github.io/ReachabilityAnalysis.jl/","language":"Julia","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/JuliaReach.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.bib","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2019-12-03T13:04:40.000Z","updated_at":"2025-08-25T04:46:18.000Z","dependencies_parsed_at":"2023-12-16T03:06:36.990Z","dependency_job_id":"dc0d3876-2974-4837-8a12-7611cb6c2917","html_url":"https://github.com/JuliaReach/ReachabilityAnalysis.jl","commit_stats":{"total_commits":1183,"total_committers":18,"mean_commits":65.72222222222223,"dds":0.242603550295858,"last_synced_commit":"2d7e7c163f46b31e5f479c4a4837e4bcffd49805"},"previous_names":[],"tags_count":92,"template":false,"template_full_name":null,"purl":"pkg:github/JuliaReach/ReachabilityAnalysis.jl","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaReach%2FReachabilityAnalysis.jl","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaReach%2FReachabilityAnalysis.jl/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaReach%2FReachabilityAnalysis.jl/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaReach%2FReachabilityAnalysis.jl/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/JuliaReach","download_url":"https://codeload.github.com/JuliaReach/ReachabilityAnalysis.jl/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaReach%2FReachabilityAnalysis.jl/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273719397,"owners_count":25155703,"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":"JuliaReach","name":"JuliaReach","uuid":"33028082","kind":"organization","description":"Reachability Computations for Dynamical Systems in Julia","email":null,"website":"http://juliareach.com/","location":null,"twitter":"JuliaReach","company":null,"icon_url":"https://avatars.githubusercontent.com/u/33028082?v=4","repositories_count":31,"last_synced_at":"2023-02-27T22:15:30.976Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/JuliaReach","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2022-11-11T04:14:49.821Z","updated_at":"2023-02-27T22:15:31.004Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/JuliaReach","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/JuliaReach/repositories"},"packages":null,"commits":{"id":708765,"full_name":"JuliaReach/ReachabilityAnalysis.jl","default_branch":"master","committers":[{"name":"mforets","email":"mforets@gmail.com","login":"mforets","count":897},{"name":"schillic","email":"git@christianschilling.net","login":"schillic","count":354},{"name":"SebastianGuadalupe","email":"sebastianguadalupe00@gmail.com","login":"SebastianGuadalupe","count":38},{"name":"Daniel F Caporale","email":"dfcaporale@gmail.com","login":"dfcaporale","count":32},{"name":"github-actions[bot]","email":"41898282+github-actions[bot]","login":"github-actions[bot]","count":19},{"name":"Marcelo Forets","email":"marcelo@planting.space","login":null,"count":18},{"name":"Luis Benet","email":"benet@icf.unam.mx","login":"lbenet","count":5},{"name":"dependabot[bot]","email":"49699333+dependabot[bot]","login":"dependabot[bot]","count":5},{"name":"CompatHelper Julia","email":"compathelper_noreply@julialang.org","login":null,"count":4},{"name":"daniel.freire","email":"daniel.freire@fing.edu.uy","login":null,"count":4},{"name":"Alessandro","email":"a.carraro@student.tudelft.nl","login":"alecarraro","count":2},{"name":"Joaquim Puig","email":"joaquim.puig@upc.edu","login":"joaquimpuig","count":1},{"name":"Pietro Monticone","email":"38562595+pitmonticone","login":"pitmonticone","count":1},{"name":"Viral B. Shah","email":"ViralBShah","login":"ViralBShah","count":1},{"name":"hpodhaisky","email":"hpodhaisky","login":"hpodhaisky","count":1},{"name":"marcefo","email":"mforets@planting.space","login":null,"count":1}],"total_commits":1383,"total_committers":16,"total_bot_commits":24,"total_bot_committers":2,"mean_commits":86.4375,"dds":0.351409978308026,"past_year_committers":[{"name":"schillic","email":"git@christianschilling.net","login":"schillic","count":74},{"name":"dependabot[bot]","email":"49699333+dependabot[bot]","login":"dependabot[bot]","count":2},{"name":"Alessandro","email":"a.carraro@student.tudelft.nl","login":"alecarraro","count":2},{"name":"Marcelo Forets","email":"marcelo@planting.space","login":null,"count":2}],"past_year_total_commits":80,"past_year_total_committers":4,"past_year_total_bot_commits":2,"past_year_total_bot_committers":1,"past_year_mean_commits":20.0,"past_year_dds":0.07499999999999996,"last_synced_at":"2025-05-17T15:53:24.161Z","last_synced_commit":"602258538b5b67af837a8b53abaa7a6ea36a9dfa","created_at":"2023-03-09T12:25:59.798Z","updated_at":"2025-05-17T15:53:32.450Z","commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaReach%2FReachabilityAnalysis.jl/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-08-23T00:00:23.482Z","repositories_count":5479765,"commits_count":853308191,"contributors_count":31095157,"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":"JuliaReach/ReachabilityAnalysis.jl","html_url":"https://github.com/JuliaReach/ReachabilityAnalysis.jl","last_synced_at":"2025-09-05T01:21:11.007Z","status":null,"issues_count":68,"pull_requests_count":396,"avg_time_to_close_issue":7267345.066666666,"avg_time_to_close_pull_request":3198504.811797753,"issues_closed_count":30,"pull_requests_closed_count":356,"pull_request_authors_count":9,"issue_authors_count":17,"avg_comments_per_issue":3.9705882352941178,"avg_comments_per_pull_request":0.25757575757575757,"merged_pull_requests_count":273,"bot_issues_count":1,"bot_pull_requests_count":97,"past_year_issues_count":4,"past_year_pull_requests_count":104,"past_year_avg_time_to_close_issue":812957.0,"past_year_avg_time_to_close_pull_request":170487.25,"past_year_issues_closed_count":1,"past_year_pull_requests_closed_count":84,"past_year_pull_request_authors_count":4,"past_year_issue_authors_count":3,"past_year_avg_comments_per_issue":0.25,"past_year_avg_comments_per_pull_request":0.057692307692307696,"past_year_bot_issues_count":1,"past_year_bot_pull_requests_count":35,"past_year_merged_pull_requests_count":62,"created_at":"2023-05-10T16:06:01.248Z","updated_at":"2025-09-05T01:21:11.008Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaReach%2FReachabilityAnalysis.jl","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaReach%2FReachabilityAnalysis.jl/issues","issue_labels_count":{"algorithm":13,"bug":10,"refactors":6,"documentation":4,"performance":2,"external":2,"enhancement":2},"pull_request_labels_count":{"dependencies":14,"github_actions":1},"issue_author_associations_count":{"MEMBER":51,"NONE":15,"CONTRIBUTOR":1,"COLLABORATOR":1},"pull_request_author_associations_count":{"MEMBER":294,"CONTRIBUTOR":99,"COLLABORATOR":2,"NONE":1},"issue_authors":{"mforets":27,"schillic":24,"willsharpless":3,"baggepinnen":1,"JuliaTagBot":1,"paulius92":1,"ArsalMu":1,"hurak":1,"ga72kud":1,"EthanJamesLew":1,"github-actions[bot]":1,"jonathanfischer97":1,"adeyemiadeoye":1,"AnderGray":1,"Marek777777":1,"dpsanders":1,"Xinyi-Yu":1},"pull_request_authors":{"schillic":261,"github-actions[bot]":83,"mforets":29,"dependabot[bot]":14,"alecarraro":3,"dfcaporale":3,"SebastianGuadalupe":1,"joaquimpuig":1,"lbenet":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":{"bug":2,"enhancement":1},"past_year_pull_request_labels_count":{"dependencies":5,"github_actions":1},"past_year_issue_author_associations_count":{"MEMBER":2,"CONTRIBUTOR":1,"NONE":1},"past_year_pull_request_author_associations_count":{"MEMBER":66,"CONTRIBUTOR":36,"NONE":1,"COLLABORATOR":1},"past_year_issue_authors":{"schillic":2,"ArsalMu":1,"github-actions[bot]":1},"past_year_pull_request_authors":{"schillic":66,"github-actions[bot]":30,"dependabot[bot]":5,"alecarraro":3},"maintainers":[{"login":"schillic","count":285,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/schillic"},{"login":"mforets","count":56,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/mforets"},{"login":"dfcaporale","count":3,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/dfcaporale"},{"login":"SebastianGuadalupe","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/SebastianGuadalupe"},{"login":"dpsanders","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/dpsanders"},{"login":"alecarraro","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/alecarraro"},{"login":"lbenet","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/lbenet"}],"active_maintainers":[{"login":"schillic","count":68,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/schillic"},{"login":"alecarraro","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/alecarraro"}]},"events":{"total":{"ForkEvent":1,"CreateEvent":54,"CommitCommentEvent":8,"IssuesEvent":3,"ReleaseEvent":4,"WatchEvent":15,"DeleteEvent":47,"MemberEvent":1,"IssueCommentEvent":7,"PushEvent":179,"PullRequestReviewCommentEvent":15,"PullRequestReviewEvent":25,"PullRequestEvent":95},"last_year":{"ForkEvent":1,"CreateEvent":54,"CommitCommentEvent":8,"IssuesEvent":3,"ReleaseEvent":4,"WatchEvent":15,"DeleteEvent":47,"MemberEvent":1,"IssueCommentEvent":7,"PushEvent":179,"PullRequestReviewCommentEvent":15,"PullRequestReviewEvent":25,"PullRequestEvent":95}},"keywords":["automatic-control","control-systems","cyber-physical-systems","differential-equations","dynamical-systems","flowpipe","formal-verification","hybrid-systems","interval-arithmetic","julia","numerical-analysis","ode","reachability-analysis","rigorous-numerics","set-propagation","simulations","verification"],"dependencies":[{"ecosystem":"actions","filepath":".github/workflows/CompatHelper.yml","sha":null,"kind":"manifest","created_at":"2023-09-23T18:08:02.380Z","updated_at":"2023-09-23T18:08:02.380Z","repository_link":"https://github.com/JuliaReach/ReachabilityAnalysis.jl/blob/master/.github/workflows/CompatHelper.yml","dependencies":[{"id":13904088345,"package_name":"julia-actions/setup-julia","ecosystem":"actions","requirements":"latest","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/TagBot.yml","sha":null,"kind":"manifest","created_at":"2023-09-23T18:08:02.790Z","updated_at":"2023-09-23T18:08:02.790Z","repository_link":"https://github.com/JuliaReach/ReachabilityAnalysis.jl/blob/master/.github/workflows/TagBot.yml","dependencies":[{"id":13904088353,"package_name":"JuliaRegistries/TagBot","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/ci.yml","sha":null,"kind":"manifest","created_at":"2023-09-23T18:08:02.960Z","updated_at":"2023-09-23T18:08:02.960Z","repository_link":"https://github.com/JuliaReach/ReachabilityAnalysis.jl/blob/master/.github/workflows/ci.yml","dependencies":[{"id":13904088355,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":13904088356,"package_name":"julia-actions/setup-julia","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":13904088357,"package_name":"julia-actions/cache","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":13904088358,"package_name":"julia-actions/julia-buildpkg","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":13904088359,"package_name":"julia-actions/julia-runtest","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":13904088360,"package_name":"julia-actions/julia-processcoverage","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":13904088361,"package_name":"codecov/codecov-action","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/ci_PR.yml","sha":null,"kind":"manifest","created_at":"2023-09-23T18:08:03.126Z","updated_at":"2023-09-23T18:08:03.126Z","repository_link":"https://github.com/JuliaReach/ReachabilityAnalysis.jl/blob/master/.github/workflows/ci_PR.yml","dependencies":[{"id":13904088384,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":13904088385,"package_name":"julia-actions/setup-julia","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":13904088386,"package_name":"julia-actions/cache","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":13904088387,"package_name":"julia-actions/julia-buildpkg","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":13904088388,"package_name":"julia-actions/julia-runtest","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":13904088389,"package_name":"julia-actions/julia-processcoverage","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":13904088390,"package_name":"codecov/codecov-action","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/clean-gh-pages.yml","sha":null,"kind":"manifest","created_at":"2023-09-23T18:08:03.231Z","updated_at":"2023-09-23T18:08:03.231Z","repository_link":"https://github.com/JuliaReach/ReachabilityAnalysis.jl/blob/master/.github/workflows/clean-gh-pages.yml","dependencies":[{"id":13904088393,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/docs.yml","sha":null,"kind":"manifest","created_at":"2023-09-23T18:08:03.388Z","updated_at":"2023-09-23T18:08:03.388Z","repository_link":"https://github.com/JuliaReach/ReachabilityAnalysis.jl/blob/master/.github/workflows/docs.yml","dependencies":[{"id":13904088396,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":13904088397,"package_name":"julia-actions/setup-julia","ecosystem":"actions","requirements":"latest","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/format.yml","sha":null,"kind":"manifest","created_at":"2023-09-23T18:08:03.467Z","updated_at":"2023-09-23T18:08:03.467Z","repository_link":"https://github.com/JuliaReach/ReachabilityAnalysis.jl/blob/master/.github/workflows/format.yml","dependencies":[{"id":13904088403,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":13904088404,"package_name":"peter-evans/create-pull-request","ecosystem":"actions","requirements":"v5","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/invalidations.yml","sha":null,"kind":"manifest","created_at":"2023-09-23T18:08:03.760Z","updated_at":"2023-09-23T18:08:03.760Z","repository_link":"https://github.com/JuliaReach/ReachabilityAnalysis.jl/blob/master/.github/workflows/invalidations.yml","dependencies":[{"id":13904088531,"package_name":"julia-actions/setup-julia","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":13904088532,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":13904088533,"package_name":"julia-actions/julia-buildpkg","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":13904088534,"package_name":"julia-actions/julia-invalidations","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/SpellCheck.yml","sha":null,"kind":"manifest","created_at":"2023-12-16T03:06:36.930Z","updated_at":"2023-12-16T03:06:36.930Z","repository_link":"https://github.com/JuliaReach/ReachabilityAnalysis.jl/blob/master/.github/workflows/SpellCheck.yml","dependencies":[{"id":15120502052,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":15120502053,"package_name":"crate-ci/typos","ecosystem":"actions","requirements":"master","direct":true,"kind":"composite","optional":false}]}],"score":8.636219897837877,"created_at":"2025-09-04T15:51:07.897Z","updated_at":"2025-10-07T08:14:26.137Z","avatar_url":"https://github.com/JuliaReach.png","language":"Julia","category":null,"sub_category":null,"monthly_downloads":0,"funding_links":[],"readme_doi_urls":["https://dx.doi.org/10.1007/978-3-030-61739-4_4","https://doi.org/10.1007/978-3-030-61739-4_4","https://dx.doi.org/10.1109/TCAD.2020.3012859","https://dx.doi.org/10.29007/73mb","http://dx.doi.org/10.1145/3178126.3178128"],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":["matrix-exponential","projections","pdes","interpretability","polygons","meshing","hack","zonotope","sets","polyhedra"],"project_url":"https://science.ecosyste.ms/api/v1/projects/34506","html_url":"https://science.ecosyste.ms/projects/34506","bibtex_url":"https://science.ecosyste.ms/projects/34506/export.bibtex","apalike_url":"https://science.ecosyste.ms/projects/34506/export.apalike"}