https://github.com/agda/agda-stdlib-classes
Extension of Agda's standard library to accommodate a more typeclass-friendly interface.
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.8%) to scientific vocabulary
Repository
Extension of Agda's standard library to accommodate a more typeclass-friendly interface.
Basic Info
- Host: GitHub
- Owner: agda
- License: mit
- Language: Agda
- Default Branch: master
- Homepage: https://agda.github.io/agda-stdlib-classes/
- Size: 28.1 MB
Statistics
- Stars: 3
- Watchers: 2
- Forks: 3
- Open Issues: 6
- Releases: 0
Metadata Files
README.md
Type-classes for the Agda standard library 
Browse the Agda code in HTML here.
Version compatibility
We mirror the version numbers of agda-stdlib.
| agda | agda-stdlib | agda-stdlib-classes | |----------|-----------------|-------------------------| | v2.6.3 | v1.7.2 | v1.7.2 | | v2.6.4 | v1.7.3 | v1.7.3 | | v2.6.4 | v2.0 | v2.0 | | v2.7.0 | v2.1.1 | v2.1.1 | | v2.7.0.1 | v2.2 | v2.2 | | v2.8.0 | v2.3 | v2.3 |
Minor revisions will append to these major versions (e.g. v2.1.1b or v2.1.1.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
- Create event: 13
- Release event: 1
- Issues event: 2
- Watch event: 2
- Delete event: 4
- Issue comment event: 14
- Push event: 31
- Pull request review comment event: 9
- Pull request review event: 11
- Pull request event: 21
- Fork event: 3
Last Year
- Create event: 13
- Release event: 1
- Issues event: 2
- Watch event: 2
- Delete event: 4
- Issue comment event: 14
- Push event: 31
- Pull request review comment event: 9
- Pull request review event: 11
- Pull request event: 21
- Fork event: 3
Issues and Pull Requests
Last synced: 9 months ago
All Time
- Total issues: 3
- Total pull requests: 26
- Average time to close issues: 1 day
- Average time to close pull requests: 5 days
- Total issue authors: 3
- Total pull request authors: 4
- Average comments per issue: 0.67
- Average comments per pull request: 0.54
- Merged pull requests: 21
- Bot issues: 0
- Bot pull requests: 0
Past Year
- Issues: 2
- Pull requests: 25
- Average time to close issues: 1 day
- Average time to close pull requests: 5 days
- Issue authors: 2
- Pull request authors: 4
- Average comments per issue: 1.0
- Average comments per pull request: 0.56
- Merged pull requests: 20
- Bot issues: 0
- Bot pull requests: 0
Top Authors
Issue Authors
- carlostome (1)
- HeinrichApfelmus (1)
Pull Request Authors
- omelkonian (14)
- WhatisRT (8)
- javierdiaz72 (4)
- casvdrest (2)