msakai / data-interval
Interval datatype, interval arithmetic, and interval-based containers for Haskell
☆21Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for data-interval
- Haskell counters that can be safely incremented from multiple threads☆17Updated last year
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆16Updated 2 months ago
- Read and write images as massiv arrays☆13Updated 3 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 7 years ago
- It's Data.Graph, but it doesn't suck!☆16Updated 3 years ago
- Memory-efficient representation of Unicode text strings☆22Updated 4 months ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆17Updated 5 months ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆16Updated last month
- Union mount in Haskell, with fsnotify☆12Updated 8 months ago
- Effectful Raw handler for Servant servers.☆16Updated 3 years ago
- Vector builder☆15Updated 11 months ago
- ☆16Updated 2 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- Experimental fork of ghcide which is reimplemented using the FRP library reflex☆17Updated 3 years ago
- Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.☆16Updated 6 months ago
- Clean up the formatting of 'show' output☆22Updated 3 months ago
- 🛗 Typeclass for monads that can be unlifted to arbitrary base monads☆25Updated 3 years ago
- GHC prof manipulation script☆31Updated 9 months ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- Types for ldtk☆14Updated 7 months ago
- Order theory☆23Updated last year
- Type safe JSON PostgreSQL queries using bidirectional serializers☆21Updated 3 years ago
- Zippers for cofree types☆12Updated 2 years ago
- open union and open product types in Haskell☆32Updated 4 years ago
- Dependently typed elimination functions using singletons☆28Updated 3 weeks ago
- Existential type.☆36Updated 6 months ago
- An efficient finite map from (byte)strings to values.☆19Updated this week
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆14Updated last month
- generate contextually sensible fuzz tests for servant apps☆26Updated 2 weeks ago
- Generic pretty-printer for program output☆12Updated 10 months ago