https://github.com/brownplt/ltltutor
Misconception-based tutor designed to help people learn Linear Temporal Logic.
Science Score: 26.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
○CITATION.cff file
-
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
○DOI references
-
○Academic publication links
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (3.1%) to scientific vocabulary
Keywords
intelligent-tutoring-system
linear-temporal-logic
logic
ltl
tutor
Last synced: 6 months ago
·
JSON representation
Repository
Misconception-based tutor designed to help people learn Linear Temporal Logic.
Basic Info
- Host: GitHub
- Owner: brownplt
- License: gpl-3.0
- Language: Python
- Default Branch: main
- Homepage: https://ltl-tutor.xyz
- Size: 810 KB
Statistics
- Stars: 9
- Watchers: 6
- Forks: 1
- Open Issues: 6
- Releases: 5
Topics
intelligent-tutoring-system
linear-temporal-logic
logic
ltl
tutor
Created almost 2 years ago
· Last pushed 7 months ago
Metadata Files
Readme
License
README.md
An intelligent tutoring system for Linear Temporal Logic.
Owner
- Name: Brown University PLT
- Login: brownplt
- Kind: organization
- Website: http://www.cs.brown.edu/research/plt/
- Repositories: 57
- Profile: https://github.com/brownplt
GitHub Events
Total
- Create event: 32
- Issues event: 22
- Watch event: 2
- Delete event: 26
- Issue comment event: 7
- Push event: 74
- Pull request review comment event: 22
- Pull request review event: 17
- Pull request event: 39
- Gollum event: 8
- Fork event: 1
Last Year
- Create event: 32
- Issues event: 22
- Watch event: 2
- Delete event: 26
- Issue comment event: 7
- Push event: 74
- Pull request review comment event: 22
- Pull request review event: 17
- Pull request event: 39
- Gollum event: 8
- Fork event: 1
Issues and Pull Requests
Last synced: 6 months ago
All Time
- Total issues: 10
- Total pull requests: 16
- Average time to close issues: 19 days
- Average time to close pull requests: 3 days
- Total issue authors: 3
- Total pull request authors: 2
- Average comments per issue: 0.7
- Average comments per pull request: 0.0
- Merged pull requests: 11
- Bot issues: 0
- Bot pull requests: 0
Past Year
- Issues: 10
- Pull requests: 16
- Average time to close issues: 19 days
- Average time to close pull requests: 3 days
- Issue authors: 3
- Pull request authors: 2
- Average comments per issue: 0.7
- Average comments per pull request: 0.0
- Merged pull requests: 11
- Bot issues: 0
- Bot pull requests: 0
Top Authors
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)
Top Labels
Issue Labels
bug (15)
enhancement (3)
help wanted (2)
good first issue (2)
bydesign (1)
invalid (1)
documentation (1)
Pull Request Labels
enhancement (3)
bug (1)
Dependencies
Dockerfile
docker
- continuumio/miniconda3 latest build
- debian buster-slim build
conda-requirements.txt
pypi
- spot =2.11.6=py39h3d6467e_1
requirements.txt
pypi
- Flask *
- Jinja2 *
- MarkupSafe *
- SQLAlchemy *
- Werkzeug *
- annotated-types ==0.6.0
- antlr4-python3-runtime ==4.13.1
- anyio ==4.3.0
- blinker ==1.8.1
- certifi ==2024.2.2
- charset-normalizer ==3.3.2
- click *
- distro ==1.9.0
- exceptiongroup ==1.2.1
- greenlet *
- gunicorn ==20.0.4
- h11 ==0.14.0
- httpcore ==1.0.5
- httpx ==0.27.0
- idna ==3.7
- importlib-metadata *
- itsdangerous *
- lark ==1.1.9
- openai ==1.12.0
- psycopg2-binary *
- pydantic ==2.7.1
- pydantic_core ==2.18.2
- pylogics ==0.2.1
- requests ==2.31.0
- sniffio ==1.3.1
- tqdm ==4.66.2
- typing_extensions ==4.11.0
- urllib3 ==2.2.1
- zipp *