https://github.com/agda/agda-stdlib-meta
Meta-programming utilities for Agda.
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 (2.2%) to scientific vocabulary
Repository
Meta-programming utilities for Agda.
Basic Info
- Host: GitHub
- Owner: agda
- License: mit
- Language: Agda
- Default Branch: master
- Homepage: https://agda.github.io/agda-stdlib-meta/
- Size: 33.8 MB
Statistics
- Stars: 19
- Watchers: 5
- Forks: 4
- Open Issues: 13
- Releases: 0
Metadata Files
README.md
agda-stdlib-meta: Meta-programming utilities for Agda 
Browse the Agda code in HTML here.
Version compatibility
We mirror the version numbers of agda-stdlib.
| agda | agda-stdlib | agda-stdlib-classes | agda-stdlib-meta | |----------|-----------------|-------------------------|-----------------| | v2.6.3 | v1.7.2 | v1.7.2 | v1.7.2 | | v2.6.4 | v1.7.3 | v1.7.3 | v1.7.3 | | v2.6.4 | v2.0 | v2.0 | v2.0 | | v2.6.4 | v2.1 | v2.1 | v2.1 | | v2.7.0 | v2.1.1 | v2.1.1 | v2.1.1 | | v2.7.0.1 | v2.2 | v2.2 | v2.2 | | v2.8.0 | v2.3 | v2.3 | v2.3 |
Minor revisions will append to these major versions (e.g. v1.7.3b or v1.7.3.10).
Owner
- Name: Agda Github Community
- Login: agda
- Kind: organization
- Website: https://wiki.portal.chalmers.se/agda
- Repositories: 32
- Profile: https://github.com/agda
GitHub Events
Total
- Issues event: 8
- Watch event: 3
- Delete event: 10
- Issue comment event: 12
- Push event: 44
- Pull request review event: 5
- Pull request review comment event: 1
- Pull request event: 25
- Fork event: 2
- Create event: 14
Last Year
- Issues event: 8
- Watch event: 3
- Delete event: 10
- Issue comment event: 12
- Push event: 44
- Pull request review event: 5
- Pull request review comment event: 1
- Pull request event: 25
- Fork event: 2
- Create event: 14
Issues and Pull Requests
Last synced: 9 months ago
All Time
- Total issues: 4
- Total pull requests: 15
- Average time to close issues: 3 months
- Average time to close pull requests: 14 days
- Total issue authors: 3
- Total pull request authors: 4
- Average comments per issue: 0.0
- Average comments per pull request: 0.07
- Merged pull requests: 10
- Bot issues: 0
- Bot pull requests: 0
Past Year
- Issues: 4
- Pull requests: 15
- Average time to close issues: 3 months
- Average time to close pull requests: 14 days
- Issue authors: 3
- Pull request authors: 4
- Average comments per issue: 0.0
- Average comments per pull request: 0.07
- Merged pull requests: 10
- Bot issues: 0
- Bot pull requests: 0
Top Authors
Issue Authors
- WhatisRT (2)
- ana-pantilie (1)
- carlostome (1)
Pull Request Authors
- omelkonian (8)
- WhatisRT (6)
- carlostome (2)
- zahnsimo (1)
Top Labels
Issue Labels
Pull Request Labels
Dependencies
- actions/checkout v2.3.1 composite
- omelkonian/setup-agda master composite