decidable alternatives and similar packages

Based on the "Dependent Types" category.
Alternatively, view decidable alternatives based on common mentions on social networks and blogs.

lens-typelevel

5.7 0.0 decidable VS lens-typelevel

Type-level lenses using singletons because why not
agda2lagda

5.0 1.8 decidable VS agda2lagda

Simple conversion from Agda text to literate Agda text.

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

agda-snippets-hakyll

4.6 0.0 decidable VS agda-snippets-hakyll

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 decidable VS instance-map

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

3.2 5.5 decidable VS agda-unused

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

2.5 0.0 decidable VS list-witnesses

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

- - decidable VS ral-optics

DISCONTINUED. Length-indexed random access lists

Do you think we are missing an alternative of decidable or a related project?

Add another 'Dependent Types' Package

Popular Comparisons

README

decidable

This library provides combinators and typeclasses for working and manipulating type-level predicates in Haskell, which are represented as matchable type-level functions k ~> Type from the singletons library. See Data.Type.Predicate for a good starting point, and the documentation for Predicate on how to define predicates.

decidable

Combinators for manipulating dependently-typed predicates.

decidable alternatives and similar packages

Popular Comparisons

README