Haskell Dependent Types

6.5

5.1

decidable

5.8

0.0

lens-typelevel

5.0

1.8

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

Stream - Scalable APIs for Chat, Feeds, Moderation, & Video.

Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.

Promo getstream.io

agda2lagda

5.0 1.8 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.5 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