{"id":161875,"name":null,"description":"Misconception-based tutor designed to help people learn Linear Temporal Logic.","url":"https://github.com/brownplt/ltltutor","last_synced_at":"2025-09-09T18:34:52.519Z","repository":{"id":240100007,"uuid":"788521462","full_name":"brownplt/LTLTutor","owner":"brownplt","description":"Misconception-based tutor designed to help people learn Linear Temporal Logic.","archived":false,"fork":false,"pushed_at":"2025-07-26T17:55:47.000Z","size":829,"stargazers_count":9,"open_issues_count":6,"forks_count":1,"subscribers_count":6,"default_branch":"main","last_synced_at":"2025-09-01T22:39:42.478Z","etag":null,"topics":["intelligent-tutoring-system","linear-temporal-logic","logic","ltl","tutor"],"latest_commit_sha":null,"homepage":"https://ltl-tutor.xyz","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/brownplt.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE.txt","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":"2024-04-18T15:21:23.000Z","updated_at":"2025-08-22T02:02:30.000Z","dependencies_parsed_at":"2024-12-10T15:24:03.945Z","dependency_job_id":"7d108fa4-4e4b-40f1-8bed-1e10887f878a","html_url":"https://github.com/brownplt/LTLTutor","commit_stats":null,"previous_names":["brownplt/ltltutor"],"tags_count":14,"template":false,"template_full_name":null,"purl":"pkg:github/brownplt/LTLTutor","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/brownplt%2FLTLTutor","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/brownplt%2FLTLTutor/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/brownplt%2FLTLTutor/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/brownplt%2FLTLTutor/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/brownplt","download_url":"https://codeload.github.com/brownplt/LTLTutor/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/brownplt%2FLTLTutor/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":274340921,"owners_count":25267297,"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-09T02:00:10.223Z","response_time":80,"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":"brownplt","name":"Brown University PLT","uuid":"391839","kind":"organization","description":null,"email":null,"website":"http://www.cs.brown.edu/research/plt/","location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/391839?v=4","repositories_count":57,"last_synced_at":"2024-03-25T23:07:47.588Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/brownplt","funding_links":[],"total_stars":1768,"followers":23,"following":0,"created_at":"2022-11-02T20:34:19.803Z","updated_at":"2024-03-25T23:07:48.081Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/brownplt","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/brownplt/repositories"},"packages":[],"commits":{"message":"Repository syncing started."},"issues_stats":{"full_name":"brownplt/LTLTutor","html_url":"https://github.com/brownplt/LTLTutor","last_synced_at":"2025-08-31T18:04:07.064Z","status":null,"issues_count":10,"pull_requests_count":16,"avg_time_to_close_issue":1613021.0,"avg_time_to_close_pull_request":254868.18181818182,"issues_closed_count":6,"pull_requests_closed_count":11,"pull_request_authors_count":2,"issue_authors_count":3,"avg_comments_per_issue":0.7,"avg_comments_per_pull_request":0.0,"merged_pull_requests_count":11,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":10,"past_year_pull_requests_count":16,"past_year_avg_time_to_close_issue":1613021.0,"past_year_avg_time_to_close_pull_request":254868.18181818182,"past_year_issues_closed_count":6,"past_year_pull_requests_closed_count":11,"past_year_pull_request_authors_count":2,"past_year_issue_authors_count":3,"past_year_avg_comments_per_issue":0.7,"past_year_avg_comments_per_pull_request":0.0,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":11,"created_at":"2025-08-29T16:56:21.575Z","updated_at":"2025-09-03T03:16:52.209Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/brownplt%2FLTLTutor","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/brownplt%2FLTLTutor/issues","issue_labels_count":{"bug":15,"enhancement":3,"help wanted":2,"good first issue":2,"bydesign":1,"invalid":1,"documentation":1},"pull_request_labels_count":{"enhancement":3,"bug":1},"issue_author_associations_count":{"CONTRIBUTOR":24,"NONE":15,"MEMBER":2},"pull_request_author_associations_count":{"CONTRIBUTOR":45,"NONE":2,"MEMBER":1},"issue_authors":{"sidprasad":24,"SkylerAusten":6,"LuKuangChen":4,"PatrickTrentin88":3,"bennn":2,"karismajn":1,"avanhatt":1},"pull_request_authors":{"sidprasad":45,"bennn":1,"SkylerAusten":1,"karismajn":1},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-06T00:00:15.144Z","repositories_count":10131782,"issues_count":31834041,"pull_requests_count":99281480,"authors_count":10714653,"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":3,"help wanted":1,"good first issue":1},"past_year_pull_request_labels_count":{"enhancement":1},"past_year_issue_author_associations_count":{"CONTRIBUTOR":7,"NONE":4},"past_year_pull_request_author_associations_count":{"CONTRIBUTOR":20,"NONE":1},"past_year_issue_authors":{"sidprasad":7,"PatrickTrentin88":3,"avanhatt":1},"past_year_pull_request_authors":{"sidprasad":20,"SkylerAusten":1},"maintainers":[{"login":"bennn","count":3,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/bennn"}],"active_maintainers":[]},"events":{"total":{"CreateEvent":32,"IssuesEvent":22,"WatchEvent":2,"DeleteEvent":26,"IssueCommentEvent":7,"PushEvent":74,"PullRequestReviewCommentEvent":22,"PullRequestReviewEvent":17,"PullRequestEvent":39,"GollumEvent":8,"ForkEvent":1},"last_year":{"CreateEvent":32,"IssuesEvent":22,"WatchEvent":2,"DeleteEvent":26,"IssueCommentEvent":7,"PushEvent":74,"PullRequestReviewCommentEvent":22,"PullRequestReviewEvent":17,"PullRequestEvent":39,"GollumEvent":8,"ForkEvent":1}},"keywords":["intelligent-tutoring-system","linear-temporal-logic","logic","ltl","tutor"],"dependencies":[{"ecosystem":"docker","filepath":"Dockerfile","sha":null,"kind":"manifest","created_at":"2024-05-16T18:57:43.692Z","updated_at":"2024-05-16T18:57:43.692Z","repository_link":"https://github.com/brownplt/LTLTutor/blob/main/Dockerfile","dependencies":[{"id":18114939212,"package_name":"continuumio/miniconda3","ecosystem":"docker","requirements":"latest","direct":true,"kind":"build","optional":false},{"id":18114939213,"package_name":"debian","ecosystem":"docker","requirements":"buster-slim","direct":true,"kind":"build","optional":false}]},{"ecosystem":"pypi","filepath":"conda-requirements.txt","sha":null,"kind":"manifest","created_at":"2024-05-16T18:57:43.973Z","updated_at":"2024-05-16T18:57:43.973Z","repository_link":"https://github.com/brownplt/LTLTutor/blob/main/conda-requirements.txt","dependencies":[{"id":18114939230,"package_name":"spot","ecosystem":"pypi","requirements":"=2.11.6=py39h3d6467e_1","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"pypi","filepath":"requirements.txt","sha":null,"kind":"manifest","created_at":"2024-05-16T18:57:46.178Z","updated_at":"2024-05-16T18:57:46.178Z","repository_link":"https://github.com/brownplt/LTLTutor/blob/main/requirements.txt","dependencies":[{"id":18114940304,"package_name":"annotated-types","ecosystem":"pypi","requirements":"==0.6.0","direct":true,"kind":"runtime","optional":false},{"id":18114940305,"package_name":"antlr4-python3-runtime","ecosystem":"pypi","requirements":"==4.13.1","direct":true,"kind":"runtime","optional":false},{"id":18114940306,"package_name":"anyio","ecosystem":"pypi","requirements":"==4.3.0","direct":true,"kind":"runtime","optional":false},{"id":18114940307,"package_name":"blinker","ecosystem":"pypi","requirements":"==1.8.1","direct":true,"kind":"runtime","optional":false},{"id":18114940308,"package_name":"certifi","ecosystem":"pypi","requirements":"==2024.2.2","direct":true,"kind":"runtime","optional":false},{"id":18114940309,"package_name":"charset-normalizer","ecosystem":"pypi","requirements":"==3.3.2","direct":true,"kind":"runtime","optional":false},{"id":18114940310,"package_name":"click","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":18114940312,"package_name":"distro","ecosystem":"pypi","requirements":"==1.9.0","direct":true,"kind":"runtime","optional":false},{"id":18114940314,"package_name":"exceptiongroup","ecosystem":"pypi","requirements":"==1.2.1","direct":true,"kind":"runtime","optional":false},{"id":18114940316,"package_name":"Flask","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":18114940318,"package_name":"greenlet","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":18114940319,"package_name":"gunicorn","ecosystem":"pypi","requirements":"==20.0.4","direct":true,"kind":"runtime","optional":false},{"id":18114940320,"package_name":"h11","ecosystem":"pypi","requirements":"==0.14.0","direct":true,"kind":"runtime","optional":false},{"id":18114940321,"package_name":"httpcore","ecosystem":"pypi","requirements":"==1.0.5","direct":true,"kind":"runtime","optional":false},{"id":18114940322,"package_name":"httpx","ecosystem":"pypi","requirements":"==0.27.0","direct":true,"kind":"runtime","optional":false},{"id":18114940323,"package_name":"idna","ecosystem":"pypi","requirements":"==3.7","direct":true,"kind":"runtime","optional":false},{"id":18114940324,"package_name":"importlib-metadata","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":18114940325,"package_name":"itsdangerous","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":18114940326,"package_name":"Jinja2","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":18114940327,"package_name":"lark","ecosystem":"pypi","requirements":"==1.1.9","direct":true,"kind":"runtime","optional":false},{"id":18114940328,"package_name":"MarkupSafe","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":18114940329,"package_name":"openai","ecosystem":"pypi","requirements":"==1.12.0","direct":true,"kind":"runtime","optional":false},{"id":18114940330,"package_name":"pydantic","ecosystem":"pypi","requirements":"==2.7.1","direct":true,"kind":"runtime","optional":false},{"id":18114940331,"package_name":"pydantic_core","ecosystem":"pypi","requirements":"==2.18.2","direct":true,"kind":"runtime","optional":false},{"id":18114940332,"package_name":"pylogics","ecosystem":"pypi","requirements":"==0.2.1","direct":true,"kind":"runtime","optional":false},{"id":18114940785,"package_name":"requests","ecosystem":"pypi","requirements":"==2.31.0","direct":true,"kind":"runtime","optional":false},{"id":18114940786,"package_name":"sniffio","ecosystem":"pypi","requirements":"==1.3.1","direct":true,"kind":"runtime","optional":false},{"id":18114940787,"package_name":"SQLAlchemy","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":18114940788,"package_name":"tqdm","ecosystem":"pypi","requirements":"==4.66.2","direct":true,"kind":"runtime","optional":false},{"id":18114940789,"package_name":"typing_extensions","ecosystem":"pypi","requirements":"==4.11.0","direct":true,"kind":"runtime","optional":false},{"id":18114940790,"package_name":"urllib3","ecosystem":"pypi","requirements":"==2.2.1","direct":true,"kind":"runtime","optional":false},{"id":18114940791,"package_name":"Werkzeug","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":18114940792,"package_name":"zipp","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":18114940793,"package_name":"psycopg2-binary","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false}]}],"score":null,"created_at":"2025-09-09T00:57:33.671Z","updated_at":"2025-10-07T08:38:41.043Z","avatar_url":"https://github.com/brownplt.png","language":"Python","category":null,"sub_category":null,"monthly_downloads":0,"funding_links":[],"readme_doi_urls":[],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":[],"project_url":"https://science.ecosyste.ms/api/v1/projects/161875","html_url":"https://science.ecosyste.ms/projects/161875"}