winitzki / talks
Talk slides for recent presentations
☆45Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for talks
- My tinkering to understand the typeclassopedia.☆102Updated 6 months ago
- An exploration of purely functional library design in Scala.☆104Updated 8 years ago
- Example code to accompany shapeless-guide.☆133Updated 2 years ago
- Allows logging in a tree structure so that comprehensive logging does not become incomprehensible☆220Updated 2 weeks ago
- ☆28Updated 7 years ago
- Performant, purely-functional, low-level, and unopinionated wrapper around Java NIO functionality☆84Updated 5 years ago
- Seamless interop layer between cats and scalaz☆174Updated 3 years ago
- A fast and generic immutable radix tree for scala☆95Updated 5 years ago
- Type calculations at compile time☆40Updated 5 years ago
- Operations for primitive and String singleton types☆163Updated 3 months ago
- Scala library for free applicative schemas capable of parsing/rendering sums-of-products data structures.☆108Updated 6 years ago
- coulomb: unit analysis for Scala☆142Updated last month
- The pure testing library by scalaz.☆89Updated 5 years ago
- Additional accompaniment to Functional and Reactive Domain Modeling☆109Updated 5 months ago
- ☆53Updated 3 years ago
- The workspace for ScalaUA 2019 presentation, "Thinking Functionally"☆57Updated 5 years ago
- Release with confidence, state-of-the-art property testing for Scala.☆262Updated this week
- Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism☆257Updated 3 years ago
- Multisets for Scala☆85Updated 3 years ago
- A purely-functional library for defining type-safe schemas for algebraic data types, providing free generators, SQL queries, JSON codecs,…☆164Updated 4 years ago
- Flexible law checking for Scala☆328Updated last week
- Extensible algebraic effects with handlers☆144Updated last week
- A Scala compiler plugin for mutual tail recursion☆88Updated 4 years ago
- ☆187Updated 4 months ago
- an implementation of Wadler's a prettier printer☆187Updated last week
- A dimensional analysis library based on dependent types☆199Updated 3 months ago
- Scala Exercises' lessons for the Cats library☆107Updated last year
- source and examples to Functional Programming for Mortals with Scalaz☆126Updated 4 years ago
- Quark: An Embedded DSL for Quasar Analytics☆45Updated 7 years ago
- Birds and cats together☆139Updated 2 weeks ago