mchaver / servant-auth-and-elm-example
☆15Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for servant-auth-and-elm-example
- Safe web routing in haskell☆30Updated last year
- Make presentations for data types☆25Updated 3 years ago
- Zippers based on lenses and traversals☆38Updated last year
- A very simple interface for incremental computation using STM in Haskell.☆13Updated last year
- QuasiQuoter for GHCJS JavaScript FFI☆20Updated 8 years ago
- Reification of data structures using observable sharing☆28Updated 3 weeks ago
- Derive a mock server for free from your servant API types☆19Updated last year
- A convenient DSL for describing web routes☆43Updated 4 years ago
- An experiment in functional interface design☆23Updated 8 years ago
- Reasonable Haskell default import☆27Updated 2 years ago
- ☆32Updated 6 years ago
- Kleene algebra, regular expressions☆32Updated last year
- ☆20Updated last year
- Extensible type-safe unions for Haskell☆32Updated 2 months ago
- Easy bidirectional serialization in Haskell☆50Updated 5 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Updated 4 years ago
- Can we write a querying language with Dhall? Let's find out!☆64Updated 6 years ago
- higher-kinded data☆30Updated last year
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 7 years ago
- Demonstrating comonad transformers.☆36Updated 8 years ago
- Simple reflection of expressions☆33Updated 3 years ago
- Derive instances through isomorphisms☆20Updated 5 months ago
- Use hpack's phrasing in dhall to write cabal files☆31Updated 2 months ago
- A Generic implementation of data-has.☆22Updated 4 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 11 months ago
- Nat, Fin, Vec☆24Updated 2 weeks ago
- Template Haskell for generating ToJSON and FromJSON instances for GADTs☆22Updated 5 months ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- ☆40Updated 7 months ago