ekmett / heaps
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
- GHC prof manipulation script☆32Updated last year
- Maps using values' monoidal structure during merging☆42Updated last month
- Demonstrating how to make type families faster using typechecker plugins☆21Updated 4 years ago
- Library and utility for processing cabal's plan.json file☆39Updated 3 months ago
- Old and New GHC☆20Updated 2 years ago
- Surgery for generic data types☆25Updated 4 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 11 months ago
- Deep evaluation of data structures☆41Updated 7 months ago
- Applicative lexer☆13Updated 5 years ago
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- High-performance JSON parser☆26Updated last year
- Clean up the formatting of 'show' output☆21Updated 8 months ago
- Session Types with Priority in Linear Haskell☆26Updated 10 months ago
- Benchmarks for numbers: ints, doubles, bignums, rationals, etc.☆20Updated 7 years ago
- ☆35Updated 7 months ago
- Existential type.☆37Updated 4 months ago
- Haskell98 indexed functors, monads, comonads☆25Updated 3 years ago
- Batteries-included structured logging library☆30Updated 3 weeks ago
- higher-kinded data☆30Updated last year
- Structured logging solution.☆35Updated last month
- ☆18Updated 4 years ago
- Memory-efficient representation of Unicode text strings☆22Updated 4 months ago
- Efficiently scale, crop, flip images with JuicyPixels☆14Updated last month
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- Overloaded plugin☆30Updated 10 months ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Automation for releasing haskell packages☆18Updated last year
- Extensible type-safe unions for Haskell☆33Updated last month
- Text-based interactive GHC .prof viewer☆48Updated last year
- A monad for managed values☆50Updated 2 years ago