andorp / order-taking
Idris version of Domain Modeling Made Functional Book.
☆132Updated 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
- Automatic white-box testing with Free monads: approach description and showcase☆83Updated 3 years ago
- Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture mo…☆192Updated last year
- Source material for Algebra-Driven Design☆139Updated last year
- TDD with Clean Architectecture (aka Hexagonal, Ports & adapter) in Haskell☆47Updated 2 years ago
- Sample code from "Type Driven Development with Idris"☆161Updated 7 years ago
- ☆77Updated 6 months ago
- Fast and simple JSON encoding toolkit☆82Updated last year
- A test framework for Idris☆54Updated 5 years ago
- Community curated list of companies that use Purescript☆139Updated 3 months ago
- A PureScript interpreter in Haskell☆119Updated 2 years ago
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.☆170Updated 2 years ago
- Random DDD related things in Haskell☆48Updated 7 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆124Updated last year
- Effects libraries in Haskell☆71Updated last year
- SPLV20 course notes☆108Updated 2 years ago
- Library of our UI components☆106Updated last year
- The category theory by example book☆58Updated last year
- Haskell PostgreSQL library with compile-time type inference☆85Updated 11 months ago
- Active streaming declarative programmers. See who's online at the following URL:☆67Updated last year
- A continuation of Stephen Diehl's Write You a Haskell☆159Updated 4 years ago
- Companion to the Haskell in Production series☆80Updated 5 years ago
- Js libraries for idris☆49Updated 5 years ago
- ☆49Updated 5 years ago
- 🍰🔪 Architecture of Haskell backend applications☆133Updated 2 years ago
- Show Haskell type annotations when doing code review on Github☆142Updated 4 years ago
- A logical authorization system☆50Updated 3 years ago
- A PureScript implementation of The Elm Architecture☆68Updated 5 months ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆57Updated last year
- Hydra is a full-fledged framework for building web services, multithreaded and concurrent applications with SQL and KV DB support.☆194Updated 6 months ago
- Refinement types with static checking☆186Updated 2 months ago