Haskell Dependent Types

6.5

5.1

decidable

5.8

0.0

lens-typelevel

5.0

4.4

agda2lagda

4.8

0.0

agda-snippets-hakyll

3.4

0.0

instance-map

3.2

5.5

agda-unused

8 Dependent Types packages and projects

decidable

6.5 5.1 Haskell

Combinators for manipulating dependently-typed predicates.
lens-typelevel

5.8 0.0 Haskell

Type-level lenses using singletons because why not

Sevalla - Deploy and host your apps and databases, now with $50 credit!

Sevalla is the PaaS you have been looking for! Advanced deployment pipelines, usage-based pricing, preview apps, templates, human support by developers, and much more!

Promo sevalla.com

agda2lagda

5.0 4.4 Haskell

Simple conversion from Agda text to literate Agda text.
agda-snippets-hakyll

4.8 0.0 Haskell

Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
instance-map

3.4 0.0 Haskell

Haskell dependent types the ugly and brute force way
agda-unused

3.2 5.5 Haskell

Check for unused code in an Agda project.
list-witnesses

2.6 0.0 Haskell

Inductive dependently-typed witnesses for working with type-level lists.
ral-optics

- -

DISCONTINUED. Length-indexed random access lists

Popular Comparisons

Add another 'Dependent Types' Package