mchaver / servant-auth-and-elm-exampleLinks
☆15Updated 7 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
Sorting:
- Safe web routing in haskell☆30Updated 2 years ago
- A monad for managed values☆51Updated 3 weeks ago
- Typesafe, composable SQL in haskell - Talk given at BFPG 2015-09☆11Updated 10 years ago
- Can we write a querying language with Dhall? Let's find out!☆63Updated 7 years ago
- A convenient DSL for describing web routes☆42Updated 5 years ago
- Lens interface for your filesystem☆22Updated 4 years ago
- Reification of data structures using observable sharing☆29Updated last year
- An experiment in functional interface design☆24Updated 9 years ago
- ☆39Updated last year
- Show programming language printed values in a web UI☆24Updated 6 years ago
- Make presentations for data types☆25Updated 4 years ago
- The Str signature and implementations☆21Updated 8 years ago
- QuasiQuoter for GHCJS JavaScript FFI☆20Updated 9 years ago
- A shallow embedding of the OpenGL Shading Language in Haskell☆14Updated 7 years ago
- Web front UI for interactive Haskell projects☆34Updated 5 years ago
- Zippers based on lenses and traversals☆41Updated 2 years ago
- Nat, Fin, Vec☆25Updated 7 months ago
- ☆21Updated 3 years ago
- ☆29Updated 6 years ago
- List monad transformer☆60Updated last year
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last month
- ☆32Updated 7 years ago
- Demonstrating comonad transformers.☆36Updated 9 years ago
- Support for file uploads in multipart/form-data for servant☆40Updated last year
- Cursor data and manipulation☆22Updated 6 months ago
- Kleene algebra, regular expressions☆33Updated 2 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆49Updated last year
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Easy bidirectional serialization in Haskell☆49Updated 7 years ago
- A type and helpers for typesafe SQL access in the presence of many databases.☆23Updated 6 months ago