graninas / Pragmatic-Type-Level-Design
Code and materials for my book "Pragmatic Type Level Design"
☆119Updated this week
Alternatives and similar repositories for Pragmatic-Type-Level-Design:
Users that are interested in Pragmatic-Type-Level-Design are comparing it to the libraries listed below
- Source material for Algebra-Driven Design☆138Updated last year
- ☆76Updated 5 months ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆105Updated last month
- Best practices on how to be efficient with Haskell in production☆96Updated 7 months ago
- Hydra is a full-fledged framework for building web services, multithreaded and concurrent applications with SQL and KV DB support.☆194Updated 5 months ago
- ☆81Updated 2 weeks ago
- Effects libraries in Haskell☆71Updated last year
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.☆170Updated 2 years ago
- A curated list of awesome functional programming jobs.☆62Updated 2 months ago
- Active streaming declarative programmers. See who's online at the following URL:☆67Updated last year
- Source material for Certainty by Construction☆39Updated last year
- ☆51Updated 2 years ago
- Documentation about Haskell's dangerous functions and a hlint config file to warn about them☆174Updated 2 weeks ago
- Working through the Thinking with Types book in Haskell☆35Updated 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…☆192Updated last year
- Fast and simple JSON encoding toolkit☆82Updated last year
- Idris version of Domain Modeling Made Functional Book.☆132Updated 3 years ago
- Material for Haskell training☆33Updated 2 years ago
- A modern template for a Servant☆53Updated 9 months ago
- 🚧 a work in progress effect system for Haskell 🚧☆124Updated last year
- CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)☆44Updated last month
- ☆59Updated last year
- The Haskell Foundation Tech Proposal Process☆69Updated 6 months ago
- Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell☆156Updated 3 years ago
- 🔍 A step-by-step guide to parsing using Haskell parser combinators.☆93Updated 5 years ago
- 🌈 Haskell CLI Framework supporting Command Line Interface Guidelines☆185Updated last year
- The category theory by example book☆58Updated last year
- EulerHS: full-fledged framework for creating web backends☆102Updated 5 months ago
- Compositional Representable Executable Machines☆110Updated 2 months ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆88Updated 3 weeks ago