https://github.com/agda/agda-stdlib-classes

Extension of Agda's standard library to accommodate a more typeclass-friendly interface.

https://github.com/agda/agda-stdlib-classes

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
Last synced: 9 months ago · JSON representation

Repository

Extension of Agda's standard library to accommodate a more typeclass-friendly interface.

Basic Info
Statistics
  • Stars: 3
  • Watchers: 2
  • Forks: 3
  • Open Issues: 6
  • Releases: 0
Created over 2 years ago · Last pushed 10 months ago
Metadata Files
Readme

README.md

Type-classes for the Agda standard library CI

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

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)
Top Labels
Issue Labels
Pull Request Labels
enhancement (1)