algas / haskell-servant-cookbookView external linksLinks
Haskell Servant Cookbook
☆84Aug 15, 2021Updated 4 years ago
Alternatives and similar repositories for haskell-servant-cookbook
Users that are interested in haskell-servant-cookbook are comparing it to the libraries listed below
Sorting:
- haskell prof file CLI/Curses tool☆32May 2, 2017Updated 8 years ago
- ☆39Apr 22, 2024Updated last year
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆34Apr 4, 2022Updated 3 years ago
- Deriving via☆33Aug 6, 2018Updated 7 years ago
- A toy implementation of Haxl to illustrate the internals☆22Jun 29, 2017Updated 8 years ago
- Auto-generate a server for your datatype☆30Sep 4, 2022Updated 3 years ago
- Finitely represented /total/ maps☆17Nov 23, 2019Updated 6 years ago
- An reimplementation of the Statistics.Sample Haskell module using the foldl package☆22May 6, 2024Updated last year
- Syntactic evaluation of STLC (incl. proof of normalization a la Software Foundations)☆13Nov 19, 2017Updated 8 years ago
- Generate standalone haddock documentation for a set of packages☆28Jun 27, 2020Updated 5 years ago
- A tiny implementation of dependent types.☆11Oct 24, 2017Updated 8 years ago
- Utility monad stack to be used in servant☆46Mar 28, 2017Updated 8 years ago
- This will, one day, be a Haskell implementation of Cap'n Proto.☆11Feb 21, 2016Updated 9 years ago
- Run digestive-functors against a JSON document☆34Sep 30, 2022Updated 3 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Sep 16, 2017Updated 8 years ago
- Swagger for Servant☆123Nov 17, 2021Updated 4 years ago
- what it says on the tin☆24Jun 6, 2018Updated 7 years ago
- An implementation of GraphQL in Haskell.☆21Jun 17, 2017Updated 8 years ago
- Example of Isomorphic React Application written in PureScript☆22Aug 27, 2017Updated 8 years ago
- A small, "full-stack" Purescript "video tracker" for me to track what shows I've watched locally☆72Jun 6, 2020Updated 5 years ago
- Drive the Nix build system using the Dhall configuration language☆26Nov 17, 2018Updated 7 years ago
- A structured logging framework for Haskell☆214Sep 3, 2025Updated 5 months ago
- Quickly sets up a NixOS build-slave in VirtualBox to ease NixOps deployments from macOS, etc.☆18Feb 23, 2017Updated 8 years ago
- Provides a Aff interface to Node Child Process Spawn☆14Mar 18, 2024Updated last year
- A full-stack Haskell web application starter project.☆43Oct 29, 2017Updated 8 years ago
- ☆158Oct 29, 2021Updated 4 years ago
- A demonstration on how to use Nix to build, test and deploy a Haskell application☆65Oct 31, 2017Updated 8 years ago
- Type-safe library for generating haskell source code☆28Jan 28, 2018Updated 8 years ago
- Typecoin: Massively Multiplayer Online Linear Logic☆18May 5, 2017Updated 8 years ago
- My final year project at the University of Strathclyde☆13Jan 26, 2023Updated 3 years ago
- Haskell libraries for OpenTracing.io☆16May 21, 2018Updated 7 years ago
- My master thesis about generic programming and ornaments☆16Jul 5, 2016Updated 9 years ago
- This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.☆21Jan 31, 2022Updated 4 years ago
- A magic typeclass that just does it☆126Aug 1, 2022Updated 3 years ago
- Units of measure as a GHC typechecker plugin☆31Oct 12, 2022Updated 3 years ago
- Compare the public API of different versions of a Hackage library☆62May 2, 2018Updated 7 years ago
- Auto-generate a command-line parser for your datatype☆212Jan 8, 2026Updated last month
- Co-inductive interaction trees provide a way to represent (potentially) non-terminating programs with I/O behavior.☆18Jul 9, 2018Updated 7 years ago
- A FUSE filesystem, written in Haskell, that allows one to mount NAR (Nix archive) files and expose them as a virtual Nix store.☆29Apr 17, 2016Updated 9 years ago