mchaver / servant-auth-and-elm-example
☆15Updated 6 years ago
Alternatives and similar repositories for servant-auth-and-elm-example:
Users that are interested in servant-auth-and-elm-example are comparing it to the libraries listed below
- Safe web routing in haskell☆30Updated last year
- Typesafe, composable SQL in haskell - Talk given at BFPG 2015-09☆11Updated 9 years ago
- Demonstrating comonad transformers.☆36Updated 8 years ago
- QuasiQuoter for GHCJS JavaScript FFI☆20Updated 8 years ago
- An example application using servant-elm.☆19Updated 6 years ago
- Kleene algebra, regular expressions☆32Updated last year
- Servant combinators for writing secure GitHub webhooks☆17Updated last year
- A shallow embedding of the OpenGL Shading Language in Haskell☆15Updated 6 years ago
- ☆20Updated 2 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Updated 4 years ago
- Nat, Fin, Vec☆24Updated 2 months ago
- A monad for managed values☆50Updated last year
- An experiment in functional interface design☆23Updated 8 years ago
- Extensible type-safe unions for Haskell☆33Updated 4 months ago
- Generate a command line client from a servant API☆28Updated last year
- A Generic implementation of data-has.☆22Updated 4 years ago
- ☆39Updated 8 months ago
- Derive a mock server for free from your servant API types☆19Updated last year
- generate contextually sensible fuzz tests for servant apps☆26Updated 2 months ago
- ☆32Updated 6 years ago
- Dependently typed elimination functions using singletons☆28Updated 2 weeks ago
- Purescript bindings for the Ace editor☆19Updated 2 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated last year
- Guess-A-Number game in Haskell using Polysemy☆28Updated 2 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Updated 7 years ago
- A toy implementation of Haxl to illustrate the internals☆22Updated 7 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆16Updated last month
- Template Haskell for generating ToJSON and FromJSON instances for GADTs☆22Updated this week
- Example web server to show how to use a bounded queue to asynchronously send emails☆12Updated 7 years ago
- Library and tool for parsing .eventlog files from GHC☆33Updated 3 weeks ago