luc-tielen / typesystemLinks
Experiments using a bidirectional typesystem
☆17Updated 3 years ago
Alternatives and similar repositories for typesystem
Users that are interested in typesystem are comparing it to the libraries listed below
Sorting:
- Haskell library of row polymorphic record manipulator☆19Updated 4 years ago
- generate contextually sensible fuzz tests for servant apps☆26Updated 7 months ago
- A simple tool for visualising differences in Criterion benchmark results☆14Updated last month
- ☆13Updated 5 years ago
- Omit fields for instance deriving☆37Updated 5 years ago
- Deriving Applicative for sum types.. Idiomatically.☆11Updated 3 years ago
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- Overloaded plugin☆30Updated 11 months ago
- Experimental implementation of generic record subtyping☆18Updated last year
- type classes and deriving via for encoding☆21Updated 5 years ago
- Performance shootout of various trie implementations☆18Updated 6 years ago
- ☆20Updated 2 years ago
- Safe web routing in haskell☆30Updated 2 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Updated 4 years ago
- Utilities for writing GHC type-checker plugins☆10Updated 3 months ago
- Clowns to the left of me, jokers to the right☆15Updated 5 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated 2 years ago
- Symbol manipulation☆36Updated 2 years ago
- United Monoids☆24Updated 2 years ago
- Read and write images as massiv arrays☆13Updated 3 years ago
- ScopeT and ScopeH☆13Updated 10 months ago
- high-level stream sockets in haskell☆17Updated last year
- Applicative maps☆16Updated 8 months ago
- Simplify and render Template Haskell☆18Updated 6 years ago
- Comment on Haskell documentation.☆13Updated 6 years ago
- Basic examples and functions for generics-sop☆20Updated last year
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆17Updated 3 months ago
- Aeson combinators for dead simple JSON decoding☆13Updated last year
- A library for generic programming that aims to be easy to understand☆26Updated 2 months ago
- A text editor zipper libary☆17Updated 6 months ago