ekmett / intervalsLinks
Interval Arithmetic
☆27Updated 4 months ago
Alternatives and similar repositories for intervals
Users that are interested in intervals are comparing it to the libraries listed below
Sorting:
- Dependently typed elimination functions using singletons☆28Updated 5 months ago
- Structured logging solution.☆35Updated 2 months ago
- Finitely represented /total/ maps☆17Updated 5 years ago
- Benchmarks for numbers: ints, doubles, bignums, rationals, etc.☆20Updated 8 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 6 years ago
- Maps using values' monoidal structure during merging☆42Updated last month
- A natural transformation package☆16Updated 3 months ago
- Uniform interface to reified data type information via Template Haskell☆21Updated 3 months ago
- ST with efficient exceptions☆20Updated 8 years ago
- Visualization of Haskell data structures☆16Updated last year
- Quiver stream processing library☆15Updated 8 years ago
- ListT done right☆15Updated last year
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆17Updated 2 months ago
- Performance shootout of various trie implementations☆18Updated 6 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Updated 4 years ago
- Simplify and render Template Haskell☆18Updated 6 years ago
- Streaming csv parser using cassava and pipes☆20Updated 9 years ago
- Backports of GHC deriving extensions☆13Updated 3 months ago
- ☆23Updated 7 years ago
- Haskell pretty printing library supporting indentation, mixfix operators, and automatic line breaks.☆14Updated 8 years ago
- playing with hyperfunctions☆16Updated 4 years ago
- Simple reflection of expressions☆33Updated 3 years ago
- Deriving Storable instances using GHC.Generics☆16Updated 3 years ago
- Show programming language printed values in a web UI☆24Updated 6 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- Expands type synonyms in Template Haskell ASTs☆11Updated 5 months ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25Updated 6 years ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- Yet another concurrent playground☆33Updated 9 years ago
- A package re-exporting the verified subset of containers☆20Updated 6 years ago