Popularity
6.5
Declining
Activity
5.1
Growing
12
4
5
Monthly Downloads: 14
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Tags:
Dependent Types
Latest version: v0.3.0.0
decidable alternatives and similar packages
Based on the "Dependent Types" category.
Alternatively, view decidable alternatives based on common mentions on social networks and blogs.
-
agda-snippets-hakyll
Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
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

Do you think we are missing an alternative of decidable or a related project?
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.