PureScript:
github.com/purescript/registry-index
https://github.com/purescript/registry-index
Project activity
Loading...
Loading...
New Projects: 0
New Releases: 0
New Issues: 0
New Pull Requests: 0
Closed Issues: 0
Merged Pull Requests: 0
Closed Pull Requests: 0
Issue Authors: 0
Pull Request Authors: 0
Active Maintainers: 0
Time to close issues:
N/A
Time to merge pull requests:
N/A
Time to close pull requests:
N/A
Loading...
Commit Stats
Loading...
Loading...
Commits: 0
Commit Authors: 0
Commit Committers: 0
Additions: 0
Deletions: 0
Loading...
Last synced: 3 days ago
JSON representation
- Host: GitHub
- URL: https://github.com/purescript/registry-index
- Owner: purescript
- Created: 2021-08-04T14:19:36.000Z (almost 5 years ago)
- Default Branch: main
- Last Pushed: 2025-07-28T19:47:28.000Z (about 1 year ago)
- Last Synced: 2025-08-06T14:43:50.193Z (12 months ago)
- Homepage:
- Size: 1.94 MB
- Stars: 9
- Watchers: 11
- Forks: 2
- Open Issues: 0
-
Metadata Files:
- Readme: README.md