chiroptical / ctfp-book-clubLinks
Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski
☆26Updated 2 years ago
Alternatives and similar repositories for ctfp-book-club
Users that are interested in ctfp-book-club are comparing it to the libraries listed below
Sorting:
- Haskell types lined up to highlight their similarities☆30Updated 5 years ago
- Working through the Thinking with Types book in Haskell☆35Updated 5 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.☆118Updated 3 months ago
- 🐚 Out of the shell solution for scripting in Haskell☆73Updated 10 months ago
- A logical authorization system☆51Updated 3 years ago
- Generic Programming using True Sums of Products☆162Updated last month
- Comparing Haskell effect systems for ergonomics and speed☆66Updated 4 years ago
- Evaluate special comments in your program on file save.☆38Updated 4 years ago
- Signature inference for Functional Property Discovery in Haskell☆38Updated 7 years ago
- HoTT Note-taking action☆25Updated 6 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- ♾️ Sized list☆46Updated last year
- Haskell library for simple, concise and fast generic operations.☆82Updated last year
- Hedgehog will eat your typeclass bugs☆56Updated 2 months ago
- ☆31Updated 3 years ago
- Slides & demos for talks I do☆58Updated 5 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Updated 4 months ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Moot is a CFP and event management system!☆66Updated 6 years ago
- A workspace for research teams☆105Updated 5 years ago
- Automatically trace all (showable) binds in do expressions☆84Updated 7 years ago
- checkers for algebra driven design☆34Updated 2 years ago
- ☆40Updated 5 years ago
- ☆80Updated 6 years ago
- Free ideas, worth every penny☆33Updated 4 years ago