srghma / category-theory-bartosz-milewski-lecture-notes
Category theory for programmers lecture notes
☆23Updated 5 years ago
Related projects: ⓘ
- ☆38Updated 6 years ago
- Companion to the Haskell in Production series☆80Updated 4 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆32Updated 5 years ago
- Material for the "Category Theory as a Tool for Thought" talk☆36Updated last year
- Advent of Code 2017☆41Updated 5 years ago
- Useful resources for the Eta programming language☆61Updated 3 years ago
- Community curated list of companies that use Purescript☆137Updated 8 months ago
- ☆72Updated 2 weeks ago
- Simple Exercises in Haskell, using HSpec☆46Updated last year
- Notes on Category Theory For Programmers by Bartosz Milewski☆53Updated 6 years ago
- Working through the Thinking with Types book in Haskell☆34Updated 4 years ago
- Automatic white-box testing with Free monads: approach description and showcase☆83Updated 2 years ago
- Exercises from the readers of the Haskell Book☆55Updated 5 years ago
- Composition of Functions☆24Updated 4 years ago
- Another opinionated list of resources for learning Haskell, from absolute (programming) beginner level to advanced.☆136Updated 3 years ago
- Solutions to Advent of Code 2019☆50Updated 4 years ago
- Supplementary code for Type Classes projects☆25Updated 4 years ago
- Haskell version of the Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"☆64Updated 3 years ago
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 5 years ago
- Explore haskell and functional programming concepts☆20Updated 5 years ago
- Haskell domain modeling playground☆31Updated 2 years ago
- Trying to get back all the stuff I had in JavaScript.☆70Updated 5 years ago
- A collection of awesome Haskell videos. Inspired by awesome projects line.☆41Updated last year
- Portfolio-based approach to learning Haskell☆104Updated 6 years ago
- Etlas, the build tool and package manager for the Eta programming language☆63Updated 4 years ago
- ☆69Updated this week
- Jupyter notebooks☆57Updated 2 weeks ago
- ☆80Updated 5 years ago
- Js libraries for idris☆48Updated 4 years ago
- A brief exploration of the various approaches to modeling side effects in a purely functional programming language.☆99Updated 2 years ago
- Easy instructions for setting up Haskell editors / IDEs on any major operating system.☆101Updated 5 months ago