ncreep / category-theory-as-a-tool-for-thought

Related projects ⓘ

Alternatives and complementary repositories for category-theory-as-a-tool-for-thought

• graninas / automatic-whitebox-testing-showcase
  Automatic white-box testing with Free monads: approach description and showcase
  ☆83Updated 2 years ago
• rpeszek / IdrisTddNotes
  Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
  ☆47Updated 2 years ago
• felixmulder / haskell-in-production
  Companion to the Haskell in Production series
  ☆80Updated 5 years ago
• etorreborre / registry
  Components as records of functions for Haskell
  ☆166Updated 9 months ago
• BartoszMilewski / AofC2017
  Advent of Code 2017
  ☆41Updated 5 years ago
• rpeszek / notes-milewski-ctfp-hs
  Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
  ☆32Updated 5 years ago
• gvolpe / exchange-rates
  Querying a rate-limited currency exchange API using Redis as a cache
  ☆41Updated 4 years ago
• haskell-waargonaut / waargonaut
  JSON decoding/encoding/manipulation library.
  ☆94Updated 2 years ago
• haskell-at-work / domain-modelling-with-haskell
  ☆38Updated 6 years ago
• stepchowfun / effects
  A brief exploration of the various approaches to modeling side effects in a purely functional programming language.
  ☆99Updated 2 years ago
• effectfully-ou / sketches
  A Haskell blog
  ☆126Updated 4 months ago
• graninas / Andromeda
  ☆75Updated 2 months ago
• haroldcarr / presentations
  slides for presentations I have given
  ☆21Updated 5 years ago
• puffnfresh / sonic2
  Sonic the Hedgehog 2 in Haskell
  ☆67Updated 2 years ago
• oswald2 / haskell_articles
  A List of Haskell articles on good design, good testing
  ☆45Updated 4 years ago
• Gabriella439 / Haskell-Lens-Tutorial-Library
  The missing tutorial module for the lens library
  ☆81Updated 6 months ago
• haskell-github-trust / replace-megaparsec
  Stream editing with Haskell Megaparsec parsers
  ☆79Updated 6 months ago
• typelead / eta-hackage
  A set of patches to make Hackage compatible with the Eta language.
  ☆64Updated 5 years ago
• composewell / streaming-benchmarks
  Benchmarks to compare Haskell streaming library performance
  ☆102Updated this week
• tdietert / types-as-specifications
  ☆47Updated 5 years ago
• sfischer13 / awesome-eta
  Useful resources for the Eta programming language
  ☆61Updated 3 years ago
• jaspervdj / profiteur
  Visualiser for Haskell (GHC) prof files
  ☆193Updated last year
• lorepub / moot
  Moot is a CFP and event management system!
  ☆66Updated 6 years ago
• Chouffe / haskell-bazaar
  Explore haskell and functional programming concepts
  ☆20Updated 5 years ago
• ChrisPenner / comonads-by-example
  Comonads By Example Conference talk
  ☆89Updated 5 years ago
• gvolpe / shopping-cart-haskell
  Haskell version of the Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
  ☆64Updated 3 years ago
• qfpl / sv
  Comma (and other) separated values
  ☆76Updated last year
• chiroptical / thinking-with-types
  Working through the Thinking with Types book in Haskell
  ☆35Updated 4 years ago
• theam / tintin
  📚 A softer alternative to Haddock
  ☆104Updated 4 years ago
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆157Updated 6 months ago
• plaidfinch / ComonadSheet
  A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…
  ☆155Updated 3 years ago