agda/agda-base agda/agda-base

  • Stars
    star
    9
  • Rank 1,882,776 (Top 39 %)
  • Language Agda
  • License
    Other
  • Created about 1 year ago
  • Updated 12 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
agda/agda-base
github

agda

Reviews

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

Repository Details

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

More Repositories

1

agda

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

agda-stdlib

The Agda standard library
Agda
556
star
3

cubical

An experimental library for Cubical Agda
Agda
426
star
4

agda-categories

A new Categories library for Agda
Agda
348
star
5

agda2hs

Compiling Agda code to readable Haskell
Agda
167
star
6

agda-frp-js

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

agda-language-server

Language Server for Agda
Haskell
95
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
33
star
11

agda-spec

Specification of Agda.
TeX
25
star
12

agda-system-io

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

agda-web-semantic

Agda libraries for the semantic web
Agda
22
star
14

ooAgda

Interactive and object-oriented programming in Agda using coinductive types
Agda
21
star
15

agda-finite-prover

Library for proving propositions quantified over finite sets
Agda
13
star
16

package-index

A package Index for agda libraries
12
star
17

categories-examples

Examples of categorical structures
Agda
11
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