andorp / order-takingLinks
Idris version of Domain Modeling Made Functional Book.
β142Updated 4 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 4 years ago
- π A step-by-step guide to parsing using Haskell parser combinators.β93Updated 6 years ago
- β79Updated last year
- Source material for Algebra-Driven Designβ158Updated 2 years ago
- Fast and simple JSON encoding toolkitβ84Updated 2 years ago
- π§ a work in progress effect system for Haskell π§β138Updated 2 years ago
- The category theory by example bookβ59Updated 2 months ago
- Working through the Thinking with Types book in Haskellβ34Updated 5 years ago
- β38Updated 6 years ago
- TDD with Clean Architectecture (aka Hexagonal, Ports & adapter) in Haskellβ47Updated 3 years ago
- Day 9 of Advent of Haskell - Denotational Designβ98Updated 4 years ago
- A logical authorization systemβ51Updated 3 years ago
- Compositional Representable Executable Machinesβ122Updated 2 months ago
- Embedded specification language & model checker in Haskellβ179Updated 8 months ago
- A PureScript interpreter in Haskellβ121Updated 3 years ago
- Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskellβ155Updated 4 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 2 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewskiβ33Updated 6 years ago
- GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskellβ53Updated 6 years ago
- Effects libraries in Haskellβ71Updated 2 years ago
- β50Updated 6 years ago
- Hydra is a full-fledged framework for building web services, multithreaded and concurrent applications with SQL and KV DB support.β203Updated last year
- Community curated list of companies that use Purescriptβ142Updated last year
- Sample code from "Type Driven Development with Idris"β164Updated 8 years ago
- Random DDD related things in Haskellβ49Updated 8 years ago
- β‘οΈEfficient implementation of Map with types as keysβ102Updated this week
- Free ideas, worth every pennyβ33Updated 5 years ago
- Dive into Haskell: Examples of all features of this Pure Functional programing languageβ71Updated 2 years ago
- A test framework for Idrisβ55Updated 6 years ago
- Javascript DOM bindings for Idris2β54Updated 3 months ago