agda/agda-web-uri agda/agda-web-uri

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Haskell
  • License
    MIT License
  • Created over 13 years ago
  • Updated over 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
agda/agda-web-uri
github

agda

Reviews

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

Repository Details

Simple bindings for parsing, processing and serializing URIs

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-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
23
star
14

ooAgda

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

agda-finite-prover

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

package-index

A package Index for agda libraries
12
star
17

categories-examples

Examples of categorical structures
Agda
11
star
18

agda-base

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

agda-assoc-free

An implementation of "Associativity for Free"
9
star
20

fix-whitespace

Fixes whitespace issues
Haskell
8
star
21

hs-tags

Generate ctags and etags for Haskell files
Haskell
5
star
22

agda-makefile

An makefile with lightweight dependency management
5
star
23

guarded

Agda
5
star
24

agda-data-bindings

Agda bindings for low-level datatypes such as raw naturals and bytestrings
Agda
5
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