alexfmpe / semantic-satiation
☆14Updated last year
Related projects ⓘ
Alternatives and complementary repositories for semantic-satiation
- A library for benign effects in Haskell☆20Updated last year
- First Class Record Fields in Haskell☆17Updated 4 months ago
- Non-empty Vectors☆24Updated 5 months ago
- Clowns to the left of me, jokers to the right☆14Updated 5 years ago
- Automatic type class law checking.☆24Updated 11 months ago
- Order theory☆23Updated last year
- ☆20Updated last year
- ☆25Updated 4 months ago
- Composable Concurrent Computation Done Right☆30Updated last year
- higher-kinded data☆30Updated last year
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago
- Existential type.☆36Updated 5 months ago
- Demonstrating how to make type families faster using typechecker plugins☆21Updated 3 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆28Updated 3 years ago
- Require that callers propagate `HasCallStack` constraints☆19Updated last year
- Staged Streams and other stuff☆18Updated 2 years ago
- APIs for more recursive definitions☆19Updated 2 weeks ago
- Efficient non-empty variants of containers data types, with full API☆25Updated 4 months ago
- generate contextually sensible fuzz tests for servant apps☆26Updated this week
- There are many category theory implementations, but this one is mine☆14Updated 2 months ago
- An interpreted lambda calculus with Algebraic and Recursive Types.☆18Updated 3 years ago
- Normalization by Evaluation for Embedded Domain-specific Languages☆31Updated last week
- ☆15Updated 2 years ago
- Deriving Applicative for sum types.. Idiomatically.☆11Updated 2 years ago
- It's Data.Graph, but it doesn't suck!☆16Updated 3 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- Folds for recursive types with GHC Generics☆26Updated 4 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- Overloaded plugin☆31Updated 4 months ago
- ☆18Updated 3 years ago