agda

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

OTHER License

Stars
2.4K
View Code on GitHub Visit Website
Ecosystems: Haskell

Agda 2

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

Documentation

Getting Started

Contributing to Agda

Badges
Extracted from project README
Hackage version Stackage version Test Documentation Status Agda Zulip
Related Projects
haskell-study-plan

An opinionated list of resources for learning Haskell

28 Sep 2018 867
haskell-gi

Generate Haskell bindings for GObject-Introspection capable libraries

10 Apr 2013 278
Idris-dev

A Dependently Typed Functional Programming Language

14 Sep 2011 3,426
ghc-compiler-notes

A collection of Notes on GHC

12 Jan 2019 69
pandoc

Universal markup converter

20 Mar 2010 32,448
awesome-haskell

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome pr...

13 Jul 2014 3,021
fp-lab-2022-23

02 Oct 2022 7
next-700-module-systems

PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothin...

25 Apr 2019 80
eta

The Eta Programming Language, a dialect of Haskell on the JVM

07 Apr 2016 2,593
dot-analysis

Analysing dependency graphs produced by Agda

21 Jun 2023 5
hs-to-coq

Convert Haskell source code to Coq source code.

03 Nov 2020 77
haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

25 Jan 2020 2,565
write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

05 Jan 2015 3,341
cabal

Official upstream development repository for Cabal and cabal-install

15 Mar 2012 1,563
happy

The Happy parser generator for Haskell

21 Sep 2012 271