ekmett / tagged
phantom types
☆37Updated last month
Related projects ⓘ
Alternatives and complementary repositories for tagged
- More strongly typed variant of the ixset Haskell package☆23Updated 2 months ago
- A natural transformation package☆16Updated last week
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 6 months ago
- Deep evaluation of data structures☆41Updated 2 months ago
- A constant-memory approximation of set membership☆24Updated 4 months ago
- Run lifted IO operations asynchronously and wait for their results☆29Updated last week
- Haskell98 indexed functors, monads, comonads☆25Updated 2 years ago
- open union and open product types in Haskell☆32Updated 4 years ago
- Lens interface for your filesystem☆22Updated 3 years ago
- High-performance JSON parser☆24Updated 6 months ago
- fast utf-8 character sets☆13Updated last week
- Haskell types and parsers for software version numbers.☆20Updated 5 months ago
- Simple comparative benchmarks for CSV parsing libraries☆17Updated 5 years ago
- The most complete prelude formed only from the "base" package☆28Updated last year
- A monad for managed values☆50Updated last year
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Kleene algebra, regular expressions☆32Updated 11 months ago
- List monad transformer☆60Updated 5 months ago
- Reification of data structures using observable sharing☆28Updated last week
- Quiver stream processing library☆15Updated 8 years ago
- Fixpoint data types☆20Updated 4 months ago
- Pure Haskell implementation of SplitMix pseudo-random number generator☆25Updated 3 months ago
- Provides Data.Void, which is in base since ghc 7.8 or so☆19Updated 2 years ago
- Monad morphisms☆47Updated 2 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆24Updated 5 years ago
- Haskell library for efficiently building up buffers☆26Updated 2 months ago
- Clean up the formatting of 'show' output☆22Updated 2 months ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆16Updated last month
- LibSSH2 FFI bindings for Haskell☆26Updated 5 months ago