Sweet Baby Rao's

• Sweet Baby Ray's
• Talkboy
• Yak Bak
• React
• Heyting Algebra
• Moore Machine
• Moore for Less
• clojure.spec
• Comonad
• Functor
• Trie
• Mealy Machine
• Adjunction
• morphism-zoo
• Unifying Structured Recursion Schemes - Ralf Hinze, Nicolas Wu, and Jeremy Gibbons
• Prettyprint
• A prettier printer - Philip Wadler
• Prettier
• elm-format
• Pony

Type Class Tom-Foolery

• Group Theory
• Cayley's Theorem
• Yoneda lemma
• Natural Transformation
• Patreon
• Corepresentable
• Any Applicative Is Num
• Accept values with varying number of arguments
• Heyting Algebra
• PureScript instance
• React Native
• Recursion Schemes
• purescript-matryoshka
• Type-Directed Search
• Hole-driven Haskell

Curry-Howard the Duck

• Teaching New Tricks to Old Programs - Conal Elliott
• Category
• Cartesian Monoidal Category
• Cocartesian Monoidal Category
• Representable Functor
• Comonad
• Building up Zippers from Distributive, Representable, and Cofree
• Cofree
• Free From Tree
• Rose Tree
• Mutation Testing
• QuickCheck
• Heyting Algebra
• Boolean Algebra
• Law of excluded middle

Is that Sirius Black?

• Heyting Algebra
• Category Theory - Bartosz Milewski
• Marcel Proust