{"id":356893,"url":"https://github.com/rajarshi008/Scarlet","last_synced_at":"2026-06-21T21:01:49.068Z","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":13,"open_issues_count":2,"forks_count":2,"subscribers_count":3,"default_branch":"main","last_synced_at":"2026-06-02T12:05:33.202Z","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":"2026-03-30T14:23: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":286080680,"owners_count":34067353,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-05-26T15:22:16.424Z","status":"online","status_checked_at":"2026-06-08T02:00:07.615Z","response_time":111,"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":"MIT License","normalized_licenses":["MIT"],"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":"2026-06-12T17:04:10.645Z","created_at":"2022-08-10T18:15:38.531Z","updated_at":"2026-06-12T17:05:39.915Z","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":13,"open_issues_count":2,"forks_count":2,"subscribers_count":3,"default_branch":"main","last_synced_at":"2026-06-02T12:05:33.202Z","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":"2026-03-30T14:23: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":286080680,"owners_count":34067353,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-05-26T15:22:16.424Z","status":"online","status_checked_at":"2026-06-08T02:00:07.615Z","response_time":111,"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":"2026-06-12T17:05:39.915Z","dependent_packages_count":0,"downloads":67,"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":"2026-05-27T09:01:09.052Z","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","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/scarlet-ltl/latest_version","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","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/scarlet-ltl/codemeta","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":885594,"maintainers_count":379189,"namespaces_count":0,"keywords_count":289179,"github":"pypi","metadata":{"funded_packages_count":54301},"icon_url":"https://github.com/pypi.png","created_at":"2022-04-04T15:19:23.364Z","updated_at":"2026-06-10T05:13:28.296Z","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","total_commits":138,"total_committers":8,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":17.25,"dds":0.23188405797101452,"past_year_total_commits":0,"past_year_total_committers":0,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":0.0,"past_year_dds":0.0,"last_synced_at":"2026-06-12T17:09:03.552Z","last_synced_commit":"902aaa6e0bde34a6a138e530ecb23a2bffd53ec1","created_at":"2023-03-09T11:10:31.065Z","updated_at":"2026-06-12T17:07:50.932Z","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}],"past_year_committers":[],"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":"2026-06-14T00:00:10.507Z","repositories_count":6259474,"commits_count":882516531,"contributors_count":35085018,"owners_count":1166591,"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":{"table":{"full_name":"rajarshi008/Scarlet","html_url":"https://github.com/rajarshi008/Scarlet","last_synced_at":"2026-05-27T09:01:09.052Z","status":"error","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":"2026-05-27T09:01:09.052Z","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":{"table":{}},"pull_request_labels_count":{"table":{}},"issue_author_associations_count":{"table":{"NONE":8,"CONTRIBUTOR":3}},"pull_request_author_associations_count":{"table":{"CONTRIBUTOR":1}},"issue_authors":{"table":{"JDRomano2":7,"Smattr":3,"SimplisticCode":1}},"pull_request_authors":{"table":{"Smattr":1}},"host":{"table":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2026-06-12T00:00:21.419Z","repositories_count":14792547,"issues_count":33200524,"pull_requests_count":109506247,"authors_count":11302899,"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":{"table":{}},"past_year_pull_request_labels_count":{"table":{}},"past_year_issue_author_associations_count":{"table":{}},"past_year_pull_request_author_associations_count":{"table":{}},"past_year_issue_authors":{"table":{}},"past_year_pull_request_authors":{"table":{}},"maintainers":[],"active_maintainers":[]}},"events":{"total":{"IssuesEvent":1,"PushEvent":1},"last_year":{}},"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":9.021598247379305,"created_at":"2025-04-11T10:18:18.787Z","updated_at":"2026-06-21T21:01:49.068Z","avatar_url":"https://github.com/rajarshi008.png","language":"Python","codemeta":null,"publiccode":null,"project_url":"https://summary.ecosyste.ms/api/v1/projects/356893","html_url":"https://summary.ecosyste.ms/projects/356893"}