8 Dependent Types packages and projects
-
agda-snippets-hakyll
4.8 0.0 HaskellLibrary and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched. -
list-witnesses
2.5 0.0 HaskellInductive dependently-typed witnesses for working with type-level lists.
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
