andorp / order-taking
Idris version of Domain Modeling Made Functional Book.
☆137Updated 3 years ago
Alternatives and similar repositories for order-taking
Users that are interested in order-taking are comparing it to the libraries listed below
Sorting:
- Automatic white-box testing with Free monads: approach description and showcase☆83Updated 3 years ago
- GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell☆52Updated 5 years ago
- Source material for Algebra-Driven Design☆144Updated last year
- 🚧 a work in progress effect system for Haskell 🚧☆126Updated last year
- ☆49Updated 5 years ago
- Effects libraries in Haskell☆71Updated last year
- Fast and simple JSON encoding toolkit☆82Updated last year
- ☆78Updated 8 months ago
- Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell☆157Updated 3 years ago
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.☆171Updated 2 years ago
- Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture mo…☆193Updated last year
- Day 9 of Advent of Haskell - Denotational Design☆97Updated 3 years ago
- Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically☆206Updated last year
- Hydra is a full-fledged framework for building web services, multithreaded and concurrent applications with SQL and KV DB support.☆195Updated 8 months ago
- A PureScript interpreter in Haskell☆120Updated 3 years ago
- Random DDD related things in Haskell☆48Updated 7 years ago
- 🔍 A step-by-step guide to parsing using Haskell parser combinators.☆94Updated 5 years ago
- Comonads By Example Conference talk☆89Updated 5 years ago
- Working through the Thinking with Types book in Haskell☆35Updated 5 years ago
- Compositional Representable Executable Machines☆117Updated 5 months ago
- Extensional capabilities and deriving combinators☆216Updated 10 months ago
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆48Updated 3 years ago
- A brief exploration of the various approaches to modeling side effects in a purely functional programming language.☆99Updated 3 years ago
- Components as records of functions for Haskell☆170Updated 2 months ago
- A Haskell blog☆139Updated 10 months ago
- Embedded specification language & model checker in Haskell☆173Updated 3 weeks ago
- Active streaming declarative programmers. See who's online at the following URL:☆67Updated last year
- Companion to the Haskell in Production series☆80Updated 5 years ago
- A logical authorization system☆50Updated 3 years ago
- Material for the "Category Theory as a Tool for Thought" talk☆38Updated 2 years ago