chiroptical / book-of-monads

Related projects: ⓘ

• rpeszek / notes-milewski-ctfp-hs
  Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
  ☆32Updated 5 years ago
• chiroptical / thinking-with-types
  Working through the Thinking with Types book in Haskell
  ☆34Updated 4 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
• lambdaconf / lambdaconf-2018
  Repository for LambdaConf 2018 and related material.
  ☆23Updated 5 years ago
• tdietert / types-as-specifications
  ☆47Updated 4 years ago
• BartoszMilewski / AofC2017
  Advent of Code 2017
  ☆41Updated 5 years ago
• sellout / category-parametric-talk
  Talks on category-parametric programming.
  ☆22Updated 9 months ago
• Jyothsnasrinivas / eta-todo
  A simple to-do web application in Eta using Spock web framework and Lucid DSL
  ☆16Updated 6 years ago
• rpeszek / IdrisTddNotes
  Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
  ☆47Updated 2 years ago
• bravit / tt-ghc-exercises
  ☆28Updated 6 years ago
• gvolpe / exchange-rates
  Querying a rate-limited currency exchange API using Redis as a cache
  ☆41Updated 4 years ago
• cohomolo-gy / Isomorphic-Reasoning
  Isomorphic Reasoning: Counting with Types
  ☆37Updated 4 years ago
• ChrisPenner / comonads-by-example
  Comonads By Example Conference talk
  ☆89Updated 5 years ago
• typelead / eta-hackage
  A set of patches to make Hackage compatible with the Eta language.
  ☆64Updated 5 years ago
• symphony-org / frost
  Frost
  ☆19Updated 4 years ago
• EncodePanda / todo-rest
  Example of usage polysemy and servant
  ☆56Updated 5 years ago
• tatut / eta-jdbc-example
  Simple example of using JDBC from Eta language
  ☆10Updated 7 years ago
• fpco / applied-haskell
  ☆80Updated 5 years ago
• haskell-works / eta-kafka-client
  Eta bindings to Kafka
  ☆15Updated 7 years ago
• Gabriella439 / HasCal
  Haskell embedding of PlusCal
  ☆59Updated 2 years ago
• duijf / stm-course
  Slides and exercises for an STM "course" series
  ☆30Updated 4 years ago
• graninas / automatic-whitebox-testing-showcase
  Automatic white-box testing with Free monads: approach description and showcase
  ☆83Updated 2 years ago
• typelead / intellij-eta
  An Intellij Plugin for the Eta programming language
  ☆52Updated 5 years ago
• Chouffe / haskell-bazaar
  Explore haskell and functional programming concepts
  ☆20Updated 5 years ago
• graninas / Andromeda
  ☆72Updated 2 weeks ago
• snoyberg / why-you-should-use-stm
  ☆40Updated 5 years ago
• Gabriella439 / Haskell-Errors-Library
  Type-safe error handling
  ☆64Updated 11 months ago
• tdammers / yeshql
  YesQL-style SQL database abstraction.
  ☆26Updated 4 years ago
• paf31 / haskell-slides
  ☆50Updated 8 years ago
• Tehnix / miso-isomorphic-stack
  An example of an "isomorphic" Miso server set up with stack
  ☆44Updated 4 years ago