chiroptical / ctfp-book-club
Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski
☆25Updated 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
- Haskell types lined up to highlight their similarities☆31Updated 4 years ago
- Comma (and other) separated values☆76Updated last year
- HoTT Note-taking action☆25Updated 5 years ago
- In goes JSON, out comes a complete Haskell model complete with instances! CLI and web interface available.☆81Updated 3 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Combine and enhance Functors☆39Updated last year
- 💄🐞 Combinators for writing pretty type errors easily☆55Updated 2 years ago
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.☆117Updated 2 weeks ago
- Comparing Haskell effect systems for ergonomics and speed☆65Updated 3 years ago
- Some info that supposed to help to understand PureScript from Haskell perspective☆32Updated 6 years ago
- Generic Programming using True Sums of Products☆161Updated 2 weeks ago
- type level sets☆67Updated 5 years ago
- Tasty meal of Dhall☆66Updated last year
- Automatically trace all (showable) binds in do expressions☆84Updated 6 years ago
- First-class type families☆87Updated 5 months ago
- Dual Traversable☆42Updated last year
- an applicative functor that seamlessly talks to HTML inputs☆72Updated 5 years ago
- ♾️ Sized list☆46Updated 8 months ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- ☆50Updated 2 months ago
- 🐚 Out of the shell solution for scripting in Haskell☆71Updated 3 months ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- ☆80Updated 5 years ago
- A Haskell package that provides a monad transformer for mocking mtl-style typeclasses☆71Updated 5 years ago
- A work stealing scheduler☆75Updated this week
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- Experimental, user-contributed effects and interpreters for polysemy☆71Updated last year
- Tactic Metaprogramming in Haskell☆57Updated 5 years ago
- Haskell binding for Gremlin graph query language☆27Updated last month