well-typed / ixset-typed
More strongly typed variant of the ixset Haskell package
☆24Updated 8 months ago
Alternatives and similar repositories for ixset-typed:
Users that are interested in ixset-typed are comparing it to the libraries listed below
- CLI tool for Hackage☆26Updated 3 months ago
- Haskell types and parsers for software version numbers.☆20Updated 2 months ago
- Dependently-typed finite maps (partial dependent products)☆65Updated 2 months ago
- phantom types☆38Updated 2 months ago
- Surgery for generic data types☆25Updated 4 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 4 months ago
- Maps using values' monoidal structure during merging☆42Updated last week
- Run lifted IO operations asynchronously and wait for their results☆28Updated 5 months ago
- High-performance JSON parser☆26Updated 11 months ago
- Extensible type-safe unions for Haskell☆33Updated 3 weeks ago
- ☆20Updated 5 years ago
- Reification of data structures using observable sharing☆29Updated 5 months ago
- Deep evaluation of data structures☆41Updated 7 months ago
- A command-line tool for live monitoring☆25Updated 2 years ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- Simple comparative benchmarks for CSV parsing libraries☆17Updated 6 years ago
- Clean up the formatting of 'show' output☆21Updated 7 months ago
- Kleene algebra, regular expressions☆32Updated last year
- Quasiquoter for LLVM☆31Updated 7 years ago
- Pure Haskell implementation of SplitMix pseudo-random number generator☆25Updated 3 months ago
- Haskell98 indexed functors, monads, comonads☆25Updated 3 years ago
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Updated 5 years ago
- Existential type.☆37Updated 3 months ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆56Updated last year
- Uniform interface to reified data type information via Template Haskell☆21Updated last month
- Content for the stackage.org site☆10Updated last week
- fast utf-8 character sets☆13Updated last month
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 7 years ago
- Atom LSP plugin for HIE (Haskell IDE Engine)☆26Updated 5 years ago
- Library and utility for processing cabal's plan.json file☆39Updated 3 months ago