Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/agda/agda
Agda is a dependently typed programming language / interactive theorem prover.
https://github.com/agda/agda
agda dependent-types programming-language proof-assistant type-theory
Last synced: 2 days ago
JSON representation
Agda is a dependently typed programming language / interactive theorem prover.
- Host: GitHub
- URL: https://github.com/agda/agda
- Owner: agda
- License: other
- Created: 2015-08-08T17:51:48.000Z (over 9 years ago)
- Default Branch: master
- Last Pushed: 2024-10-29T13:56:53.000Z (2 months ago)
- Last Synced: 2024-10-29T15:45:08.805Z (2 months ago)
- Topics: agda, dependent-types, programming-language, proof-assistant, type-theory
- Language: Haskell
- Homepage: https://wiki.portal.chalmers.se/agda/pmwiki.php
- Size: 144 MB
- Stars: 2,500
- Watchers: 65
- Forks: 352
- Open Issues: 1,021
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- License: LICENSE
- Citation: CITATION.cff
Awesome Lists containing this project
- awesome-programming-languages - Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length. It also has parametrised modules, mixfix operators, Unicode characters, and an interactive Emacs interface which can assist the programmer in writing the program. (Uncategorized / Uncategorized)
- programming-languages - Agda - Dependently typed functional language. (Functional)
- my-awesome - agda/agda - types,programming-language,proof-assistant,type-theory pushed_at:2025-01 star:2.5k fork:0.4k Agda is a dependently typed programming language / interactive theorem prover. (Haskell)
README
Agda 2
======[![Hackage version](https://img.shields.io/hackage/v/Agda.svg?label=Hackage)](http://hackage.haskell.org/package/Agda)
[![Stackage version](https://www.stackage.org/package/Agda/badge/lts?label=Stackage)](https://www.stackage.org/package/Agda)
[![Test](https://github.com/agda/agda/workflows/Build,%20Test,%20and%20Benchmark/badge.svg?branch=master)](https://github.com/agda/agda/actions?query=workflow%3A%22Build%2C+Test%2C+and+Benchmark%22)
[![Documentation Status](https://readthedocs.org/projects/agda/badge/?version=latest)](http://agda.readthedocs.io/en/latest/?badge=latest)
[![Agda Zulip](https://img.shields.io/badge/zulip-join_chat-brightgreen.svg)](https://agda.zulipchat.com)![The official Agda logo](https://raw.githubusercontent.com/agda/agda/master/doc/user-manual/agda.svg)
Note that this README is only about Agda, not its standard
library. See the [Agda Wiki][agdawiki] for information about the
library.Documentation
-------------* [User manual](http://agda.readthedocs.io)
(per-commit pdf can be downloaded from the
[github actions](https://github.com/agda/agda/actions/workflows/user_manual.yml) page)
* [CHANGELOG](https://github.com/agda/agda/blob/master/CHANGELOG.md)Getting Started
----------------* [Installation](https://agda.readthedocs.io/en/latest/getting-started/installation.html)
* [Quick guide to editing, type checking and compiling Agda
code](https://agda.readthedocs.io/en/latest/getting-started/a-taste-of-agda.html)Contributing to Agda
--------------------* Contribution how-to: [`HACKING`](https://github.com/agda/agda/blob/master/HACKING.md)
* [Haskell style-guide](https://github.com/andreasabel/haskell-style-guide/blob/master/haskell-style.md)[agdawiki]: http://wiki.portal.chalmers.se/agda/pmwiki.php