agda/agda-spec agda/agda-spec

  • Stars
    star
    25
  • Rank 957,573 (Top 19 %)
  • Language
    TeX
  • License
    The Unlicense
  • Created over 7 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
agda/agda-spec
github

agda

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Specification of Agda.

More Repositories

1

agda

Agda is a dependently typed programming language / interactive theorem prover.
Haskell
2,492
star
2

agda-stdlib

The Agda standard library
Agda
579
star
3

cubical

An experimental library for Cubical Agda
Agda
452
star
4

agda-categories

A new Categories library for Agda
Agda
367
star
5

agda2hs

Compiling Agda code to readable Haskell
Agda
176
star
6

agda-frp-js

ECMAScript back end for Functional Reactive Programming in Agda
Agda
103
star
7

agda-language-server

Language Server for Agda
Haskell
101
star
8

agda-frp-ltl

An implementation of Functional Reactive Programming
Agda
41
star
9

agda-ocaml

OCaml backend for Agda
Haskell
39
star
10

agda-pkg

apkg - package manager for Agda
Python
38
star
11

agda-system-io

Bindings to Haskell's IO monad which respect Agda's semantics
Agda
24
star
12

agda-web-semantic

Agda libraries for the semantic web
Agda
23
star
13

ooAgda

Interactive and object-oriented programming in Agda using coinductive types
Agda
22
star
14

agda-finite-prover

Library for proving propositions quantified over finite sets
Agda
14
star
15

package-index

A package Index for agda libraries
12
star
16

categories-examples

Examples of categorical structures
Agda
11
star
17

agda-base

This is an experimental base library which is supposed to contain functional datastructures and reflection code.
Agda
10
star
18

agda-assoc-free

An implementation of "Associativity for Free"
9
star
19

fix-whitespace

Fixes whitespace issues
Haskell
8
star
20

hs-tags

Generate ctags and etags for Haskell files
Haskell
5
star
21

agda-makefile

An makefile with lightweight dependency management
5
star
22

guarded

Agda
5
star
23

agda-data-bindings

Agda bindings for low-level datatypes such as raw naturals and bytestrings
Agda
5
star
24

agda-web-uri

Simple bindings for parsing, processing and serializing URIs
Haskell
4
star
25

agda-github-syntax-highlighting

Syntax highlighting used on GitHub
Agda
4
star
26

agda-uhc

UHC backend for Agda
Haskell
4
star
27

agda-ghc-names

Tool for making sense of the Haskell code generated by the Agda compiler
Haskell
4
star
28

agda-text-xml

Simple bindings for parsing, processing and serializing XML
3
star