{"id":16697,"name":"maude","description":"Language bindings for Maude","url":"https://github.com/fadoss/maude-bindings","last_synced_at":"2025-09-04T23:19:54.224Z","repository":{"id":55933578,"uuid":"241984635","full_name":"fadoss/maude-bindings","owner":"fadoss","description":"Language bindings for Maude","archived":false,"fork":false,"pushed_at":"2025-01-02T00:50:40.000Z","size":455,"stargazers_count":23,"open_issues_count":0,"forks_count":1,"subscribers_count":4,"default_branch":"master","last_synced_at":"2025-07-16T03:44:23.514Z","etag":null,"topics":["formal-methods","maude","python","swig"],"latest_commit_sha":null,"homepage":"https://fadoss.github.io/maude-bindings","language":"SWIG","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/fadoss.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":"2020-02-20T20:37:32.000Z","updated_at":"2025-04-29T14:15:35.000Z","dependencies_parsed_at":"2025-01-02T01:38:30.902Z","dependency_job_id":"cd9babc8-8c3e-45bd-b94f-7a76fc8e618b","html_url":"https://github.com/fadoss/maude-bindings","commit_stats":{"total_commits":21,"total_committers":1,"mean_commits":21.0,"dds":0.0,"last_synced_commit":"aefa8a8875dc3b82b6b0367cb73a1f533021d0e3"},"previous_names":[],"tags_count":19,"template":false,"template_full_name":null,"purl":"pkg:github/fadoss/maude-bindings","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/fadoss","download_url":"https://codeload.github.com/fadoss/maude-bindings/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/sbom","scorecard":{"id":391294,"data":{"date":"2025-08-11","repo":{"name":"github.com/fadoss/maude-bindings","commit":"a2a805a989c5f2c024eaeda756dedb4053270b15"},"scorecard":{"version":"v5.2.1-40-gf6ed084d","commit":"f6ed084d17c9236477efd66e5b258b9d4cc7b389"},"score":3.1,"checks":[{"name":"Code-Review","score":0,"reason":"Found 0/24 approved changesets -- score normalized to 0","details":null,"documentation":{"short":"Determines if the project requires human code review before pull requests (aka merge requests) are merged.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#code-review"}},{"name":"Maintained","score":0,"reason":"0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0","details":null,"documentation":{"short":"Determines if the project is \"actively maintained\".","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#maintained"}},{"name":"Dangerous-Workflow","score":10,"reason":"no dangerous workflow patterns detected","details":null,"documentation":{"short":"Determines if the project's GitHub Action workflows avoid dangerous patterns.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#dangerous-workflow"}},{"name":"Packaging","score":-1,"reason":"packaging workflow not detected","details":["Warn: no GitHub/GitLab publishing workflow detected."],"documentation":{"short":"Determines if the project is published as a package that others can easily download, install, easily update, and uninstall.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#packaging"}},{"name":"Token-Permissions","score":0,"reason":"detected GitHub workflow tokens with excessive permissions","details":["Warn: no topLevel permission defined: .github/workflows/release.yml:1","Info: no jobLevel write permissions found"],"documentation":{"short":"Determines if the project's workflows follow the principle of least privilege.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#token-permissions"}},{"name":"Binary-Artifacts","score":10,"reason":"no binaries found in the repo","details":null,"documentation":{"short":"Determines if the project has generated executable (binary) artifacts in the source repository.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#binary-artifacts"}},{"name":"SAST","score":0,"reason":"no SAST tool detected","details":["Warn: no pull requests merged into dev branch"],"documentation":{"short":"Determines if the project uses static code analysis.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#sast"}},{"name":"Pinned-Dependencies","score":0,"reason":"dependency not pinned by hash detected -- score normalized to 0","details":["Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/release.yml:66: update your workflow using https://app.stepsecurity.io/secureworkflow/fadoss/maude-bindings/release.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/release.yml:78: update your workflow using https://app.stepsecurity.io/secureworkflow/fadoss/maude-bindings/release.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/release.yml:89: update your workflow using https://app.stepsecurity.io/secureworkflow/fadoss/maude-bindings/release.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/release.yml:13: update your workflow using https://app.stepsecurity.io/secureworkflow/fadoss/maude-bindings/release.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/release.yml:22: update your workflow using https://app.stepsecurity.io/secureworkflow/fadoss/maude-bindings/release.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/release.yml:38: update your workflow using https://app.stepsecurity.io/secureworkflow/fadoss/maude-bindings/release.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/release.yml:43: update your workflow using https://app.stepsecurity.io/secureworkflow/fadoss/maude-bindings/release.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/release.yml:51: update your workflow using https://app.stepsecurity.io/secureworkflow/fadoss/maude-bindings/release.yml/master?enable=pin","Warn: pipCommand not pinned by hash: build/build_macos.sh:50","Warn: pipCommand not pinned by hash: build/build_macos.sh:51","Warn: pipCommand not pinned by hash: build/build_macos.sh:92","Info:   0 out of   5 GitHub-owned GitHubAction dependencies pinned","Info:   0 out of   3 third-party GitHubAction dependencies pinned","Info:   0 out of   3 pipCommand dependencies pinned"],"documentation":{"short":"Determines if the project has declared and pinned the dependencies of its build process.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#pinned-dependencies"}},{"name":"CII-Best-Practices","score":0,"reason":"no effort to earn an OpenSSF best practices badge detected","details":null,"documentation":{"short":"Determines if the project has an OpenSSF (formerly CII) Best Practices Badge.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#cii-best-practices"}},{"name":"Security-Policy","score":0,"reason":"security policy file not detected","details":["Warn: no security policy file detected","Warn: no security file to analyze","Warn: no security file to analyze","Warn: no security file to analyze"],"documentation":{"short":"Determines if the project has published a security policy.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#security-policy"}},{"name":"Fuzzing","score":0,"reason":"project is not fuzzed","details":["Warn: no fuzzer integrations found"],"documentation":{"short":"Determines if the project uses fuzzing.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#fuzzing"}},{"name":"Vulnerabilities","score":10,"reason":"0 existing vulnerabilities detected","details":null,"documentation":{"short":"Determines if the project has open, known unfixed vulnerabilities.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#vulnerabilities"}},{"name":"License","score":10,"reason":"license file detected","details":["Info: project has a license file: LICENSE:0","Info: FSF or OSI recognized license: GNU General Public License v2.0: LICENSE:0"],"documentation":{"short":"Determines if the project has defined a license.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#license"}},{"name":"Branch-Protection","score":0,"reason":"branch protection not enabled on development/release branches","details":["Warn: branch protection not enabled for branch 'master'"],"documentation":{"short":"Determines if the default and release branches are protected with GitHub's branch protection settings.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#branch-protection"}},{"name":"Signed-Releases","score":0,"reason":"Project has not signed or included provenance with any releases.","details":["Warn: release artifact v1.5.0 not signed: https://api.github.com/repos/fadoss/maude-bindings/releases/192869147","Warn: release artifact v1.4.0 not signed: https://api.github.com/repos/fadoss/maude-bindings/releases/148065895","Warn: release artifact v1.3.0 not signed: https://api.github.com/repos/fadoss/maude-bindings/releases/133336055","Warn: release artifact v1.2.3 not signed: https://api.github.com/repos/fadoss/maude-bindings/releases/100577687","Warn: release artifact v1.2.2 not signed: https://api.github.com/repos/fadoss/maude-bindings/releases/87807766","Warn: release artifact v1.5.0 does not have provenance: https://api.github.com/repos/fadoss/maude-bindings/releases/192869147","Warn: release artifact v1.4.0 does not have provenance: https://api.github.com/repos/fadoss/maude-bindings/releases/148065895","Warn: release artifact v1.3.0 does not have provenance: https://api.github.com/repos/fadoss/maude-bindings/releases/133336055","Warn: release artifact v1.2.3 does not have provenance: https://api.github.com/repos/fadoss/maude-bindings/releases/100577687","Warn: release artifact v1.2.2 does not have provenance: https://api.github.com/repos/fadoss/maude-bindings/releases/87807766"],"documentation":{"short":"Determines if the project cryptographically signs release artifacts.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#signed-releases"}}]},"last_synced_at":"2025-08-18T17:52:55.170Z","repository_id":55933578,"created_at":"2025-08-18T17:52:55.170Z","updated_at":"2025-08-18T17:52:55.170Z"},"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273685649,"owners_count":25149736,"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-04T02:00:08.968Z","response_time":61,"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":"fadoss","name":"FADoSS","uuid":"60321148","kind":"organization","description":"Formal Analysis and Design of Software Systems group (Universidad Complutense de Madrid)","email":null,"website":"https://maude.ucm.es/fadoss","location":"Madrid","twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/60321148?v=4","repositories_count":5,"last_synced_at":"2023-08-14T13:51:43.866Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/fadoss","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2023-08-14T13:51:44.027Z","updated_at":"2023-08-14T13:51:44.027Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/fadoss","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/fadoss/repositories"},"packages":[{"id":2796874,"name":"maude","ecosystem":"pypi","description":"Python bindings for Maude","homepage":"https://github.com/fadoss/maude-bindings","licenses":"GPLv2","normalized_licenses":["GPL-2.0"],"repository_url":"https://github.com/fadoss/maude-bindings","keywords_array":[],"namespace":null,"versions_count":17,"first_release_published_at":"2020-03-27T21:30:12.000Z","latest_release_published_at":"2025-01-02T01:03:10.000Z","latest_release_number":"1.5.0","last_synced_at":"2025-08-25T00:03:55.583Z","created_at":"2022-04-10T11:33:40.157Z","updated_at":"2025-08-25T02:11:54.956Z","registry_url":"https://pypi.org/project/maude/","install_command":"pip install maude --index-url https://pypi.org/simple","documentation_url":"https://fadoss.github.io/maude-bindings","metadata":{"funding":null,"documentation":"https://fadoss.github.io/maude-bindings","classifiers":["Intended Audience :: Science/Research","Operating System :: OS Independent","Programming Language :: Python","Programming Language :: Python :: 3","Topic :: Scientific/Engineering"],"normalized_name":"maude","project_status":null},"repo_metadata":{"id":55933578,"uuid":"241984635","full_name":"fadoss/maude-bindings","owner":"fadoss","description":"Language bindings for Maude","archived":false,"fork":false,"pushed_at":"2025-01-02T00:50:40.000Z","size":455,"stargazers_count":23,"open_issues_count":0,"forks_count":0,"subscribers_count":4,"default_branch":"master","last_synced_at":"2025-06-15T03:47:38.585Z","etag":null,"topics":["formal-methods","maude","python","swig"],"latest_commit_sha":null,"homepage":"https://fadoss.github.io/maude-bindings","language":"SWIG","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/fadoss.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":"2020-02-20T20:37:32.000Z","updated_at":"2025-04-29T14:15:35.000Z","dependencies_parsed_at":"2025-01-02T01:38:30.902Z","dependency_job_id":"cd9babc8-8c3e-45bd-b94f-7a76fc8e618b","html_url":"https://github.com/fadoss/maude-bindings","commit_stats":{"total_commits":21,"total_committers":1,"mean_commits":21.0,"dds":0.0,"last_synced_commit":"aefa8a8875dc3b82b6b0367cb73a1f533021d0e3"},"previous_names":[],"tags_count":19,"template":false,"template_full_name":null,"purl":"pkg:github/fadoss/maude-bindings","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/fadoss","download_url":"https://codeload.github.com/fadoss/maude-bindings/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":265437883,"owners_count":23765149,"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","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":"fadoss","name":"FADoSS","uuid":"60321148","kind":"organization","description":"Formal Analysis and Design of Software Systems group (Universidad Complutense de Madrid)","email":null,"website":"https://maude.ucm.es/fadoss","location":"Madrid","twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/60321148?v=4","repositories_count":5,"last_synced_at":"2023-08-14T13:51:43.866Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/fadoss","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2023-08-14T13:51:44.027Z","updated_at":"2023-08-14T13:51:44.027Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/fadoss","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/fadoss/repositories"},"tags":[{"name":"v1.5.0","sha":"a2a805a989c5f2c024eaeda756dedb4053270b15","kind":"commit","published_at":"2025-01-01T23:00:00.000Z","download_url":"https://codeload.github.com/fadoss/maude-bindings/tar.gz/v1.5.0","html_url":"https://github.com/fadoss/maude-bindings/releases/tag/v1.5.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/fadoss/maude-bindings@v1.5.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v1.5.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v1.5.0/manifests"},{"name":"v1.4.0","sha":"de6cbf370fdbc12e52c36f649b174f7ad93d2074","kind":"commit","published_at":"2024-03-22T19:00:00.000Z","download_url":"https://codeload.github.com/fadoss/maude-bindings/tar.gz/v1.4.0","html_url":"https://github.com/fadoss/maude-bindings/releases/tag/v1.4.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/fadoss/maude-bindings@v1.4.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v1.4.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v1.4.0/manifests"},{"name":"v1.3.0","sha":"7c416328affe99db8cb310399bb4b1f75f40a8a4","kind":"commit","published_at":"2023-12-10T23:33:32.000Z","download_url":"https://codeload.github.com/fadoss/maude-bindings/tar.gz/v1.3.0","html_url":"https://github.com/fadoss/maude-bindings/releases/tag/v1.3.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/fadoss/maude-bindings@v1.3.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v1.3.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v1.3.0/manifests"},{"name":"v1.2.3","sha":"765b8dbc8b8f1de491d8a1c74aef2895e40b92e7","kind":"commit","published_at":"2023-04-21T16:00:00.000Z","download_url":"https://codeload.github.com/fadoss/maude-bindings/tar.gz/v1.2.3","html_url":"https://github.com/fadoss/maude-bindings/releases/tag/v1.2.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/fadoss/maude-bindings@v1.2.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v1.2.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v1.2.3/manifests"},{"name":"v1.2.2","sha":"d0a4aad83ee46dd50e18890b23fea87e3a83c5c6","kind":"commit","published_at":"2023-01-03T11:00:00.000Z","download_url":"https://codeload.github.com/fadoss/maude-bindings/tar.gz/v1.2.2","html_url":"https://github.com/fadoss/maude-bindings/releases/tag/v1.2.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/fadoss/maude-bindings@v1.2.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v1.2.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v1.2.2/manifests"},{"name":"v1.2.1","sha":"07b4cf7c38c31b46176c124032e0a2f4bdf051bf","kind":"commit","published_at":"2022-12-16T11:00:00.000Z","download_url":"https://codeload.github.com/fadoss/maude-bindings/tar.gz/v1.2.1","html_url":"https://github.com/fadoss/maude-bindings/releases/tag/v1.2.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/fadoss/maude-bindings@v1.2.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v1.2.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v1.2.1/manifests"},{"name":"v1.2.0","sha":"35c6875ba8184e2b1dd723c54578b5dc7a7876b2","kind":"commit","published_at":"2022-08-10T10:00:00.000Z","download_url":"https://codeload.github.com/fadoss/maude-bindings/tar.gz/v1.2.0","html_url":"https://github.com/fadoss/maude-bindings/releases/tag/v1.2.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/fadoss/maude-bindings@v1.2.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v1.2.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v1.2.0/manifests"},{"name":"v1.1.2","sha":"7f129d3135773190c762732743689675f98cf5d4","kind":"commit","published_at":"2022-05-06T10:30:00.000Z","download_url":"https://codeload.github.com/fadoss/maude-bindings/tar.gz/v1.1.2","html_url":"https://github.com/fadoss/maude-bindings/releases/tag/v1.1.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/fadoss/maude-bindings@v1.1.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v1.1.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v1.1.2/manifests"},{"name":"v1.1.1","sha":"3cf7dfebe64946dff392f9163b4c9e7c14890eec","kind":"commit","published_at":"2022-03-30T21:30:00.000Z","download_url":"https://codeload.github.com/fadoss/maude-bindings/tar.gz/v1.1.1","html_url":"https://github.com/fadoss/maude-bindings/releases/tag/v1.1.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/fadoss/maude-bindings@v1.1.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v1.1.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v1.1.1/manifests"},{"name":"v1.1.0","sha":"91fac2aabdcafa85dff9c9f3de34ab4aaedbb456","kind":"commit","published_at":"2022-02-25T20:21:29.000Z","download_url":"https://codeload.github.com/fadoss/maude-bindings/tar.gz/v1.1.0","html_url":"https://github.com/fadoss/maude-bindings/releases/tag/v1.1.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/fadoss/maude-bindings@v1.1.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v1.1.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v1.1.0/manifests"},{"name":"v1.0.1","sha":"f7ff59b0fb1db39a09247ba34819c6ebae2727e2","kind":"commit","published_at":"2022-01-18T11:30:00.000Z","download_url":"https://codeload.github.com/fadoss/maude-bindings/tar.gz/v1.0.1","html_url":"https://github.com/fadoss/maude-bindings/releases/tag/v1.0.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/fadoss/maude-bindings@v1.0.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v1.0.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v1.0.1/manifests"},{"name":"v1.0","sha":"65dc361dd47ea5a6b7b9f3139dfb5168e425f613","kind":"commit","published_at":"2021-10-09T08:00:00.000Z","download_url":"https://codeload.github.com/fadoss/maude-bindings/tar.gz/v1.0","html_url":"https://github.com/fadoss/maude-bindings/releases/tag/v1.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/fadoss/maude-bindings@v1.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v1.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v1.0/manifests"},{"name":"v0.7","sha":"35969499c675f2b1fad9aeeb46931329217fa1b5","kind":"commit","published_at":"2021-03-06T13:31:18.000Z","download_url":"https://codeload.github.com/fadoss/maude-bindings/tar.gz/v0.7","html_url":"https://github.com/fadoss/maude-bindings/releases/tag/v0.7","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/fadoss/maude-bindings@v0.7","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v0.7","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v0.7/manifests"},{"name":"v0.6","sha":"4aee2eb60318fb2d9c11f49aa960f08f1f704642","kind":"commit","published_at":"2020-10-23T21:17:09.000Z","download_url":"https://codeload.github.com/fadoss/maude-bindings/tar.gz/v0.6","html_url":"https://github.com/fadoss/maude-bindings/releases/tag/v0.6","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/fadoss/maude-bindings@v0.6","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v0.6","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v0.6/manifests"},{"name":"v0.5","sha":"ef574f757fd81eb4b1b6acb87ba78841c4d40890","kind":"commit","published_at":"2020-09-22T15:36:48.000Z","download_url":"https://codeload.github.com/fadoss/maude-bindings/tar.gz/v0.5","html_url":"https://github.com/fadoss/maude-bindings/releases/tag/v0.5","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/fadoss/maude-bindings@v0.5","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v0.5","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v0.5/manifests"},{"name":"v0.4","sha":"f6cbdcbb00aa4dcf45b8479d1cc9cddbb8d74929","kind":"commit","published_at":"2020-05-26T22:11:15.000Z","download_url":"https://codeload.github.com/fadoss/maude-bindings/tar.gz/v0.4","html_url":"https://github.com/fadoss/maude-bindings/releases/tag/v0.4","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/fadoss/maude-bindings@v0.4","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v0.4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v0.4/manifests"},{"name":"v0.3","sha":"a62d62300be937e8631dd836ba21bab0be1e4954","kind":"commit","published_at":"2020-04-22T09:35:42.000Z","download_url":"https://codeload.github.com/fadoss/maude-bindings/tar.gz/v0.3","html_url":"https://github.com/fadoss/maude-bindings/releases/tag/v0.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/fadoss/maude-bindings@v0.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v0.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v0.3/manifests"},{"name":"v0.2","sha":"d6daa3d40ec252b0a32ffc8d60aafd068d3182a9","kind":"commit","published_at":"2020-03-27T20:50:41.000Z","download_url":"https://codeload.github.com/fadoss/maude-bindings/tar.gz/v0.2","html_url":"https://github.com/fadoss/maude-bindings/releases/tag/v0.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/fadoss/maude-bindings@v0.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v0.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/v0.2/manifests"},{"name":"0.1","sha":"0c3a65982ff8e918a66551bf3c601073454152cb","kind":"commit","published_at":"2020-02-20T20:38:18.000Z","download_url":"https://codeload.github.com/fadoss/maude-bindings/tar.gz/0.1","html_url":"https://github.com/fadoss/maude-bindings/releases/tag/0.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/fadoss/maude-bindings@0.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/0.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/tags/0.1/manifests"}]},"repo_metadata_updated_at":"2025-08-25T02:11:54.928Z","dependent_packages_count":1,"downloads":694,"downloads_period":"last-month","dependent_repos_count":2,"rankings":{"downloads":10.003402259176122,"dependent_repos_count":11.518969535446931,"dependent_packages_count":10.125576461732065,"stargazers_count":16.06367005606766,"forks_count":29.785838786996365,"docker_downloads_count":null,"average":15.499491419883828},"purl":"pkg:pypi/maude","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/pypi/maude","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/pypi/maude","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/pypi/maude/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":{"last_synced_at":"2025-06-15T03:49:02.155Z","issues_count":6,"pull_requests_count":0,"avg_time_to_close_issue":5096599.333333333,"avg_time_to_close_pull_request":null,"issues_closed_count":6,"pull_requests_closed_count":0,"pull_request_authors_count":0,"issue_authors_count":6,"avg_comments_per_issue":4.0,"avg_comments_per_pull_request":null,"merged_pull_requests_count":0,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":0,"past_year_pull_requests_count":0,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":null,"past_year_issues_closed_count":0,"past_year_pull_requests_closed_count":0,"past_year_pull_request_authors_count":0,"past_year_issue_authors_count":0,"past_year_avg_comments_per_issue":null,"past_year_avg_comments_per_pull_request":null,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":0,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/issues","maintainers":[],"active_maintainers":[]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/maude/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/maude/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/maude/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/maude/related_packages","maintainers":[{"uuid":"ningit","login":"ningit","name":null,"email":null,"url":null,"packages_count":2,"html_url":"https://pypi.org/user/ningit/","role":null,"created_at":"2023-02-24T15:51:10.972Z","updated_at":"2023-02-24T15:51:10.972Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/maintainers/ningit/packages"}],"registry":{"name":"pypi.org","url":"https://pypi.org","ecosystem":"pypi","default":true,"packages_count":724929,"maintainers_count":308249,"namespaces_count":0,"keywords_count":237984,"github":"pypi","metadata":{"funded_packages_count":50481},"icon_url":"https://github.com/pypi.png","created_at":"2022-04-04T15:19:23.364Z","updated_at":"2025-09-04T05:23:51.177Z","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":608850,"full_name":"fadoss/maude-bindings","default_branch":"master","committers":[{"name":"ningit","email":"16087057+ningit","login":"ningit","count":21}],"total_commits":21,"total_committers":1,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":21.0,"dds":0.0,"past_year_committers":[{"name":"ningit","email":"16087057+ningit","login":"ningit","count":4}],"past_year_total_commits":4,"past_year_total_committers":1,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":4.0,"past_year_dds":0.0,"last_synced_at":"2023-10-25T14:16:47.378Z","last_synced_commit":"aefa8a8875dc3b82b6b0367cb73a1f533021d0e3","created_at":"2023-03-09T07:16:15.707Z","updated_at":"2023-10-25T14:16:47.380Z","commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-04T00:00:25.936Z","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":"fadoss/maude-bindings","html_url":"https://github.com/fadoss/maude-bindings","last_synced_at":"2025-06-15T03:49:02.155Z","status":null,"issues_count":6,"pull_requests_count":0,"avg_time_to_close_issue":5096599.333333333,"avg_time_to_close_pull_request":null,"issues_closed_count":6,"pull_requests_closed_count":0,"pull_request_authors_count":0,"issue_authors_count":6,"avg_comments_per_issue":4.0,"avg_comments_per_pull_request":null,"merged_pull_requests_count":0,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":0,"past_year_pull_requests_count":0,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":null,"past_year_issues_closed_count":0,"past_year_pull_requests_closed_count":0,"past_year_pull_request_authors_count":0,"past_year_issue_authors_count":0,"past_year_avg_comments_per_issue":null,"past_year_avg_comments_per_pull_request":null,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":0,"created_at":"2023-05-14T17:29:22.601Z","updated_at":"2025-09-01T09:15:53.160Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/fadoss%2Fmaude-bindings/issues","issue_labels_count":{},"pull_request_labels_count":{},"issue_author_associations_count":{"NONE":6},"pull_request_author_associations_count":{},"issue_authors":{"jkhourybbn":1,"ozan-k":1,"canary00":1,"UberPyro":1,"canary01":1,"DanieleMarchei":1},"pull_request_authors":{},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-04T00:00:25.939Z","repositories_count":10081478,"issues_count":31331220,"pull_requests_count":96240505,"authors_count":10693617,"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":{"ReleaseEvent":1,"WatchEvent":6,"PushEvent":2,"ForkEvent":1,"CreateEvent":1},"last_year":{"ReleaseEvent":1,"WatchEvent":6,"PushEvent":2,"ForkEvent":1,"CreateEvent":1}},"keywords":["formal-methods","maude","python","swig"],"dependencies":[{"ecosystem":"actions","filepath":".github/workflows/release.yml","sha":null,"kind":"manifest","created_at":"2023-02-01T08:45:32.289Z","updated_at":"2023-02-01T08:45:32.289Z","repository_link":"https://github.com/fadoss/maude-bindings/blob/master/.github/workflows/release.yml","dependencies":[{"id":7293683001,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":7293683002,"package_name":"softprops/action-gh-release","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":7293683003,"package_name":"actions/setup-python","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"pypi","filepath":"pyproject.toml","sha":null,"kind":"manifest","created_at":"2025-01-02T01:38:30.704Z","updated_at":"2025-01-02T01:38:30.704Z","repository_link":"https://github.com/fadoss/maude-bindings/blob/master/pyproject.toml","dependencies":[]}],"score":9.683713318691522,"created_at":"2025-09-04T15:50:47.735Z","updated_at":"2025-10-07T08:08:49.471Z","avatar_url":"https://github.com/fadoss.png","language":"SWIG","category":null,"sub_category":null,"monthly_downloads":694,"funding_links":[],"readme_doi_urls":["https://doi.org/10.1007/978-3-031-12441-9_14"],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":[],"project_url":"https://science.ecosyste.ms/api/v1/projects/16697","html_url":"https://science.ecosyste.ms/projects/16697","bibtex_url":"https://science.ecosyste.ms/projects/16697/export.bibtex","apalike_url":"https://science.ecosyste.ms/projects/16697/export.apalike"}