{"id":44045,"name":"vehicle-lang","description":"A toolkit for enforcing logical specifications on neural networks","url":"https://github.com/vehicle-lang/vehicle","last_synced_at":"2025-09-05T10:05:08.502Z","repository":{"id":39705098,"uuid":"341172017","full_name":"vehicle-lang/vehicle","owner":"vehicle-lang","description":"A toolkit for enforcing logical specifications on neural networks","archived":false,"fork":false,"pushed_at":"2025-09-02T20:10:41.000Z","size":26188,"stargazers_count":110,"open_issues_count":107,"forks_count":12,"subscribers_count":7,"default_branch":"dev","last_synced_at":"2025-09-02T22:08:45.690Z","etag":null,"topics":["agda","haskell","neural-network","specification","verification"],"latest_commit_sha":null,"homepage":"https://vehicle-lang.readthedocs.io/","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/vehicle-lang.png","metadata":{"files":{"readme":"README.md","changelog":"ChangeLog.md","contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":".github/CODEOWNERS","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":"2021-02-22T11:07:38.000Z","updated_at":"2025-08-29T08:15:00.000Z","dependencies_parsed_at":"2023-02-18T04:01:08.081Z","dependency_job_id":"dc5de79a-e6a4-4e93-a49a-500b85e556d1","html_url":"https://github.com/vehicle-lang/vehicle","commit_stats":{"total_commits":1184,"total_committers":9,"mean_commits":"131.55555555555554","dds":0.3682432432432432,"last_synced_commit":"87b5cf8c3e1cda88397b468e42cc7479eb3acaef"},"previous_names":[],"tags_count":27,"template":false,"template_full_name":null,"purl":"pkg:github/vehicle-lang/vehicle","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/vehicle-lang","download_url":"https://codeload.github.com/vehicle-lang/vehicle/tar.gz/refs/heads/dev","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273740849,"owners_count":25159434,"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":"vehicle-lang","name":"vehicle-lang","uuid":"97099294","kind":"organization","description":"","email":null,"website":null,"location":"United Kingdom","twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/97099294?v=4","repositories_count":3,"last_synced_at":"2023-03-08T22:00:21.015Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/vehicle-lang","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2022-11-18T11:56:56.719Z","updated_at":"2023-03-08T22:00:21.023Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/vehicle-lang","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/vehicle-lang/repositories"},"packages":[{"id":7356805,"name":"vehicle-lang","ecosystem":"pypi","description":"A high-level functional language for writing mathematically-precise specifications for neural networks.","homepage":null,"licenses":"Copyright Matthew Daggitt, Wen Kokke, University of Strathclyde, Heriot-Watt University, University of Western Australia (c) 2021-2024\n        \n        All rights reserved.\n        \n        Redistribution and use in source and binary forms, with or without\n        modification, are permitted provided that the following conditions are met:\n        \n            * Redistributions of source code must retain the above copyright\n              notice, this list of conditions and the following disclaimer.\n        \n            * Redistributions in binary form must reproduce the above\n              copyright notice, this list of conditions and the following\n              disclaimer in the documentation and/or other materials provided\n              with the distribution.\n        \n            * Neither the name of Wen Kokke nor the names of other\n              contributors may be used to endorse or promote products derived\n              from this software without specific prior written permission.\n        \n        THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS\n        \"AS IS\" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT\n        LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR\n        A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT\n        OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,\n        SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT\n        LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,\n        DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY\n        THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT\n        (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE\n        OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.\n        ","normalized_licenses":["Other"],"repository_url":"https://github.com/vehicle-lang/vehicle","keywords_array":[],"namespace":null,"versions_count":24,"first_release_published_at":"2023-04-04T00:59:22.000Z","latest_release_published_at":"2025-08-26T16:00:13.000Z","latest_release_number":"0.19.0","last_synced_at":"2025-09-02T22:13:17.920Z","created_at":"2023-04-04T01:18:58.334Z","updated_at":"2025-09-03T04:13:55.925Z","registry_url":"https://pypi.org/project/vehicle-lang/","install_command":"pip install vehicle-lang --index-url https://pypi.org/simple","documentation_url":"https://vehicle-lang.readthedocs.io/","metadata":{"funding":null,"documentation":null,"classifiers":[],"normalized_name":"vehicle-lang","project_status":null},"repo_metadata":{"id":39705098,"uuid":"341172017","full_name":"vehicle-lang/vehicle","owner":"vehicle-lang","description":"A toolkit for enforcing logical specifications on neural networks","archived":false,"fork":false,"pushed_at":"2025-09-02T20:10:41.000Z","size":26188,"stargazers_count":110,"open_issues_count":107,"forks_count":12,"subscribers_count":7,"default_branch":"dev","last_synced_at":"2025-09-02T22:08:45.690Z","etag":null,"topics":["agda","haskell","neural-network","specification","verification"],"latest_commit_sha":null,"homepage":"https://vehicle-lang.readthedocs.io/","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/vehicle-lang.png","metadata":{"files":{"readme":"README.md","changelog":"ChangeLog.md","contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":".github/CODEOWNERS","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":"2021-02-22T11:07:38.000Z","updated_at":"2025-08-29T08:15:00.000Z","dependencies_parsed_at":"2023-02-18T04:01:08.081Z","dependency_job_id":"dc5de79a-e6a4-4e93-a49a-500b85e556d1","html_url":"https://github.com/vehicle-lang/vehicle","commit_stats":{"total_commits":1184,"total_committers":9,"mean_commits":"131.55555555555554","dds":0.3682432432432432,"last_synced_commit":"87b5cf8c3e1cda88397b468e42cc7479eb3acaef"},"previous_names":[],"tags_count":27,"template":false,"template_full_name":null,"purl":"pkg:github/vehicle-lang/vehicle","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/vehicle-lang","download_url":"https://codeload.github.com/vehicle-lang/vehicle/tar.gz/refs/heads/dev","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273388094,"owners_count":25096477,"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-03T02:00:09.631Z","response_time":76,"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_record":{"login":"vehicle-lang","name":"vehicle-lang","uuid":"97099294","kind":"organization","description":"","email":null,"website":null,"location":"United Kingdom","twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/97099294?v=4","repositories_count":3,"last_synced_at":"2023-03-08T22:00:21.015Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/vehicle-lang","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2022-11-18T11:56:56.719Z","updated_at":"2023-03-08T22:00:21.023Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/vehicle-lang","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/vehicle-lang/repositories"},"tags":[{"name":"v0.19.0","sha":"49dc9dd80b87426b6d5650404e55d59a4d0d542b","kind":"tag","published_at":"2025-08-26T15:05:35.000Z","download_url":"https://codeload.github.com/vehicle-lang/vehicle/tar.gz/v0.19.0","html_url":"https://github.com/vehicle-lang/vehicle/releases/tag/v0.19.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/vehicle-lang/vehicle@v0.19.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.19.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.19.0/manifests"},{"name":"v0.18.0","sha":"2e13d34a562213c42ed3fd5d7d17d4a08cfa8d35","kind":"tag","published_at":"2025-08-06T10:19:18.000Z","download_url":"https://codeload.github.com/vehicle-lang/vehicle/tar.gz/v0.18.0","html_url":"https://github.com/vehicle-lang/vehicle/releases/tag/v0.18.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/vehicle-lang/vehicle@v0.18.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.18.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.18.0/manifests"},{"name":"v0.17.0","sha":"a7a3a1e6d0ee59625d89270b077ef076e09390a6","kind":"commit","published_at":"2025-07-17T02:36:52.000Z","download_url":"https://codeload.github.com/vehicle-lang/vehicle/tar.gz/v0.17.0","html_url":"https://github.com/vehicle-lang/vehicle/releases/tag/v0.17.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/vehicle-lang/vehicle@v0.17.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.17.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.17.0/manifests"},{"name":"v0.16.1","sha":"f8dcd995b07d5c6178d10829c0d533cea7def2f0","kind":"tag","published_at":"2025-01-28T03:48:36.000Z","download_url":"https://codeload.github.com/vehicle-lang/vehicle/tar.gz/v0.16.1","html_url":"https://github.com/vehicle-lang/vehicle/releases/tag/v0.16.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/vehicle-lang/vehicle@v0.16.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.16.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.16.1/manifests"},{"name":"v0.16.0","sha":"3d5b4bc118742ddd304ba40fe0c626e11651b2ce","kind":"tag","published_at":"2024-12-13T06:24:25.000Z","download_url":"https://codeload.github.com/vehicle-lang/vehicle/tar.gz/v0.16.0","html_url":"https://github.com/vehicle-lang/vehicle/releases/tag/v0.16.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/vehicle-lang/vehicle@v0.16.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.16.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.16.0/manifests"},{"name":"v0.15.0","sha":"f8e695647165db3488a0a13eadb4e038b5cde9ec","kind":"tag","published_at":"2024-09-25T10:54:29.000Z","download_url":"https://codeload.github.com/vehicle-lang/vehicle/tar.gz/v0.15.0","html_url":"https://github.com/vehicle-lang/vehicle/releases/tag/v0.15.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/vehicle-lang/vehicle@v0.15.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.15.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.15.0/manifests"},{"name":"v0.14.1","sha":"806dd9dd6f782bf39ab3399e58f7fe3ffc20f264","kind":"tag","published_at":"2024-06-14T02:27:01.000Z","download_url":"https://codeload.github.com/vehicle-lang/vehicle/tar.gz/v0.14.1","html_url":"https://github.com/vehicle-lang/vehicle/releases/tag/v0.14.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/vehicle-lang/vehicle@v0.14.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.14.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.14.1/manifests"},{"name":"v0.14","sha":"3c37c340c94013475c3fbb7294bcba82e512195a","kind":"commit","published_at":"2024-04-26T04:18:59.000Z","download_url":"https://codeload.github.com/vehicle-lang/vehicle/tar.gz/v0.14","html_url":"https://github.com/vehicle-lang/vehicle/releases/tag/v0.14","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/vehicle-lang/vehicle@v0.14","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.14","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.14/manifests"},{"name":"v0.13.0","sha":"daabb70a241f4407d613155b249ee46ad3836417","kind":"tag","published_at":"2024-02-10T17:43:26.000Z","download_url":"https://codeload.github.com/vehicle-lang/vehicle/tar.gz/v0.13.0","html_url":"https://github.com/vehicle-lang/vehicle/releases/tag/v0.13.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/vehicle-lang/vehicle@v0.13.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.13.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.13.0/manifests"},{"name":"v0.11.1","sha":"65c63dde1541fbb39d1315eb365de427957c39a8","kind":"tag","published_at":"2024-01-12T18:08:10.000Z","download_url":"https://codeload.github.com/vehicle-lang/vehicle/tar.gz/v0.11.1","html_url":"https://github.com/vehicle-lang/vehicle/releases/tag/v0.11.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/vehicle-lang/vehicle@v0.11.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.11.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.11.1/manifests"},{"name":"v0.11.0","sha":"b1eb81fe3ab59bd8d98edef03214ff8f5b73e212","kind":"tag","published_at":"2023-08-28T19:43:04.000Z","download_url":"https://codeload.github.com/vehicle-lang/vehicle/tar.gz/v0.11.0","html_url":"https://github.com/vehicle-lang/vehicle/releases/tag/v0.11.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/vehicle-lang/vehicle@v0.11.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.11.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.11.0/manifests"},{"name":"v0.10.0","sha":"f51f7d82bad5f963b342444e163551f47679d48c","kind":"tag","published_at":"2023-08-17T03:41:48.000Z","download_url":"https://codeload.github.com/vehicle-lang/vehicle/tar.gz/v0.10.0","html_url":"https://github.com/vehicle-lang/vehicle/releases/tag/v0.10.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/vehicle-lang/vehicle@v0.10.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.10.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.10.0/manifests"},{"name":"v0.9.0","sha":"7345cd945326149fee6c6fb6f1e8c6e65d57604f","kind":"tag","published_at":"2023-08-04T09:30:16.000Z","download_url":"https://codeload.github.com/vehicle-lang/vehicle/tar.gz/v0.9.0","html_url":"https://github.com/vehicle-lang/vehicle/releases/tag/v0.9.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/vehicle-lang/vehicle@v0.9.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.9.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.9.0/manifests"},{"name":"v0.8.0","sha":"702baa3d001c9aef6ae82311a24b99a52f67c092","kind":"tag","published_at":"2023-07-17T20:14:03.000Z","download_url":"https://codeload.github.com/vehicle-lang/vehicle/tar.gz/v0.8.0","html_url":"https://github.com/vehicle-lang/vehicle/releases/tag/v0.8.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/vehicle-lang/vehicle@v0.8.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.8.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.8.0/manifests"},{"name":"v0.7.0","sha":"0a52da004ed8c358e9d4400a99f94325dd272bcb","kind":"tag","published_at":"2023-07-07T18:31:14.000Z","download_url":"https://codeload.github.com/vehicle-lang/vehicle/tar.gz/v0.7.0","html_url":"https://github.com/vehicle-lang/vehicle/releases/tag/v0.7.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/vehicle-lang/vehicle@v0.7.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.7.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.7.0/manifests"},{"name":"v0.6.0","sha":"2d353a6574a918f18b831921098349932bdab96a","kind":"tag","published_at":"2023-07-06T10:09:34.000Z","download_url":"https://codeload.github.com/vehicle-lang/vehicle/tar.gz/v0.6.0","html_url":"https://github.com/vehicle-lang/vehicle/releases/tag/v0.6.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/vehicle-lang/vehicle@v0.6.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.6.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.6.0/manifests"},{"name":"v0.5.1","sha":"ec88e8a51ab76b3adfdf7b8b99e72817da64b8a5","kind":"tag","published_at":"2023-06-29T11:41:11.000Z","download_url":"https://codeload.github.com/vehicle-lang/vehicle/tar.gz/v0.5.1","html_url":"https://github.com/vehicle-lang/vehicle/releases/tag/v0.5.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/vehicle-lang/vehicle@v0.5.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.5.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.5.1/manifests"},{"name":"v0.5.0","sha":"c8b24b7099c38b6efccc8158650c891301b0d5f7","kind":"tag","published_at":"2023-06-27T10:07:48.000Z","download_url":"https://codeload.github.com/vehicle-lang/vehicle/tar.gz/v0.5.0","html_url":"https://github.com/vehicle-lang/vehicle/releases/tag/v0.5.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/vehicle-lang/vehicle@v0.5.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.5.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.5.0/manifests"},{"name":"v0.4.1","sha":"88429926e61d2270bfc22f286a92157491f1d3fb","kind":"tag","published_at":"2023-06-26T21:10:00.000Z","download_url":"https://codeload.github.com/vehicle-lang/vehicle/tar.gz/v0.4.1","html_url":"https://github.com/vehicle-lang/vehicle/releases/tag/v0.4.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/vehicle-lang/vehicle@v0.4.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.4.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.4.1/manifests"},{"name":"v0.4.0","sha":"c0c23dbb17fbc07c5f6fd8c15a37fa0ca596f626","kind":"tag","published_at":"2023-06-21T21:38:18.000Z","download_url":"https://codeload.github.com/vehicle-lang/vehicle/tar.gz/v0.4.0","html_url":"https://github.com/vehicle-lang/vehicle/releases/tag/v0.4.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/vehicle-lang/vehicle@v0.4.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.4.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.4.0/manifests"},{"name":"v0.3.3","sha":"5ff4e6114aa95f54c25bb2e395b605200a57c3ab","kind":"tag","published_at":"2023-05-18T18:37:09.000Z","download_url":"https://codeload.github.com/vehicle-lang/vehicle/tar.gz/v0.3.3","html_url":"https://github.com/vehicle-lang/vehicle/releases/tag/v0.3.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/vehicle-lang/vehicle@v0.3.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.3.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.3.3/manifests"},{"name":"v0.3.2","sha":"0a85afc132524d7a1faac48be4a3c35864e2ceab","kind":"tag","published_at":"2023-05-16T11:43:20.000Z","download_url":"https://codeload.github.com/vehicle-lang/vehicle/tar.gz/v0.3.2","html_url":"https://github.com/vehicle-lang/vehicle/releases/tag/v0.3.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/vehicle-lang/vehicle@v0.3.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.3.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.3.2/manifests"},{"name":"0.3.1","sha":"2bdb27127f0a70251c92b1a5576b581d871fcb9e","kind":"tag","published_at":"2023-05-16T11:41:21.000Z","download_url":"https://codeload.github.com/vehicle-lang/vehicle/tar.gz/0.3.1","html_url":"https://github.com/vehicle-lang/vehicle/releases/tag/0.3.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/vehicle-lang/vehicle@0.3.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/0.3.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/0.3.1/manifests"},{"name":"v0.3.0","sha":"b11752b809e2c0b461741155c4a34ecf4716f2ee","kind":"commit","published_at":"2023-05-16T09:40:41.000Z","download_url":"https://codeload.github.com/vehicle-lang/vehicle/tar.gz/v0.3.0","html_url":"https://github.com/vehicle-lang/vehicle/releases/tag/v0.3.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/vehicle-lang/vehicle@v0.3.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.3.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.3.0/manifests"},{"name":"v0.2.0","sha":"5b7e7ed57d5bacde9ceeb0dbd2102e7a11390bda","kind":"commit","published_at":"2023-03-28T08:56:43.000Z","download_url":"https://codeload.github.com/vehicle-lang/vehicle/tar.gz/v0.2.0","html_url":"https://github.com/vehicle-lang/vehicle/releases/tag/v0.2.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/vehicle-lang/vehicle@v0.2.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.2.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.2.0/manifests"},{"name":"v0.1.0-alpha","sha":"4a55233fa4a706ec7d210ae9e37a260f01dd37a7","kind":"commit","published_at":"2022-11-14T09:56:46.000Z","download_url":"https://codeload.github.com/vehicle-lang/vehicle/tar.gz/v0.1.0-alpha","html_url":"https://github.com/vehicle-lang/vehicle/releases/tag/v0.1.0-alpha","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/vehicle-lang/vehicle@v0.1.0-alpha","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.1.0-alpha","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.1.0-alpha/manifests"},{"name":"v0.1.0","sha":"4a55233fa4a706ec7d210ae9e37a260f01dd37a7","kind":"commit","published_at":"2022-11-14T09:56:46.000Z","download_url":"https://codeload.github.com/vehicle-lang/vehicle/tar.gz/v0.1.0","html_url":"https://github.com/vehicle-lang/vehicle/releases/tag/v0.1.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/vehicle-lang/vehicle@v0.1.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.1.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/tags/v0.1.0/manifests"}]},"repo_metadata_updated_at":"2025-09-03T04:13:55.924Z","dependent_packages_count":0,"downloads":1906,"downloads_period":"last-month","dependent_repos_count":0,"rankings":{"downloads":null,"dependent_repos_count":30.3937242312248,"dependent_packages_count":7.028308705342214,"stargazers_count":null,"forks_count":null,"average":18.711016468283507},"purl":"pkg:pypi/vehicle-lang","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/pypi/vehicle-lang","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/pypi/vehicle-lang","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/pypi/vehicle-lang/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":{"last_synced_at":"2025-08-30T10:36:11.964Z","issues_count":96,"pull_requests_count":188,"avg_time_to_close_issue":30882790.333333332,"avg_time_to_close_pull_request":474745.88823529414,"issues_closed_count":63,"pull_requests_closed_count":170,"pull_request_authors_count":10,"issue_authors_count":9,"avg_comments_per_issue":1.4270833333333333,"avg_comments_per_pull_request":0.46808510638297873,"merged_pull_requests_count":156,"bot_issues_count":0,"bot_pull_requests_count":51,"past_year_issues_count":23,"past_year_pull_requests_count":66,"past_year_avg_time_to_close_issue":4441052.5,"past_year_avg_time_to_close_pull_request":279003.3461538461,"past_year_issues_closed_count":8,"past_year_pull_requests_closed_count":52,"past_year_pull_request_authors_count":9,"past_year_issue_authors_count":6,"past_year_avg_comments_per_issue":1.9565217391304348,"past_year_avg_comments_per_pull_request":1.121212121212121,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":6,"past_year_merged_pull_requests_count":43,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/issues","maintainers":[{"login":"MatthewDaggitt","count":213,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/MatthewDaggitt"},{"login":"wenkokke","count":43,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/wenkokke"},{"login":"joshua-smart","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/joshua-smart"},{"login":"laurenpudz","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/laurenpudz"}],"active_maintainers":[{"login":"MatthewDaggitt","count":67,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/MatthewDaggitt"},{"login":"wenkokke","count":7,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/wenkokke"},{"login":"joshua-smart","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/joshua-smart"},{"login":"laurenpudz","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/laurenpudz"}]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/vehicle-lang/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/vehicle-lang/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/vehicle-lang/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/vehicle-lang/related_packages","maintainers":[{"uuid":"wenkokke","login":"wenkokke","name":null,"email":null,"url":null,"packages_count":10,"html_url":"https://pypi.org/user/wenkokke/","role":null,"created_at":"2023-04-04T03:39:45.727Z","updated_at":"2023-04-04T03:39:45.727Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/maintainers/wenkokke/packages"}],"registry":{"name":"pypi.org","url":"https://pypi.org","ecosystem":"pypi","default":true,"packages_count":725083,"maintainers_count":308355,"namespaces_count":0,"keywords_count":238006,"github":"pypi","metadata":{"funded_packages_count":50519},"icon_url":"https://github.com/pypi.png","created_at":"2022-04-04T15:19:23.364Z","updated_at":"2025-09-05T05:40:58.860Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages","maintainers_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/maintainers","namespaces_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/namespaces"}}],"commits":{"id":1469145,"full_name":"vehicle-lang/vehicle","default_branch":"dev","committers":[{"name":"=","email":"matthewdaggitt@gmail.com","login":null,"count":748},{"name":"Wen Kokke","email":"wenkokke","login":"wenkokke","count":329},{"name":"dependabot[bot]","email":"49699333+dependabot[bot]","login":"dependabot[bot]","count":46},{"name":"pre-commit-ci[bot]","email":"66853113+pre-commit-ci[bot]","login":"pre-commit-ci[bot]","count":29},{"name":"Bob Atkey","email":"bob.atkey@gmail.com","login":null,"count":12},{"name":"nslusarz","email":"nds1@hw.ac.uk","login":null,"count":7},{"name":"Natalia Ślusarz","email":"72092053+ndslusarz","login":"ndslusarz","count":7},{"name":"Marco Casadio","email":"14108085+Tgl70","login":"Tgl70","count":5},{"name":"Ekaterina Komendantskaya","email":"komendantskaya@gmail.com","login":null,"count":1}],"total_commits":1184,"total_committers":9,"total_bot_commits":75,"total_bot_committers":2,"mean_commits":131.55555555555554,"dds":0.3682432432432432,"past_year_committers":[{"name":"MatthewDaggitt","email":"matthewdaggitt@gmail.com","login":null,"count":123},{"name":"Wen Kokke","email":"wenkokke","login":"wenkokke","count":119},{"name":"dependabot[bot]","email":"49699333+dependabot[bot]","login":"dependabot[bot]","count":38},{"name":"pre-commit-ci[bot]","email":"66853113+pre-commit-ci[bot]","login":"pre-commit-ci[bot]","count":24},{"name":"Natalia Ślusarz","email":"72092053+ndslusarz","login":"ndslusarz","count":2}],"past_year_total_commits":306,"past_year_total_committers":5,"past_year_total_bot_commits":62,"past_year_total_bot_committers":2,"past_year_mean_commits":61.2,"past_year_dds":0.5980392156862745,"last_synced_at":"2024-01-29T00:14:28.859Z","last_synced_commit":"87b5cf8c3e1cda88397b468e42cc7479eb3acaef","created_at":"2024-01-29T00:13:57.441Z","updated_at":"2024-01-29T00:14:28.860Z","commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-02T00:00:07.521Z","repositories_count":5480031,"commits_count":853395369,"contributors_count":31098267,"owners_count":906561,"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":"vehicle-lang/vehicle","html_url":"https://github.com/vehicle-lang/vehicle","last_synced_at":"2025-09-05T06:02:21.243Z","status":null,"issues_count":94,"pull_requests_count":291,"avg_time_to_close_issue":32849457.94642857,"avg_time_to_close_pull_request":364440.34661354584,"issues_closed_count":56,"pull_requests_closed_count":251,"pull_request_authors_count":10,"issue_authors_count":9,"avg_comments_per_issue":1.148936170212766,"avg_comments_per_pull_request":0.42955326460481097,"merged_pull_requests_count":227,"bot_issues_count":0,"bot_pull_requests_count":78,"past_year_issues_count":24,"past_year_pull_requests_count":106,"past_year_avg_time_to_close_issue":566952.8571428572,"past_year_avg_time_to_close_pull_request":287619.25,"past_year_issues_closed_count":7,"past_year_pull_requests_closed_count":80,"past_year_pull_request_authors_count":9,"past_year_issue_authors_count":6,"past_year_avg_comments_per_issue":1.1666666666666667,"past_year_avg_comments_per_pull_request":0.9622641509433962,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":11,"past_year_merged_pull_requests_count":64,"created_at":"2024-01-29T00:14:27.768Z","updated_at":"2025-09-05T06:02:21.245Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle/issues","issue_labels_count":{"bug":33,"refactoring":13,"backend:verifiers":12,"enhancement":12,"compiler:type-checker":12,"documentation":10,"backend:loss":7,"backend:itps":6,"upstream":5,"compiler:error-messages":5,"performance":5,"CI":5,"language":4,"test-suite":4,"python":3,"build-system":3,"soundness":3,"UX":3,"error-messages":3,"compiler:verifier-backend":2,"status:invalid":1,"compiler:normalisation":1,"errors-and-warnings":1,"discussion":1,"compiler:other":1},"pull_request_labels_count":{"refactoring":79,"dependencies":52,"github_actions":39,"enhancement":35,"backend:loss":34,"backend:verifiers":34,"bug":30,"python":18,"compiler:type-checker":15,"documentation":11,"compiler:normalisation":10,"test-suite":10,"CI":8,"language":8,"errors-and-warnings":7,"error-messages":5,"performance":5,"backend:itps":5,"UX":3,"compiler:error-messages":2,"compiler:verifier-backend":2,"compiler:other":1,"compiler:loss-backend":1,"compiler:evaluation":1},"issue_author_associations_count":{"COLLABORATOR":79,"NONE":11,"CONTRIBUTOR":4},"pull_request_author_associations_count":{"COLLABORATOR":181,"CONTRIBUTOR":105,"NONE":5},"issue_authors":{"MatthewDaggitt":62,"wenkokke":17,"BenCoke12":3,"Allenator1":3,"developing-ar":3,"ckessler2":2,"tflinkow":2,"kiczaaa":1,"GuilhermeMBP":1},"pull_request_authors":{"MatthewDaggitt":151,"dependabot[bot]":52,"pre-commit-ci[bot]":26,"wenkokke":26,"developing-ar":20,"Allenator1":8,"joshua-smart":3,"2XUID":2,"faezs":2,"laurenpudz":1},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-05T00:00:10.444Z","repositories_count":10097364,"issues_count":31428117,"pull_requests_count":97242359,"authors_count":10701128,"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":5,"enhancement":3,"refactoring":3,"backend:verifiers":3,"CI":2,"compiler:verifier-backend":2,"compiler:type-checker":2,"upstream":1,"test-suite":1,"documentation":1,"compiler:other":1,"performance":1,"error-messages":1},"past_year_pull_request_labels_count":{"refactoring":27,"enhancement":16,"backend:verifiers":16,"backend:loss":15,"bug":14,"dependencies":11,"github_actions":10,"compiler:type-checker":10,"test-suite":5,"documentation":4,"python":4,"errors-and-warnings":4,"language":3,"backend:itps":3,"compiler:verifier-backend":2,"CI":1,"compiler:loss-backend":1,"compiler:evaluation":1,"performance":1},"past_year_issue_author_associations_count":{"COLLABORATOR":15,"NONE":5,"CONTRIBUTOR":4},"past_year_pull_request_author_associations_count":{"COLLABORATOR":63,"CONTRIBUTOR":38,"NONE":5},"past_year_issue_authors":{"MatthewDaggitt":13,"Allenator1":3,"developing-ar":3,"tflinkow":2,"wenkokke":2,"ckessler2":1},"past_year_pull_request_authors":{"MatthewDaggitt":54,"developing-ar":20,"dependabot[bot]":11,"Allenator1":8,"wenkokke":5,"joshua-smart":3,"2XUID":2,"faezs":2,"laurenpudz":1},"maintainers":[{"login":"MatthewDaggitt","count":213,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/MatthewDaggitt"},{"login":"wenkokke","count":43,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/wenkokke"},{"login":"joshua-smart","count":3,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/joshua-smart"},{"login":"laurenpudz","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/laurenpudz"}],"active_maintainers":[{"login":"MatthewDaggitt","count":67,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/MatthewDaggitt"},{"login":"wenkokke","count":7,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/wenkokke"},{"login":"joshua-smart","count":3,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/joshua-smart"},{"login":"laurenpudz","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/laurenpudz"}]},"events":{"total":{"CreateEvent":76,"ReleaseEvent":4,"IssuesEvent":43,"WatchEvent":28,"DeleteEvent":72,"MemberEvent":1,"IssueCommentEvent":118,"PushEvent":243,"PullRequestReviewCommentEvent":65,"PullRequestReviewEvent":75,"PullRequestEvent":90,"ForkEvent":5},"last_year":{"CreateEvent":76,"ReleaseEvent":4,"IssuesEvent":43,"WatchEvent":28,"DeleteEvent":72,"MemberEvent":1,"IssueCommentEvent":118,"PushEvent":243,"PullRequestReviewCommentEvent":65,"PullRequestReviewEvent":75,"PullRequestEvent":90,"ForkEvent":5}},"keywords":["agda","haskell","neural-network","specification","verification"],"dependencies":[{"ecosystem":"actions","filepath":".github/actions/setup-haskell/action.yml","sha":null,"kind":"manifest","created_at":"2023-02-18T04:01:01.308Z","updated_at":"2023-02-18T04:01:01.308Z","repository_link":"https://github.com/vehicle-lang/vehicle/blob/dev/.github/actions/setup-haskell/action.yml","dependencies":[{"id":7753218705,"package_name":"haskell/actions/setup","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":7753218706,"package_name":"actions/cache","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/actions/setup-python/action.yml","sha":null,"kind":"manifest","created_at":"2023-02-18T04:01:01.760Z","updated_at":"2023-02-18T04:01:01.760Z","repository_link":"https://github.com/vehicle-lang/vehicle/blob/dev/.github/actions/setup-python/action.yml","dependencies":[{"id":7753224495,"package_name":"actions/setup-python","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/actions/setup-vehicle/action.yml","sha":null,"kind":"manifest","created_at":"2023-02-18T04:01:02.931Z","updated_at":"2023-02-18T04:01:02.931Z","repository_link":"https://github.com/vehicle-lang/vehicle/blob/dev/.github/actions/setup-vehicle/action.yml","dependencies":[{"id":7753228203,"package_name":"actions/download-artifact","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/build-vehicle-python.yml","sha":null,"kind":"manifest","created_at":"2023-02-18T04:01:03.985Z","updated_at":"2023-02-18T04:01:03.985Z","repository_link":"https://github.com/vehicle-lang/vehicle/blob/dev/.github/workflows/build-vehicle-python.yml","dependencies":[{"id":7753233113,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":7753233114,"package_name":"./.github/actions/setup-vehicle","ecosystem":"actions","requirements":"*","direct":true,"kind":"composite","optional":false},{"id":7753233117,"package_name":"./.github/actions/setup-python","ecosystem":"actions","requirements":"*","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/build-vehicle.yml","sha":null,"kind":"manifest","created_at":"2023-02-18T04:01:05.231Z","updated_at":"2023-02-18T04:01:05.231Z","repository_link":"https://github.com/vehicle-lang/vehicle/blob/dev/.github/workflows/build-vehicle.yml","dependencies":[{"id":7753233379,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":7753233380,"package_name":"./.github/actions/setup-haskell","ecosystem":"actions","requirements":"*","direct":true,"kind":"composite","optional":false},{"id":7753233387,"package_name":"actions/upload-artifact","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/build.yml","sha":null,"kind":"manifest","created_at":"2023-02-18T04:01:05.753Z","updated_at":"2023-02-18T04:01:05.753Z","repository_link":"https://github.com/vehicle-lang/vehicle/blob/dev/.github/workflows/build.yml","dependencies":[{"id":7753235705,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":7753235708,"package_name":"mrkkrp/ormolu-action","ecosystem":"actions","requirements":"v9","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/test-editor-integration.yml","sha":null,"kind":"manifest","created_at":"2023-02-18T04:01:06.551Z","updated_at":"2023-02-18T04:01:06.551Z","repository_link":"https://github.com/vehicle-lang/vehicle/blob/dev/.github/workflows/test-editor-integration.yml","dependencies":[{"id":7753237250,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":7753237251,"package_name":"./.github/actions/setup-haskell","ecosystem":"actions","requirements":"*","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"pypi","filepath":"docs-source/requirements.txt","sha":null,"kind":"manifest","created_at":"2023-02-18T04:01:06.810Z","updated_at":"2023-02-18T04:01:06.810Z","repository_link":"https://github.com/vehicle-lang/vehicle/blob/dev/docs-source/requirements.txt","dependencies":[{"id":7753239033,"package_name":"Sphinx","ecosystem":"pypi","requirements":"==6.1.3","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"pypi","filepath":"scripts/benchmark-histogram/poetry.lock","sha":null,"kind":"lockfile","created_at":"2023-02-18T04:01:07.213Z","updated_at":"2023-02-18T04:01:07.213Z","repository_link":"https://github.com/vehicle-lang/vehicle/blob/dev/scripts/benchmark-histogram/poetry.lock","dependencies":[{"id":7753240401,"package_name":"fonttools","ecosystem":"pypi","requirements":"4.38.0","direct":false,"kind":"runtime","optional":false},{"id":7753240448,"package_name":"kiwisolver","ecosystem":"pypi","requirements":"1.4.4","direct":false,"kind":"runtime","optional":false},{"id":7753240493,"package_name":"marshmallow","ecosystem":"pypi","requirements":"3.19.0","direct":false,"kind":"runtime","optional":false},{"id":7753240494,"package_name":"marshmallow-enum","ecosystem":"pypi","requirements":"1.5.1","direct":false,"kind":"runtime","optional":false},{"id":7753240495,"package_name":"matplotlib","ecosystem":"pypi","requirements":"3.6.2","direct":false,"kind":"runtime","optional":false},{"id":7753240496,"package_name":"mypy-extensions","ecosystem":"pypi","requirements":"0.4.3","direct":false,"kind":"runtime","optional":false},{"id":7753240497,"package_name":"numpy","ecosystem":"pypi","requirements":"1.24.1","direct":false,"kind":"runtime","optional":false},{"id":7753240498,"package_name":"packaging","ecosystem":"pypi","requirements":"22.0","direct":false,"kind":"runtime","optional":false},{"id":7753240499,"package_name":"pandas","ecosystem":"pypi","requirements":"1.5.2","direct":false,"kind":"runtime","optional":false},{"id":7753240500,"package_name":"pillow","ecosystem":"pypi","requirements":"9.3.0","direct":false,"kind":"runtime","optional":false},{"id":7753240501,"package_name":"pyparsing","ecosystem":"pypi","requirements":"3.0.9","direct":false,"kind":"runtime","optional":false},{"id":7753240502,"package_name":"python-dateutil","ecosystem":"pypi","requirements":"2.8.2","direct":false,"kind":"runtime","optional":false},{"id":7753240503,"package_name":"pytz","ecosystem":"pypi","requirements":"2022.7","direct":false,"kind":"runtime","optional":false},{"id":7753240507,"package_name":"seaborn","ecosystem":"pypi","requirements":"0.12.2","direct":false,"kind":"runtime","optional":false},{"id":7753240521,"package_name":"six","ecosystem":"pypi","requirements":"1.16.0","direct":false,"kind":"runtime","optional":false},{"id":7753240549,"package_name":"typing-extensions","ecosystem":"pypi","requirements":"4.4.0","direct":false,"kind":"runtime","optional":false},{"id":7753240550,"package_name":"typing-inspect","ecosystem":"pypi","requirements":"0.8.0","direct":false,"kind":"runtime","optional":false},{"id":7753240056,"package_name":"click","ecosystem":"pypi","requirements":"8.1.3","direct":false,"kind":"runtime","optional":false},{"id":7753240057,"package_name":"colorama","ecosystem":"pypi","requirements":"0.4.6","direct":false,"kind":"runtime","optional":false},{"id":7753240058,"package_name":"contourpy","ecosystem":"pypi","requirements":"1.0.6","direct":false,"kind":"runtime","optional":false},{"id":7753240059,"package_name":"cycler","ecosystem":"pypi","requirements":"0.11.0","direct":false,"kind":"runtime","optional":false},{"id":7753240060,"package_name":"dataclasses-json","ecosystem":"pypi","requirements":"0.5.7","direct":false,"kind":"runtime","optional":false}]},{"ecosystem":"pypi","filepath":"scripts/benchmark-histogram/pyproject.toml","sha":null,"kind":"manifest","created_at":"2023-02-18T04:01:07.459Z","updated_at":"2023-02-18T04:01:07.459Z","repository_link":"https://github.com/vehicle-lang/vehicle/blob/dev/scripts/benchmark-histogram/pyproject.toml","dependencies":[{"id":7753241300,"package_name":"python","ecosystem":"pypi","requirements":"^3.10","direct":true,"kind":"runtime","optional":false},{"id":7753241301,"package_name":"click","ecosystem":"pypi","requirements":"^8.1.3","direct":true,"kind":"runtime","optional":false},{"id":7753241302,"package_name":"dataclasses-json","ecosystem":"pypi","requirements":"^0.5.7","direct":true,"kind":"runtime","optional":false},{"id":7753241303,"package_name":"matplotlib","ecosystem":"pypi","requirements":"^3.6.2","direct":true,"kind":"runtime","optional":false},{"id":7753241304,"package_name":"seaborn","ecosystem":"pypi","requirements":"^0.12.2","direct":true,"kind":"runtime","optional":false},{"id":7753241305,"package_name":"pandas","ecosystem":"pypi","requirements":"^1.5.2","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"pypi","filepath":"tools/networks/requirements.txt","sha":null,"kind":"manifest","created_at":"2023-02-18T04:01:07.662Z","updated_at":"2023-02-18T04:01:07.662Z","repository_link":"https://github.com/vehicle-lang/vehicle/blob/dev/tools/networks/requirements.txt","dependencies":[{"id":7753242610,"package_name":"sklearn","ecosystem":"pypi","requirements":"\u003e=0.0","direct":true,"kind":"runtime","optional":false},{"id":7753242611,"package_name":"tensorflow","ecosystem":"pypi","requirements":"\u003e=2.7","direct":true,"kind":"runtime","optional":false},{"id":7753242612,"package_name":"matplotlib","ecosystem":"pypi","requirements":"\u003e=3.5.1","direct":true,"kind":"runtime","optional":false},{"id":7753242613,"package_name":"keras","ecosystem":"pypi","requirements":"\u003e=2.7.0","direct":true,"kind":"runtime","optional":false},{"id":7753242614,"package_name":"tf2onnx","ecosystem":"pypi","requirements":"\u003e=1.9.3","direct":true,"kind":"runtime","optional":false},{"id":7753242618,"package_name":"numpy","ecosystem":"pypi","requirements":"\u003e=1.22.0","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"pypi","filepath":"vehicle-python/poetry.lock","sha":null,"kind":"lockfile","created_at":"2023-02-18T04:01:07.776Z","updated_at":"2023-02-18T04:01:07.776Z","repository_link":"https://github.com/vehicle-lang/vehicle/blob/dev/vehicle-python/poetry.lock","dependencies":[{"id":7753243182,"package_name":"absl-py","ecosystem":"pypi","requirements":"1.4.0","direct":false,"kind":"runtime","optional":false},{"id":7753243183,"package_name":"astunparse","ecosystem":"pypi","requirements":"1.6.3","direct":false,"kind":"runtime","optional":false},{"id":7753243184,"package_name":"black","ecosystem":"pypi","requirements":"22.12.0","direct":false,"kind":"develop","optional":false},{"id":7753243185,"package_name":"cachetools","ecosystem":"pypi","requirements":"5.3.0","direct":false,"kind":"runtime","optional":false},{"id":7753243186,"package_name":"certifi","ecosystem":"pypi","requirements":"2022.12.7","direct":false,"kind":"runtime","optional":false},{"id":7753243187,"package_name":"chardet","ecosystem":"pypi","requirements":"5.1.0","direct":false,"kind":"develop","optional":false},{"id":7753243221,"package_name":"charset-normalizer","ecosystem":"pypi","requirements":"3.0.1","direct":false,"kind":"runtime","optional":false},{"id":7753243222,"package_name":"click","ecosystem":"pypi","requirements":"8.1.3","direct":false,"kind":"develop","optional":false},{"id":7753243223,"package_name":"colorama","ecosystem":"pypi","requirements":"0.4.6","direct":false,"kind":"develop","optional":false},{"id":7753243224,"package_name":"distlib","ecosystem":"pypi","requirements":"0.3.6","direct":false,"kind":"develop","optional":false},{"id":7753243225,"package_name":"filelock","ecosystem":"pypi","requirements":"3.9.0","direct":false,"kind":"develop","optional":false},{"id":7753243227,"package_name":"flake8","ecosystem":"pypi","requirements":"5.0.4","direct":false,"kind":"develop","optional":false},{"id":7753243228,"package_name":"flatbuffers","ecosystem":"pypi","requirements":"23.1.4","direct":false,"kind":"runtime","optional":false},{"id":7753243238,"package_name":"gast","ecosystem":"pypi","requirements":"0.4.0","direct":false,"kind":"runtime","optional":false},{"id":7753243240,"package_name":"google-auth","ecosystem":"pypi","requirements":"2.16.0","direct":false,"kind":"runtime","optional":false},{"id":7753243244,"package_name":"google-auth-oauthlib","ecosystem":"pypi","requirements":"0.4.6","direct":false,"kind":"runtime","optional":false},{"id":7753243250,"package_name":"google-pasta","ecosystem":"pypi","requirements":"0.2.0","direct":false,"kind":"runtime","optional":false},{"id":7753243264,"package_name":"grpcio","ecosystem":"pypi","requirements":"1.51.1","direct":false,"kind":"runtime","optional":false},{"id":7753243325,"package_name":"h5py","ecosystem":"pypi","requirements":"3.7.0","direct":false,"kind":"runtime","optional":false},{"id":7753243333,"package_name":"idna","ecosystem":"pypi","requirements":"3.4","direct":false,"kind":"runtime","optional":false},{"id":7753243348,"package_name":"importlib-metadata","ecosystem":"pypi","requirements":"6.0.0","direct":false,"kind":"runtime","optional":false},{"id":7753243350,"package_name":"isort","ecosystem":"pypi","requirements":"5.12.0","direct":false,"kind":"develop","optional":false},{"id":7753243352,"package_name":"keras","ecosystem":"pypi","requirements":"2.11.0","direct":false,"kind":"runtime","optional":false},{"id":7753243354,"package_name":"libclang","ecosystem":"pypi","requirements":"15.0.6.1","direct":false,"kind":"runtime","optional":false},{"id":7753243407,"package_name":"markdown","ecosystem":"pypi","requirements":"3.4.1","direct":false,"kind":"runtime","optional":false},{"id":7753243408,"package_name":"markupsafe","ecosystem":"pypi","requirements":"2.1.2","direct":false,"kind":"runtime","optional":false},{"id":7753243409,"package_name":"mccabe","ecosystem":"pypi","requirements":"0.7.0","direct":false,"kind":"develop","optional":false},{"id":7753243410,"package_name":"mypy","ecosystem":"pypi","requirements":"0.971","direct":false,"kind":"develop","optional":false},{"id":7753243411,"package_name":"mypy-extensions","ecosystem":"pypi","requirements":"0.4.3","direct":false,"kind":"develop","optional":false},{"id":7753243412,"package_name":"numpy","ecosystem":"pypi","requirements":"1.24.2","direct":false,"kind":"runtime","optional":false},{"id":7753243413,"package_name":"oauthlib","ecosystem":"pypi","requirements":"3.2.2","direct":false,"kind":"runtime","optional":false},{"id":7753243414,"package_name":"opt-einsum","ecosystem":"pypi","requirements":"3.3.0","direct":false,"kind":"runtime","optional":false},{"id":7753243415,"package_name":"packaging","ecosystem":"pypi","requirements":"23.0","direct":false,"kind":"runtime","optional":false},{"id":7753243416,"package_name":"pathspec","ecosystem":"pypi","requirements":"0.10.3","direct":false,"kind":"develop","optional":false},{"id":7753243417,"package_name":"platformdirs","ecosystem":"pypi","requirements":"2.6.2","direct":false,"kind":"develop","optional":false},{"id":7753243418,"package_name":"pluggy","ecosystem":"pypi","requirements":"1.0.0","direct":false,"kind":"develop","optional":false},{"id":7753243419,"package_name":"protobuf","ecosystem":"pypi","requirements":"3.19.6","direct":false,"kind":"runtime","optional":false},{"id":7753243420,"package_name":"pyasn1","ecosystem":"pypi","requirements":"0.4.8","direct":false,"kind":"runtime","optional":false},{"id":7753243421,"package_name":"pyasn1-modules","ecosystem":"pypi","requirements":"0.2.8","direct":false,"kind":"runtime","optional":false},{"id":7753243422,"package_name":"pycodestyle","ecosystem":"pypi","requirements":"2.9.1","direct":false,"kind":"develop","optional":false},{"id":7753243423,"package_name":"pyflakes","ecosystem":"pypi","requirements":"2.5.0","direct":false,"kind":"develop","optional":false},{"id":7753243424,"package_name":"pyproject-api","ecosystem":"pypi","requirements":"1.5.0","direct":false,"kind":"develop","optional":false},{"id":7753243425,"package_name":"requests","ecosystem":"pypi","requirements":"2.28.2","direct":false,"kind":"runtime","optional":false},{"id":7753243426,"package_name":"requests-oauthlib","ecosystem":"pypi","requirements":"1.3.1","direct":false,"kind":"runtime","optional":false},{"id":7753243427,"package_name":"rsa","ecosystem":"pypi","requirements":"4.9","direct":false,"kind":"runtime","optional":false},{"id":7753243428,"package_name":"setuptools","ecosystem":"pypi","requirements":"66.0.0","direct":false,"kind":"runtime","optional":false},{"id":7753243429,"package_name":"six","ecosystem":"pypi","requirements":"1.16.0","direct":false,"kind":"runtime","optional":false},{"id":7753243430,"package_name":"tensorboard","ecosystem":"pypi","requirements":"2.11.2","direct":false,"kind":"runtime","optional":false},{"id":7753243431,"package_name":"tensorboard-data-server","ecosystem":"pypi","requirements":"0.6.1","direct":false,"kind":"runtime","optional":false},{"id":7753243432,"package_name":"tensorboard-plugin-wit","ecosystem":"pypi","requirements":"1.8.1","direct":false,"kind":"runtime","optional":false},{"id":7753243433,"package_name":"tensorflow","ecosystem":"pypi","requirements":"2.11.0","direct":false,"kind":"runtime","optional":false},{"id":7753243434,"package_name":"tensorflow-estimator","ecosystem":"pypi","requirements":"2.11.0","direct":false,"kind":"runtime","optional":false},{"id":7753243449,"package_name":"tensorflow-io-gcs-filesystem","ecosystem":"pypi","requirements":"0.29.0","direct":false,"kind":"runtime","optional":false},{"id":7753243450,"package_name":"termcolor","ecosystem":"pypi","requirements":"2.2.0","direct":false,"kind":"runtime","optional":false},{"id":7753243451,"package_name":"tomli","ecosystem":"pypi","requirements":"2.0.1","direct":false,"kind":"develop","optional":false},{"id":7753243452,"package_name":"tox","ecosystem":"pypi","requirements":"4.4.5","direct":false,"kind":"develop","optional":false},{"id":7753243453,"package_name":"typing-extensions","ecosystem":"pypi","requirements":"4.4.0","direct":false,"kind":"runtime","optional":false},{"id":7753243454,"package_name":"urllib3","ecosystem":"pypi","requirements":"1.26.14","direct":false,"kind":"runtime","optional":false},{"id":7753243455,"package_name":"virtualenv","ecosystem":"pypi","requirements":"20.17.1","direct":false,"kind":"develop","optional":false},{"id":7753243456,"package_name":"werkzeug","ecosystem":"pypi","requirements":"2.2.2","direct":false,"kind":"runtime","optional":false},{"id":7753243457,"package_name":"wheel","ecosystem":"pypi","requirements":"0.38.4","direct":false,"kind":"runtime","optional":false},{"id":7753243458,"package_name":"wrapt","ecosystem":"pypi","requirements":"1.14.1","direct":false,"kind":"runtime","optional":false},{"id":7753243459,"package_name":"zipp","ecosystem":"pypi","requirements":"3.11.0","direct":false,"kind":"runtime","optional":false}]},{"ecosystem":"pypi","filepath":"vehicle-python/pyproject.toml","sha":null,"kind":"manifest","created_at":"2023-02-18T04:01:08.025Z","updated_at":"2023-02-18T04:01:08.025Z","repository_link":"https://github.com/vehicle-lang/vehicle/blob/dev/vehicle-python/pyproject.toml","dependencies":[{"id":7753244650,"package_name":"python","ecosystem":"pypi","requirements":"^3.8,\u003c3.11","direct":true,"kind":"runtime","optional":false},{"id":7753244654,"package_name":"tensorflow","ecosystem":"pypi","requirements":"^2.10","direct":true,"kind":"runtime","optional":false},{"id":7753244656,"package_name":"numpy","ecosystem":"pypi","requirements":"^1.24","direct":true,"kind":"runtime","optional":false}]}],"score":15.130408536477098,"created_at":"2025-09-04T15:51:19.240Z","updated_at":"2025-10-07T08:17:47.864Z","avatar_url":"https://github.com/vehicle-lang.png","language":"Haskell","category":null,"sub_category":null,"monthly_downloads":1906,"funding_links":[],"readme_doi_urls":[],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":["energy-system-model","mesh","interpretability","parallel","optimizer","yolov5s","pipeline-testing","datacleaner","data-profilers","particles"],"project_url":"https://science.ecosyste.ms/api/v1/projects/44045","html_url":"https://science.ecosyste.ms/projects/44045","bibtex_url":"https://science.ecosyste.ms/projects/44045/export.bibtex","apalike_url":"https://science.ecosyste.ms/projects/44045/export.apalike"}