RyanGlScott / gists
The greatest hits of https://gist.github.com/RyanGlScott
☆11Updated last year
Related projects: ⓘ
- Provides free functors that are adjoint to functors that forget class constraints.☆27Updated 3 weeks ago
- Library and tool for parsing .eventlog files from GHC☆33Updated last month
- Staged Streams and other stuff☆18Updated 2 years ago
- 📤 defer instance resolution until runtime☆18Updated 4 years ago
- Maps using values' monoidal structure during merging☆42Updated 3 months ago
- "Preload" Haskell packages to override them☆12Updated 5 years ago
- ☆24Updated 4 years ago
- Derive KnownNat constraints from other KnownNat constraints☆14Updated 3 months ago
- Folds for recursive types with GHC Generics☆26Updated 4 years ago
- Source Layouting Engine☆11Updated 3 years ago
- A single typeclass for Functor, Bifunctor, Trifunctor, etc.☆40Updated last year
- Automatic type class law checking.☆24Updated 9 months ago
- Overloaded plugin☆31Updated 3 months ago
- Safe web routing in haskell☆30Updated last year
- A library of components for RISC-V implementations in Haskell CLaSH☆11Updated 7 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 5 years ago
- United Monoids☆24Updated last year
- Script to download all of Hackage☆14Updated 5 years ago
- Deriving Semigroup and Monoid instances for your product types☆11Updated last month
- A package re-exporting the verified subset of containers☆20Updated 6 years ago
- Extensible type-safe unions for Haskell☆31Updated last week
- An experimental build system based on the Haxl library☆8Updated 5 years ago
- There are many category theory implementations, but this one is mine☆14Updated 3 weeks ago
- Map and Set over contiguous memory☆21Updated last year
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆28Updated 3 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- Demonstrating how to make type families faster using typechecker plugins☆21Updated 3 years ago
- Dependently typed elimination functions using singletons☆27Updated 3 months ago
- An attoparsec roundtrip☆17Updated 4 years ago