isovector / algebra-driven-designLinks
Source material for Algebra-Driven Design
☆152Updated 2 years ago
Alternatives and similar repositories for algebra-driven-design
Users that are interested in algebra-driven-design are comparing it to the libraries listed below
Sorting:
- Best practices on how to be efficient with Haskell in production☆101Updated 3 months ago
- Documentation about Haskell's dangerous functions and a hlint config file to warn about them☆186Updated 8 months ago
- 🚧 a work in progress effect system for Haskell 🚧☆133Updated 2 years ago
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.☆177Updated 3 years ago
- Effects libraries in Haskell☆71Updated 2 years ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆108Updated this week
- A Haskell blog☆151Updated last month
- A collection of Practical Haskell bits.☆86Updated 3 years ago
- Source material for Certainty by Construction☆45Updated last year
- Prelude written in @Serokell☆185Updated last month
- ☆132Updated this week
- Compositional Representable Executable Machines☆121Updated 3 weeks ago
- VSCode extension for Haskell☆110Updated 9 months ago
- How I start Haskell.☆100Updated 4 months 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 last year
- Embedded specification language & model checker in Haskell☆175Updated 6 months ago
- Visual tool to spot odd runtime behaviour of Haskell programs.☆109Updated 3 years ago
- A re-implementation of weeder using HIE files☆181Updated 3 months ago
- Haskell Functional Reactive Programming framework with type-level clocks☆135Updated last week
- Day 9 of Advent of Haskell - Denotational Design☆98Updated 3 years ago
- Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions☆224Updated 8 months ago
- The category theory by example book☆59Updated last week
- ☆50Updated 6 years ago
- An implementation of Pie in Haskell☆211Updated 6 years ago
- Extensional capabilities and deriving combinators☆221Updated 3 weeks ago
- A List of Foundational Haskell Papers☆43Updated 7 years ago
- Refactor Haskell source files☆157Updated 9 months ago
- Collections of papers and books about Haskell, Type Theory and Category Theory☆166Updated 4 years ago
- Auto generate a stack or cabal multi component hie.yaml file☆213Updated last year