ekmett / heapsLinks
Asymptotically optimal Brodal/Okasaki heaps
☆31Updated 5 months ago
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 month
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 11 months ago
- Haskell time library focusing on performance☆57Updated 5 months ago
- Structured logging solution.☆35Updated 2 months ago
- Utilities for making your applications more debuggable.☆15Updated 5 months ago
- Clean up the formatting of 'show' output☆21Updated 3 weeks ago
- GHC prof manipulation script☆32Updated last year
- higher-kinded data☆30Updated 2 years ago
- Require that callers propagate `HasCallStack` constraints☆21Updated 5 months ago
- Demonstrating how to make type families faster using typechecker plugins☆21Updated 4 years ago
- ☆35Updated 8 months ago
- The most complete prelude formed only from the "base" package☆29Updated last year
- Hackager tool for releasing Haskell packages to Hackage☆30Updated last week
- Haskell98 indexed functors, monads, comonads☆25Updated 3 years ago
- Order theory☆24Updated last year
- A monad for managed values☆50Updated 2 years ago
- Derive instances through isomorphisms☆20Updated 11 months ago
- Dual Traversable☆42Updated 2 years ago
- Text-based interactive GHC .prof viewer☆48Updated last year
- Applicative lexer☆13Updated 5 years ago
- Haskell program configuration using higher kinded data☆29Updated last year
- Library and utility for processing cabal's plan.json file☆39Updated 4 months ago
- Extensible type-safe unions for Haskell☆33Updated 2 months ago
- Existential type.☆37Updated 5 months ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 5 months ago
- ☆30Updated 4 months ago
- GHC language extensions table☆48Updated 5 months ago
- Example uses of linear types☆43Updated 4 years ago
- Deep evaluation of data structures☆41Updated 8 months ago