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:
- A logical authorization system☆51Updated 3 years ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- Working through the Thinking with Types book in Haskell☆34Updated 5 years ago
- Combine and enhance Functors☆39Updated 3 months ago
- Evaluate special comments in your program on file save.☆39Updated 5 years ago
- Haskell types lined up to highlight their similarities☆30Updated 5 years ago
- A tool to make solving type errors in Haskell simple and fun.☆38Updated 3 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- Comma (and other) separated values☆78Updated 2 years ago
- Hedgehog will eat your typeclass bugs☆56Updated 5 months ago
- Named parameters (keyword arguments) for Haskell☆97Updated 8 months ago
- ♾️ Sized list☆47Updated last year
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- Generic Programming using True Sums of Products☆164Updated 3 months ago
- A simple combinator library☆30Updated 7 years ago
- Comparing Haskell effect systems for ergonomics and speed☆67Updated 4 years ago
- Haskell library for simple, concise and fast generic operations.☆82Updated 2 years ago
- Signature inference for Functional Property Discovery in Haskell☆38Updated 8 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆67Updated 3 years ago
- type level sets☆67Updated 6 years ago
- Free ideas, worth every penny☆33Updated 5 years ago
- Standard module for type-level programming in Haskell☆31Updated 6 years ago
- 👓 Profunctor based lightweight implementation of Lenses☆71Updated 2 years ago
- 🐚 Out of the shell solution for scripting in Haskell☆73Updated last year
- Kowainik Git Workflow Helper Tool☆76Updated 2 years ago
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.☆118Updated 5 months ago
- The HaTeX User's Guide☆21Updated 4 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Updated 2 months ago
- Lightweight package providing commonly useful parser combinators☆54Updated 3 weeks ago
- outline & examples for my ZuriHac 2020 talk, Languages All the Way Down☆20Updated 5 years ago