100 Data Structures packages and projects
-
Agda
10.0 9.9 HaskellAgda is a dependently typed programming language / interactive theorem prover. -
vinyl
9.7 0.0 HaskellExtensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode. -
parameterized-utils
9.1 7.9 HaskellA set of utilities for using indexed types including containers, equality, and comparison. -
type-level-sets
8.8 0.0 HaskellType-level sets for Haskell (with value-level counterparts and various operations) -
justified-containers
8.6 0.0 HaskellStandard containers, with keys that carry type-level proofs of their own presence. -
nonempty-containers
7.7 6.0 HaskellEfficient non-empty variants of containers data types, with full API -
claferIG
6.8 3.9 HaskellSupport for reasoning on Clafer models by instantiation and counter example generation. -
heap
5.5 0.0 HaskellA flexible Haskell implementation of minimum, maximum, minimum-priority, maximum-priority and custom-ordered heaps. -
data-stringmap
5.2 0.0 HaskellHaskell Project to convert the PrefixTree of the Holumbus into it's own Hackage Packet -
repa-devil
4.9 0.0 HaskellImage library based on the DevIL open source image library for the repa array library. -
extended-containers
4.7 3.4 HaskellA Haskell library for containers to extend the containers and unordered-containers packages. -
agda-snippets
4.4 0.0 HaskellLibrary and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched. -
colorful-monoids
3.7 0.0 Haskellcolorful-monoids: Styled console text output using ANSI escape sequences -
invertible
3.7 1.8 HaskellHaskell bidirectional arrows, bijective functions, and invariant functors -
graph-wrapper
3.4 1.8 HaskellA wrapper around the standard Data.Graph with a less awkward interface -
bk-tree
3.0 0.0 HaskellHaskell library meant to be a set of tools to correct spelling mistakes, homophones, and OCR errors -
tie-knot
2.7 0.0 Haskell"Ties the knot" on a given set of structures that reference each other by keys - replaces the keys with their respective values.
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