ekmett / heapsLinks
Asymptotically optimal Brodal/Okasaki heaps
☆34Updated last year
Alternatives and similar repositories for heaps
Users that are interested in heaps are comparing it to the libraries listed below
Sorting:
- Maps using values' monoidal structure during merging☆42Updated last week
- Haskell time library focusing on performance☆59Updated 2 months ago
- GHC prof manipulation script☆32Updated 2 years ago
- Deep evaluation of data structures☆43Updated 7 months ago
- A monad for managed values☆51Updated 2 months ago
- Compile Dhall expressions to Cabal files☆101Updated 3 years ago
- Non-empty Vectors☆26Updated 9 months ago
- Golden tests with Hspec☆29Updated 3 months ago
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- Memory-efficient representation of Unicode text strings☆22Updated last month
- Operations on files and directories with typed paths☆32Updated last week
- A GHC plugin and library for analysing GHC Core☆54Updated last year
- Hackager tool for releasing Haskell packages to Hackage☆32Updated 4 months ago
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Updated last week
- Structured logging solution.☆38Updated 3 months ago
- Serializable closures for distributed programming.☆66Updated 2 years ago
- Benchmarks for numbers: ints, doubles, bignums, rationals, etc.☆20Updated 8 years ago
- Filter with effects☆76Updated last year
- Ghosts of Departed Proofs☆63Updated 5 years ago
- ☆45Updated 4 years ago
- Batteries-included structured logging library☆31Updated last month
- 👅 Parse Haskell Language Extensions☆48Updated 4 months ago
- Dependently-typed finite maps (partial dependent products)☆67Updated 3 months ago
- Quickcheck Properties for common typeclasses☆35Updated last month
- rewrite rules for type-level equalities☆62Updated 5 months ago
- ghc --make reimplemented with Shake☆32Updated 2 years ago
- higher-kinded data☆30Updated 2 years ago
- The most complete prelude formed only from the "base" package☆29Updated 2 years ago
- Safe web routing in haskell☆30Updated 2 years ago
- Surgery for generic data types☆25Updated 5 years ago