JOSS: https://github.com/rajarshi008/Scarlet
Score: 9.021598247379305
Last synced: about 2 hours ago
JSON representation
Repository metadata:
Tool for learning linear temporal logic formulas using combinatorial approach
- Host: GitHub
- URL: https://github.com/rajarshi008/Scarlet
- Owner: rajarshi008
- License: mit
- Created: 2021-05-09T23:20:57.000Z (about 5 years ago)
- Default Branch: main
- Last Pushed: 2025-01-11T15:26:54.000Z (over 1 year ago)
- Last Synced: 2026-06-02T12:05:33.202Z (19 days ago)
- Language: Python
- Homepage:
- Size: 13.1 MB
- Stars: 13
- Watchers: 3
- Forks: 2
- Open Issues: 2
-
Metadata Files:
- Readme: README.md
- License: LICENSE.md
Owner metadata:
- Name: Rajarshi Roy
- Login: rajarshi008
- Email:
- Kind: user
- Description: I am PhD student working on Formal Methods and Machine Learning
- Website:
- Location: Kaiserslautern
- Twitter:
- Company: Max Planck Institute for Software systems
- Icon url: https://avatars.githubusercontent.com/u/15666301?u=6b333f6884889f6858220bd59ee537e26cfaf1a8&v=4
- Repositories: 7
- Last Synced at: 2024-04-20T00:38:06.465Z
- Profile URL: https://github.com/rajarshi008
GitHub Events
Total
- Issues event: 1
- Push event: 1
- Total: 2
Last Year
- Total: 0
Committers metadata
Last synced: 9 days ago
Total Commits: 138
Total Committers: 8
Avg Commits per committer: 17.25
Development Distribution Score (DDS): 0.232
Commits in past year: 0
Committers in past year: 0
Avg Commits per committer in past year: 0.0
Development Distribution Score (DDS) in past year: 0.0
| Name | Commits | |
|---|---|---|
| Rajarshi Roy | r****8@g****m | 106 |
| Ritam Raha | r****a@J****n | 9 |
| Ritam | r****8@g****m | 8 |
| Ritam Raha | r****a@R****l | 6 |
| Nathanael Fijalkow | n****w@g****m | 5 |
| Rajarshi Roy | r****y@C****l | 2 |
| Matthew Fernandez | m****z@g****m | 1 |
| Rajarshi Roy | r****i@l****g | 1 |
Issue and Pull Request metadata
Last synced: 26 days ago
Total issues: 11
Total pull requests: 1
Average time to close issues: 3 months
Average time to close pull requests: 25 days
Total issue authors: 3
Total pull request authors: 1
Average comments per issue: 1.09
Average comments per pull request: 0.0
Merged pull request: 1
Bot issues: 0
Bot pull requests: 0
Past year issues: 0
Past year pull requests: 0
Past year average time to close issues: N/A
Past year average time to close pull requests: N/A
Past year issue authors: 0
Past year pull request authors: 0
Past year average comments per issue: 0
Past year average comments per pull request: 0
Past year merged pull request: 0
Past year bot issues: 0
Past year bot pull requests: 0
Top Issue Authors
- JDRomano2 (7)
- Smattr (3)
- SimplisticCode (1)
Top Pull Request Authors
- Smattr (1)
Top Issue Labels
Top Pull Request Labels
Package metadata
- Total packages: 1
-
Total downloads:
- pypi: 67 last-month
- Total dependent packages: 0
- Total dependent repositories: 0
- Total versions: 4
- Total maintainers: 2
pypi.org: scarlet-ltl
A package for learning LTL formulas from a sample consisting of traces partitioned into positive and negative
- Homepage: https://github.com/rajarshi008/Scarlet
- Documentation: https://scarlet-ltl.readthedocs.io/
- Licenses: MIT License
- Latest release: 0.0.4 (published over 2 years ago)
- Last Synced: 2026-06-12T17:04:10.645Z (9 days ago)
- Versions: 4
- Dependent Packages: 0
- Dependent Repositories: 0
- Downloads: 67 Last month
-
Rankings:
- Dependent packages count: 6.633%
- Downloads: 19.731%
- Average: 22.157%
- Stargazers count: 23.317%
- Forks count: 30.492%
- Dependent repos count: 30.611%
- Maintainers (2)
Dependencies
- graphviz *
- lark *
- ltlf2dfa *
- actions/checkout v2 composite
- actions/upload-artifact v1 composite
- openjournals/openjournals-draft-action master composite