agda

Agda is a dependently typed programming language / interactive theorem prover.

https://github.com/agda/agda

Science Score: 62.0%

This score indicates how likely this project is to be science-related based on various indicators:

✓
CITATION.cff file
Found CITATION.cff file
✓
codemeta.json file
Found codemeta.json file
✓
.zenodo.json file
Found .zenodo.json file
○
DOI references
○
Academic publication links
✓
Committers with academic emails
32 of 242 committers (13.2%) from academic institutions
✓
Institutional organization owner
Organization agda has institutional domain (wiki.portal.chalmers.se)
○
JOSS paper metadata
○
Scientific vocabulary similarity
Low similarity (9.7%) to scientific vocabulary

Keywords

agda dependent-types programming-language proof-assistant type-theory

Keywords from Contributors

haskell version hdfs pde mathematics interactive optim qt operating-system state-management

Last synced: 4 months ago · JSON representation ·

Repository

Agda is a dependently typed programming language / interactive theorem prover.

Basic Info

Host: GitHub
Owner: agda
License: other
Language: Haskell
Default Branch: master
Homepage: https://wiki.portal.chalmers.se/agda/pmwiki.php
Size: 148 MB

Statistics

Stars: 2,698
Watchers: 64
Forks: 380
Open Issues: 1,058
Releases: 0

Topics

agda dependent-types programming-language proof-assistant type-theory

Created over 10 years ago · Last pushed 4 months ago

Metadata Files

Readme Changelog License Citation

Agda 2

The official Agda logo

Note that this README is only about Agda, not its standard library. See the Agda Wiki for information about the library.

Documentation

User manual (per-commit pdf can be downloaded from the github actions page)
CHANGELOG

Getting Started

Contributing to Agda

Contribution how-to: HACKING
Haskell style-guide

Owner

Name: Agda Github Community
Login: agda
Kind: organization

Website: https://wiki.portal.chalmers.se/agda
Repositories: 32
Profile: https://github.com/agda

Citation (CITATION.cff)

cff-version: 1.2.0
message: "If you use this software, please cite it as below."
authors:
- name: "Agda Developers"
title: "Agda"
version: 2.9.0
license-url: "https://agda.readthedocs.io/en/v2.9.0/team.html"
url: "https://agda.readthedocs.io/"

Committers

Last synced: 8 months ago

All Time

Total Commits: 20,209
Total Committers: 242
Avg Commits per committer: 83.508
Development Distribution Score (DDS): 0.703

Past Year

Commits: 878
Committers: 33
Avg Commits per committer: 26.606
Development Distribution Score (DDS): 0.264

Top Committers

Name	Email	Commits
Andreas Abel	a**l@i**e	6,012
Ulf Norell	u**n@c**e	4,433
Nils Anders Danielsson	n**d@c**e	2,382
Andrés Sicard-Ramírez	a**r@e**o	2,160
Jesper Cockx	j**x@c**e	1,550
Andrea Vezzosi	s**n@g**m	546
Philipp Hausmann	p**t@3**h	388
Robert Estelle	r**e@g**m	380
Guillaume Allais	g**s@e**g	298
Liang-Ting Chen	l**w@g**m	211
Francesco Mazzoli	f@m****i	129
Amélia Liao	me@a****w	117
Fredrik Nordvall Forsberg	c**f@s**k	115
Tesla Ice Zhang	i**n@f**m	80
Dominique Devriese	d**e@c**e	77
Péter Diviánszky	d**p@g**m	75
Víctor López Juan	v**r@l**m	66
Herminie Pagel	n**p@f**m	44
James Chapman	j**n@i**o	44
Alex Haršáni	a**i@g**m	42
Phil de Joux	p**t@g**m	39
Arthur Adjedj	a**j@g**m	34
Stevan Andjelkovic	s**c@s**k	32
Nicolas Pouillard	n**d@g**m	31
Paolo G. Giarrusso	p**o@g**m	30
Szumi Xie	s**e@g**m	28
Daniel Gustafsson	d**n@g**m	25
Kuen-Bang Hou (Favonia)	f**a@g**m	24
Alan Jeffrey	a**y@b**m	23
Naïm Favier	n@m****i	23
and 212 more...

Committer Domains (Top 20 + Academic)

chalmers.se: 5 cs.nott.ac.uk: 3 aist.go.jp: 3 kuleuven.be: 2 cs.kuleuven.be: 2 strath.ac.uk: 2 iki.fi: 2 posteo.net: 2 karetnikov.org: 1 community.haskell.org: 1 uu.nl: 1 pm.me: 1 viktorl.in: 1 sandbergericsson.se: 1 gmx.com: 1 mcmaster.ca: 1 gmx.de: 1 alumni.cmu.edu: 1 utah.edu: 1 posteo.de: 1 cs.chalmers.se: 1 eafit.edu.co: 1 swansea.ac.uk: 1 sandiego.edu: 1 mail.mcgill.ca: 1 ccs.neu.edu: 1 swan.ac.uk: 1 mit.edu: 1 ll.mit.edu: 1 cse.unsw.edu.au: 1 hw.ac.uk: 1 brighton.ac.uk: 1 ku.edu: 1 illinois.edu: 1 iu.edu: 1 uwaterloo.ca: 1 alum.mit.edu: 1 nottingham.edu.cn: 1 iis.sinica.edu.tw: 1

Issues and Pull Requests

Last synced: 4 months ago

All Time

Total issues: 691
Total pull requests: 877
Average time to close issues: 7 months
Average time to close pull requests: about 2 months
Total issue authors: 142
Total pull request authors: 59
Average comments per issue: 3.2
Average comments per pull request: 1.38
Merged pull requests: 650
Bot issues: 0
Bot pull requests: 7

Past Year

Issues: 261
Pull requests: 546
Average time to close issues: 8 days
Average time to close pull requests: 4 days
Issue authors: 77
Pull request authors: 28
Average comments per issue: 1.34
Average comments per pull request: 1.07
Merged pull requests: 436
Bot issues: 0
Bot pull requests: 1

View more stats

Top Authors

Issue Authors

andreasabel (159)
GoogleCodeExporter (115)
nad (43)
lawcho (21)
plt-amy (21)
szumixie (19)
jespercockx (17)
UlfNorell (15)
gallais (11)
jamesmckinna (11)
mietek (9)
ncfavier (9)
mechvel (8)
wenkokke (8)
sattlerc (7)

Pull Request Authors

andreasabel (463)
plt-amy (67)
UlfNorell (63)
jespercockx (49)
szumixie (37)
ncfavier (24)
lawcho (23)
AndrasKovacs (18)
philderbeast (13)
dependabot[bot] (7)
L-TChen (7)
nad (6)
phikal (6)
marcinjangrzybowski (6)
gallais (5)

Top Labels

Issue Labels

type: bug (211) type: enhancement (77) internal-error (36) ux: error reporting (34) cubical (29) ux: documentation (28) instance (23) performance (21) type: discussion (21) modules (19) status: duplicate (19) with (18) ux: warnings (18) faq (17) termination (17) auto (17) erasure (16) rewriting (16) reflection (14) regression on master (14) display pragma (14) ux: display (14) devx (13) release blocker (13) generalize (12) ux: interaction (12) Mimer (12) backend: ghc (12) import (11) positivity (11)

Pull Request Labels

refactor (76) pr: preserve commits (63) ux: error reporting (58) ux: warnings (49) pr: squash-me (44) GenericError (36) ux: installation (35) infra: github workflows (34) internal-error (30) type: bug (25) performance (25) instance (25) ux: emacs (24) ux: documentation (24) Mimer (22) release (22) cubical (21) range (20) infra: test suite (19) devx (19) parser (14) backend: js (13) record constructors (13) termination (13) type: enhancement (13) ux: options (13) reflection (13) regression on master (12) ux: highlighting (12) polarity (12)

Packages

Total packages: 1
Total downloads:
- pypi 1,684 last-month

Total dependent packages: 0
Total dependent repositories: 1
Total versions: 8
Total maintainers: 1

pypi.org: agda

A project that packages Agda as a Python package.

Documentation: https://agda.readthedocs.io/
License: MIT License Copyright (c) 2023 Wen Kokke Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
Latest release: 2.7.0
published over 1 year ago

Versions: 8
Dependent Packages: 0
Dependent Repositories: 1
Downloads: 1,684 Last month

Rankings

Dependent packages count: 10.1%

Downloads: 13.6%

Average: 15.1%

Dependent repos count: 21.6%

Maintainers (1)

wenkokke

Last synced: 4 months ago

Dependencies

.github/workflows/cabal-install.yml actions

actions/cache/restore v3 composite
actions/cache/save v3 composite
actions/checkout v4 composite
haskell-actions/setup v2 composite
styfle/cancel-workflow-action 0.11.0 composite

.github/workflows/cabal.yml actions

actions/cache v3 composite
actions/checkout v4 composite
haskell-actions/setup v2 composite
styfle/cancel-workflow-action 0.11.0 composite

.github/workflows/delete-unused-caches.yml actions

actions/checkout v4 composite

.github/workflows/deploy.yml actions

actions/cache v3 composite
actions/checkout v4 composite
actions/download-artifact v3 composite
actions/upload-artifact v3 composite
haskell-actions/setup v2 composite
styfle/cancel-workflow-action 0.11.0 composite
svenstaro/upx-action v2 composite

.github/workflows/haddock.yml actions

actions/cache v3 composite
actions/checkout v4 composite
haskell-actions/setup v2 composite
peaceiris/actions-gh-pages v3 composite

.github/workflows/stack-dry-run.yml actions

actions/checkout v4 composite
haskell-actions/setup v2 composite
styfle/cancel-workflow-action 0.11.0 composite

.github/workflows/stack.yml actions

actions/cache/restore v3 composite
actions/cache/save v3 composite
actions/checkout v4 composite
haskell-actions/setup v2 composite
styfle/cancel-workflow-action 0.11.0 composite

.github/workflows/test.yml actions

actions/cache v3 composite
actions/cache/restore v3 composite
actions/checkout v4 composite
actions/download-artifact v3 composite
actions/upload-artifact v3 composite
haskell-actions/setup v2 composite
styfle/cancel-workflow-action 0.11.0 composite

.github/workflows/user_manual.yml actions

actions/checkout v4 composite
actions/setup-python v4 composite
actions/upload-artifact v3 composite

.github/workflows/whitespace.yml actions

actions/checkout v4 composite
andreasabel/fix-whitespace-action v1 composite

Agda.cabal hackage

src/agda-bisect/agda-bisect.cabal hackage

ansi-wl-pprint >=0.6.7.3 && <0.7
base >=4.9.0.0 && <4.18
directory >=1.2.6.2 && <1.4
filepath >=1.4.1.0 && <1.5
optparse-applicative >=0.13 && <0.18
process >=1.4.2.0 && <1.7
time >=1.6.0.1 && <1.13
unix >=2.7.2.0 && <2.8

src/release-tools/closed-issues-for-milestone/closed-issues-for-milestone.cabal hackage

base >=4.13.0.0 && <4.19
bytestring >=0.10.9.0 && <0.12
github ==0.29.*
text >=1.2.3 && <2.1
vector >=0.12.0.3 && <0.14

src/size-solver/size-solver.cabal hackage

Agda ==2.6.4
base >=4.12.0.0 && <5
containers >=0.5.7.1 && <0.7
mtl >=2.2.1 && <2.4
parsec ==3.1.*

test/Bugs/Issue4569/HelloWorld.cabal hackage

HelloWorld *
base *

doc/user-manual/requirements.txt pypi

Sphinx >=7.2.5
sphinx_rtd_theme >=1.3.0

agda

Science Score: 62.0%

Keywords

Keywords from Contributors

Repository

Basic Info

Statistics

Topics

Metadata Files

README.md

Agda 2

Documentation

Getting Started

Contributing to Agda

Owner

Citation (CITATION.cff)

Committers

All Time

Past Year

Top Committers

Committer Domains (Top 20 + Academic)

Issues and Pull Requests

All Time

Past Year

Top Authors

Issue Authors

Pull Request Authors

Top Labels

Issue Labels

Pull Request Labels

Packages

pypi.org: agda

Rankings

Maintainers (1)

Dependencies