{"id":876,"name":"Scarlet","description":"Scarlet: Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic - Published in JOSS (2024)","url":"https://github.com/rajarshi008/scarlet","last_synced_at":"2025-09-04T16:11:20.801Z","repository":{"id":54402066,"uuid":"365867297","full_name":"rajarshi008/Scarlet","owner":"rajarshi008","description":"Tool for learning linear temporal logic formulas using combinatorial approach","archived":false,"fork":false,"pushed_at":"2025-01-11T15:26:54.000Z","size":13696,"stargazers_count":14,"open_issues_count":2,"forks_count":2,"subscribers_count":3,"default_branch":"main","last_synced_at":"2025-08-28T21:58:45.623Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/rajarshi008.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE.md","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2021-05-09T23:20:57.000Z","updated_at":"2025-01-11T15:27:01.000Z","dependencies_parsed_at":"2025-04-14T13:48:16.454Z","dependency_job_id":null,"html_url":"https://github.com/rajarshi008/Scarlet","commit_stats":{"total_commits":98,"total_committers":7,"mean_commits":14.0,"dds":0.2857142857142857,"last_synced_commit":"9d37df1ef55ea88f972725636f9fb9ea5f930252"},"previous_names":[],"tags_count":1,"template":false,"template_full_name":null,"purl":"pkg:github/rajarshi008/Scarlet","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rajarshi008%2FScarlet","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rajarshi008%2FScarlet/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rajarshi008%2FScarlet/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rajarshi008%2FScarlet/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/rajarshi008","download_url":"https://codeload.github.com/rajarshi008/Scarlet/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rajarshi008%2FScarlet/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273596972,"owners_count":25134262,"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":"rajarshi008","name":"Rajarshi Roy","uuid":"15666301","kind":"user","description":"I am PhD student working on Formal Methods and Machine Learning","email":"","website":null,"location":"Kaiserslautern","twitter":null,"company":"Max Planck Institute for Software systems","icon_url":"https://avatars.githubusercontent.com/u/15666301?u=6b333f6884889f6858220bd59ee537e26cfaf1a8\u0026v=4","repositories_count":7,"last_synced_at":"2024-04-20T00:38:06.465Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/rajarshi008","funding_links":[],"total_stars":9,"followers":6,"following":6,"created_at":"2023-02-24T17:03:41.335Z","updated_at":"2024-04-20T00:38:07.982Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/rajarshi008","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/rajarshi008/repositories"},"packages":[{"id":5146436,"name":"scarlet-ltl","ecosystem":"pypi","description":"A package for learning LTL formulas from a sample consisting of traces partitioned into positive and negative","homepage":"https://github.com/rajarshi008/Scarlet","licenses":"Copyright (c) 2022 University of Antwerp, Belgium \u0026 LaBRI, University of Bordeaux, France Ritam Raha \u003critam.raha18@gmail.com\u003e  Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the \"Software\"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:  The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.  THE SOFTWARE IS PROVIDED \"AS IS\", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. ","normalized_licenses":["Other"],"repository_url":"https://github.com/rajarshi008/Scarlet","keywords_array":[],"namespace":null,"versions_count":4,"first_release_published_at":"2022-08-10T17:55:10.000Z","latest_release_published_at":"2023-12-11T15:33:48.000Z","latest_release_number":"0.0.4","last_synced_at":"2025-09-03T19:48:44.846Z","created_at":"2022-08-10T18:15:38.531Z","updated_at":"2025-09-04T05:27:48.521Z","registry_url":"https://pypi.org/project/scarlet-ltl/","install_command":"pip install scarlet-ltl --index-url https://pypi.org/simple","documentation_url":"https://scarlet-ltl.readthedocs.io/","metadata":{"funding":null,"documentation":null,"classifiers":["License :: OSI Approved :: MIT License","Operating System :: OS Independent","Programming Language :: Python :: 3"],"normalized_name":"scarlet-ltl","project_status":null},"repo_metadata":{"id":54402066,"uuid":"365867297","full_name":"rajarshi008/Scarlet","owner":"rajarshi008","description":"Tool for learning linear temporal logic formulas using combinatorial approach","archived":false,"fork":false,"pushed_at":"2025-01-11T15:26:54.000Z","size":13696,"stargazers_count":14,"open_issues_count":2,"forks_count":2,"subscribers_count":3,"default_branch":"main","last_synced_at":"2025-08-28T21:58:45.623Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/rajarshi008.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE.md","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2021-05-09T23:20:57.000Z","updated_at":"2025-01-11T15:27:01.000Z","dependencies_parsed_at":"2025-04-14T13:48:16.454Z","dependency_job_id":null,"html_url":"https://github.com/rajarshi008/Scarlet","commit_stats":{"total_commits":98,"total_committers":7,"mean_commits":14.0,"dds":0.2857142857142857,"last_synced_commit":"9d37df1ef55ea88f972725636f9fb9ea5f930252"},"previous_names":[],"tags_count":1,"template":false,"template_full_name":null,"purl":"pkg:github/rajarshi008/Scarlet","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rajarshi008%2FScarlet","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rajarshi008%2FScarlet/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rajarshi008%2FScarlet/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rajarshi008%2FScarlet/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/rajarshi008","download_url":"https://codeload.github.com/rajarshi008/Scarlet/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rajarshi008%2FScarlet/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273501008,"owners_count":25117084,"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":"rajarshi008","name":"Rajarshi Roy","uuid":"15666301","kind":"user","description":"I am PhD student working on Formal Methods and Machine Learning","email":"","website":null,"location":"Kaiserslautern","twitter":null,"company":"Max Planck Institute for Software systems","icon_url":"https://avatars.githubusercontent.com/u/15666301?u=6b333f6884889f6858220bd59ee537e26cfaf1a8\u0026v=4","repositories_count":7,"last_synced_at":"2024-04-20T00:38:06.465Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/rajarshi008","funding_links":[],"total_stars":9,"followers":6,"following":6,"created_at":"2023-02-24T17:03:41.335Z","updated_at":"2024-04-20T00:38:07.982Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/rajarshi008","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/rajarshi008/repositories"},"tags":[{"name":"v1.0.0","sha":"84833b58f40658d5c440b64e77906f87b2ab950f","kind":"commit","published_at":"2023-12-21T16:05:14.000Z","download_url":"https://codeload.github.com/rajarshi008/Scarlet/tar.gz/v1.0.0","html_url":"https://github.com/rajarshi008/Scarlet/releases/tag/v1.0.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/rajarshi008/Scarlet@v1.0.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rajarshi008%2FScarlet/tags/v1.0.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rajarshi008%2FScarlet/tags/v1.0.0/manifests"}]},"repo_metadata_updated_at":"2025-09-04T05:27:48.521Z","dependent_packages_count":0,"downloads":14,"downloads_period":"last-month","dependent_repos_count":0,"rankings":{"downloads":19.73101393251188,"dependent_repos_count":30.61104109666564,"dependent_packages_count":6.633233862033089,"stargazers_count":23.317204617035493,"forks_count":30.49154493947922,"average":22.156807689545065},"purl":"pkg:pypi/scarlet-ltl","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/pypi/scarlet-ltl","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/pypi/scarlet-ltl","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/pypi/scarlet-ltl/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":{"last_synced_at":"2025-08-31T11:01:46.595Z","issues_count":11,"pull_requests_count":1,"avg_time_to_close_issue":8270083.7,"avg_time_to_close_pull_request":2190580.0,"issues_closed_count":10,"pull_requests_closed_count":1,"pull_request_authors_count":1,"issue_authors_count":3,"avg_comments_per_issue":1.0909090909090908,"avg_comments_per_pull_request":0.0,"merged_pull_requests_count":1,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":0,"past_year_pull_requests_count":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/rajarshi008%2FScarlet/issues","maintainers":[],"active_maintainers":[]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/scarlet-ltl/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/scarlet-ltl/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/scarlet-ltl/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/scarlet-ltl/related_packages","maintainers":[{"uuid":"rajarshi008","login":"rajarshi008","name":null,"email":null,"url":null,"packages_count":1,"html_url":"https://pypi.org/user/rajarshi008/","role":null,"created_at":"2023-02-24T18:11:20.173Z","updated_at":"2023-02-24T18:11:20.173Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/maintainers/rajarshi008/packages"},{"uuid":"rraha","login":"rraha","name":null,"email":null,"url":null,"packages_count":1,"html_url":"https://pypi.org/user/rraha/","role":null,"created_at":"2023-02-24T18:11:20.254Z","updated_at":"2023-02-24T18:11:20.254Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/maintainers/rraha/packages"}],"registry":{"name":"pypi.org","url":"https://pypi.org","ecosystem":"pypi","default":true,"packages_count":724708,"maintainers_count":308189,"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":686145,"full_name":"rajarshi008/Scarlet","default_branch":"main","committers":[{"name":"Rajarshi Roy","email":"rajarshi008@gmail.com","login":"rajarshi008","count":106},{"name":"Ritam Raha","email":"ritamraha@Jonnas-MBP.localdomain","login":null,"count":9},{"name":"Ritam","email":"ritam.raha18@gmail.com","login":"ritamraha","count":8},{"name":"Ritam Raha","email":"ritamraha@Ritams-MacBook.local","login":null,"count":6},{"name":"Nathanael Fijalkow","email":"nathanael.fijalkow@gmail.com","login":"nathanael-fijalkow","count":5},{"name":"Rajarshi Roy","email":"rajroy@CSL16071.local","login":null,"count":2},{"name":"Matthew Fernandez","email":"matthew.fernandez@gmail.com","login":"Smattr","count":1},{"name":"Rajarshi Roy","email":"rajarshi@lap-21-0137.mpi-sws.org","login":null,"count":1}],"total_commits":138,"total_committers":8,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":17.25,"dds":0.23188405797101452,"past_year_committers":[{"name":"Rajarshi Roy","email":"rajroy@CSL16071.local","login":null,"count":2}],"past_year_total_commits":2,"past_year_total_committers":1,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":2.0,"past_year_dds":0.0,"last_synced_at":"2025-08-07T06:05:20.141Z","last_synced_commit":"902aaa6e0bde34a6a138e530ecb23a2bffd53ec1","created_at":"2023-03-09T11:10:31.065Z","updated_at":"2025-08-07T06:05:20.165Z","commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/rajarshi008%2FScarlet/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-08-27T00:00:29.048Z","repositories_count":5479765,"commits_count":853308191,"contributors_count":31095157,"owners_count":906558,"icon_url":"https://github.com/github.png","host_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories"}},"issues_stats":{"full_name":"rajarshi008/Scarlet","html_url":"https://github.com/rajarshi008/Scarlet","last_synced_at":"2025-08-31T11:01:46.595Z","status":null,"issues_count":11,"pull_requests_count":1,"avg_time_to_close_issue":8270083.7,"avg_time_to_close_pull_request":2190580.0,"issues_closed_count":10,"pull_requests_closed_count":1,"pull_request_authors_count":1,"issue_authors_count":3,"avg_comments_per_issue":1.0909090909090908,"avg_comments_per_pull_request":0.0,"merged_pull_requests_count":1,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":0,"past_year_pull_requests_count":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-15T04:30:01.072Z","updated_at":"2025-09-01T17:46:32.852Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/rajarshi008%2FScarlet","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/rajarshi008%2FScarlet/issues","issue_labels_count":{},"pull_request_labels_count":{},"issue_author_associations_count":{"NONE":8,"CONTRIBUTOR":3},"pull_request_author_associations_count":{"CONTRIBUTOR":1},"issue_authors":{"JDRomano2":7,"Smattr":3,"SimplisticCode":1},"pull_request_authors":{"Smattr":1},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-02T00:00:07.986Z","repositories_count":10037762,"issues_count":30572682,"pull_requests_count":91036770,"authors_count":10396572,"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":{"IssuesEvent":1,"PushEvent":1},"last_year":{"IssuesEvent":1,"PushEvent":1}},"keywords":[],"dependencies":[{"ecosystem":"pypi","filepath":"requirements.txt","sha":null,"kind":"manifest","created_at":"2022-08-13T14:31:19.309Z","updated_at":"2022-08-13T14:31:19.309Z","repository_link":"https://github.com/rajarshi008/Scarlet/blob/main/requirements.txt","dependencies":[{"id":1447908899,"package_name":"lark","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":1447908900,"package_name":"graphviz","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":1447908901,"package_name":"ltlf2dfa","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/draft-pdf.yml","sha":null,"kind":"manifest","created_at":"2023-11-30T18:37:48.997Z","updated_at":"2023-11-30T18:37:48.997Z","repository_link":"https://github.com/rajarshi008/Scarlet/blob/main/.github/workflows/draft-pdf.yml","dependencies":[{"id":14824275138,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":14824275139,"package_name":"openjournals/openjournals-draft-action","ecosystem":"actions","requirements":"master","direct":true,"kind":"composite","optional":false},{"id":14824275146,"package_name":"actions/upload-artifact","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false}]}],"score":7.624618986159398,"created_at":"2025-09-04T09:17:40.543Z","updated_at":"2025-10-07T08:04:28.079Z","avatar_url":"https://github.com/rajarshi008.png","language":"Python","category":"Scientific Software","sub_category":"Peer-reviewed","monthly_downloads":14,"funding_links":[],"readme_doi_urls":[],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":[],"project_url":"https://science.ecosyste.ms/api/v1/projects/876","html_url":"https://science.ecosyste.ms/projects/876"}