phadej / idioms-pluginsLinks
Hack idiom-brackets using GHC Source Plugin (8.6+)
☆25Updated 6 years ago
Alternatives and similar repositories for idioms-plugins
Users that are interested in idioms-plugins are comparing it to the libraries listed below
Sorting:
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆18Updated 4 months ago
- Funny little Haskell impl☆18Updated 4 years ago
- Dependently typed elimination functions using singletons☆28Updated 5 months ago
- A natural transformation package☆16Updated 3 months ago
- Memory-efficient representation of Unicode text strings☆22Updated last month
- ☆23Updated last year
- GHC prof manipulation script☆32Updated last year
- An efficient finite map from (byte)strings to values.☆20Updated last month
- ☆23Updated 7 years ago
- A fast globally unique variable supply with a pure API☆19Updated last year
- Pure Haskell implementation of SplitMix pseudo-random number generator☆25Updated last week
- A text editor zipper libary☆17Updated 7 months ago
- Overloaded plugin☆30Updated last year
- Invertible parsing for S-expressions☆34Updated 2 months ago
- It's Data.Graph, but it doesn't suck!☆16Updated 4 years ago
- Visualization of Haskell data structures☆16Updated last year
- A package re-exporting the verified subset of containers☆20Updated 7 years ago
- Lens interface for your filesystem☆22Updated 4 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 6 months ago
- Existential type.☆37Updated 6 months ago
- Robust persistence for typed immutable data☆17Updated 8 years ago
- Map and Set over contiguous memory☆21Updated last year
- Agda suffices: software written from A to Z in Agda☆16Updated 6 years ago
- Deep evaluation of data structures☆41Updated last week
- Haskell98 indexed functors, monads, comonads☆25Updated 3 years ago
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Updated 5 years ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- Reification of data structures using observable sharing☆29Updated 7 months ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago