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
20 of 157 committers (12.7%) from academic institutions -
✓Institutional organization owner
Organization agda has institutional domain (wiki.portal.chalmers.se) -
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (14.8%) to scientific vocabulary
Keywords
Keywords from Contributors
Repository
The Agda standard library
Basic Info
- Host: GitHub
- Owner: agda
- License: other
- Language: Agda
- Default Branch: master
- Homepage: https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary
- Size: 571 MB
Statistics
- Stars: 620
- Watchers: 27
- Forks: 251
- Open Issues: 309
- Releases: 16
Topics
Metadata Files
README.md
The Agda standard library
The standard library aims to contain all the tools needed to write both programs and proofs easily. While we always try and write efficient code, we prioritize ease of proof over type-checking and normalization performance. If computational performance is important to you, then perhaps try agda-prelude instead.
Getting started
If you're looking to find your way around the library, there are several different ways to get started:
The library's structure and the associated design choices are described in the README.agda.
The README folder, which mirrors the structure of the main library, contains examples of how to use some of the more common modules. Feel free to open a new issue if there's a particular module you feel could do with some more documentation.
You can browse the library's source code in glorious clickable HTML.
Installation instructions
See the installation instructions for the latest version of the standard library.
Old versions of Agda
If you're using an old version of Agda, you can download the corresponding version of the standard library on the Agda wiki. The module index for older versions of the library is also available. For example, version 1.7 can be found at https://agda.github.io/agda-stdlib/v1.7/, just replace in the URL 1.7 with the version that you need.
Development version of Agda
If you're using a development version of Agda rather than the latest official release,
you should use the experimental branch of the standard library rather than master.
Instructions for updating the experimental branch.
The experimental branch contains non-backward compatible patches for upcoming
changes to the language.
Type-checking with flags
The --safe flag
Most of the library can be type-checked using the --safe flag. Please consult
GenerateEverything.hs
for a full list of modules that use unsafe features.
The --cubical-compatible flag
Most of the library can be type-checked using the --cubical-compatible flag, which since Agda v2.6.3 supersedes the former --without-K flag. Please consult
GenerateEverything.hs
for a full list of modules that use axiom K, requiring the --with-K flag.
Contributing to the library
If you would like to suggest improvements, feel free to use the Issues tab.
Even better, if you would like to make the improvements yourself, we have instructions
in HACKING to help
you get started. For those who would simply like to help out, issues marked with
the low-hanging-fruit tag are a good starting point.
Owner
- Name: Agda Github Community
- Login: agda
- Kind: organization
- Website: https://wiki.portal.chalmers.se/agda
- Repositories: 32
- Profile: https://github.com/agda
JOSS Publication
The Agda standard library: version 2.0
Authors
University of Western Australia, Australia
University of Strathclyde, United Kingdom
Heriot-Watt University, United Kingdom
University of Gothenburg and Chalmers University of Technology, Sweden
Independent Software Developer
Huawei Technologies Research & Development, United Kingdom
University of Gothenburg and Chalmers University of Technology, Sweden
Imperial College London, United Kingdom
Russian Academy of Sciences, Russia
University of Gothenburg and Chalmers University of Technology, Sweden
McMaster University, Canada
University of Edinburgh, United Kingdom
Amazon, USA
INRIA, France
Northwestern University, USA
McMaster University, Canada
University of Edinburgh, United Kingdom
Editor
Daniel S. Katz
Tags
Interactive theorem proving Verification Functional programmingCitation (CITATION.cff)
cff-version: 1.2.0 message: "If you use this software, please cite it as below." authors: - name: "The Agda Community" title: "Agda Standard Library" version: 2.3.0 date-released: 2025-08-02 url: "https://github.com/agda/agda-stdlib"
Committers
Last synced: almost 3 years ago
Top Committers
| Name | Commits | |
|---|---|---|
| Nils Anders Danielsson | n****n@g****m | 1,183 |
| MatthewDaggitt | m****t@g****m | 555 |
| G. Allais | g****s@e****g | 285 |
| Andrés Sicard-Ramírez | a****r@e****o | 170 |
| Ulf Norell | u****n@c****e | 106 |
| Andreas Abel | a****l@i****e | 71 |
| Nils Anders Danielsson | n****d@c****e | 58 |
| Nicolas Pouillard | n****d@g****m | 42 |
| Nathan van Doorn | n****4@g****m | 36 |
| Akshobhya K M | a****m@g****m | 33 |
| jamesmckinna | 3****a@u****m | 32 |
| Matthew Daggitt | m****6@c****k | 31 |
| Jacques Carette | c****e@m****a | 29 |
| James McKinna | J****a@h****k | 16 |
| Jesper Cockx | j****r@s****e | 16 |
| Maciej Piechotka | u****2@g****m | 11 |
| Stevan Andjelkovic | s****c@s****k | 11 |
| James Wood | l****i@g****m | 10 |
| Shin-Cheng Mu | s****m@i****w | 10 |
| mechvel | m****l@u****m | 10 |
| Uma Zalakain | p****g@u****o | 9 |
| herminie | 4****h@u****m | 9 |
| Sandro Stucki | s****i@g****m | 9 |
| Liang-Ting Chen | l****w@g****m | 8 |
| Philipp Hausmann | p****t@3****h | 8 |
| Donnacha Oisín Kidney | m****l@d****m | 7 |
| Milo | i****s@g****m | 7 |
| Jason Hu | f****0@h****m | 6 |
| Pepijn Kokke | p****e@g****m | 6 |
| Dominique Devriese | d****e@c****e | 6 |
| and 127 more... | ||
Committer Domains (Top 20 + Academic)
Issues and Pull Requests
Last synced: 6 months ago
All Time
- Total issues: 77
- Total pull requests: 274
- Average time to close issues: 4 months
- Average time to close pull requests: 16 days
- Total issue authors: 19
- Total pull request authors: 20
- Average comments per issue: 3.16
- Average comments per pull request: 1.7
- Merged pull requests: 178
- Bot issues: 0
- Bot pull requests: 0
Past Year
- Issues: 70
- Pull requests: 268
- Average time to close issues: 21 days
- Average time to close pull requests: 6 days
- Issue authors: 16
- Pull request authors: 19
- Average comments per issue: 2.06
- Average comments per pull request: 1.52
- Merged pull requests: 176
- Bot issues: 0
- Bot pull requests: 0
Top Authors
Issue Authors
- jamesmckinna (89)
- mechvel (24)
- JacquesCarette (17)
- gallais (10)
- MatthewDaggitt (9)
- onestruggler (9)
- Taneb (9)
- andreasabel (5)
- jwaldmann (2)
- javierdiaz72 (2)
- jmougeot (2)
- wgbusch (1)
- mildsunrise (1)
- juhp (1)
- m0davis (1)
Pull Request Authors
- jamesmckinna (188)
- jmougeot (128)
- JacquesCarette (21)
- andreasabel (18)
- Taneb (17)
- MatthewDaggitt (16)
- gallais (10)
- carlostome (7)
- mildsunrise (6)
- bsaul (4)
- cspollard (4)
- Ailrun (4)
- mechvel (3)
- laMudri (3)
- omelkonian (3)
Top Labels
Issue Labels
Pull Request Labels
Packages
- Total packages: 1
-
Total downloads:
- npm 16 last-month
- Total dependent packages: 0
- Total dependent repositories: 0
- Total versions: 3
- Total maintainers: 1
npmjs.org: agda-stdlib-0.9
The Agda Standard Library
- License: MIT
- Status: unpublished
-
Latest release: 0.9.3
published over 10 years ago
Rankings
Maintainers (1)
Dependencies
- base >=4.9.0.0 && <4.17
- directory >=1.0.0.0 && <1.4
- filemanip >=0.3.6.2 && <0.4
- filepath >=1.4.1.0 && <1.5
- mtl >=2.2.2 && <2.4
- text >=1.2.3.0 && <2.1
- JamesIves/github-pages-deploy-action 4.1.3 composite
- actions/cache v2 composite
- actions/checkout v2 composite
- haskell/actions/setup v1 composite
- actions/cache v2 composite
- actions/checkout v2 composite