ashwinbhaskar / functional-way

Related projects ⓘ

Alternatives and complementary repositories for functional-way

• HaskellChamber / Haskell-University
  Portfolio-based approach to learning Haskell
  ☆104Updated 6 years ago
• jdegoes / lambdaconf-2014-introgame
  Online material for the Introduction to Functional Game Programming with Scala workshop.
  ☆163Updated 5 years ago
• higherkindness / droste
  recursion schemes for cats; to iterate is human, to recurse, divine
  ☆388Updated this week
• Chymyst / curryhoward
  Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
  ☆257Updated 3 years ago
• sellout / recursion-scheme-talk
  A talk on using recursion schemes in FP.
  ☆218Updated 7 months ago
• djspiewak / parseback
  A Scala implementation of parsing with derivatives
  ☆197Updated 4 years ago
• pheymann / typedapi
  Build your web API on the type level.
  ☆161Updated 5 years ago
• debasishg / frdomain-extras
  Additional accompaniment to Functional and Reactive Domain Modeling
  ☆109Updated 5 months ago
• lemastero / scala_typeclassopedia
  Abstractions from Category theory with simple description & implementation, links to further resources.
  ☆378Updated 2 weeks ago
• etorreborre / registry
  Components as records of functions for Haskell
  ☆166Updated 9 months ago
• vil1 / recursion-schemes-cookbook
  A friendly guide for leveraging the power of recursion schemes in real-world applications
  ☆107Updated 4 years ago
• scalaz / testz
  The pure testing library by scalaz.
  ☆89Updated 5 years ago
• EncodePanda / papers_i_love
  Papers I love :)
  ☆155Updated 4 years ago
• felixmulder / haskell-in-production
  Companion to the Haskell in Production series
  ☆80Updated 5 years ago
• typelevel / catbird
  Birds and cats together
  ☆139Updated 2 weeks ago
• fommil / fpmortals
  source and examples to Functional Programming for Mortals with Scalaz
  ☆126Updated 4 years ago
• dotty-staging / dotty
  Research platform for new language concepts and compiler technologies for Scala.
  ☆85Updated this week
• channingwalton / typeclassopedia
  My tinkering to understand the typeclassopedia.
  ☆102Updated 6 months ago
• ashwinbhaskar / scala-to-dotty
  Dotty way of writing Scala 2 code
  ☆121Updated 3 years ago
• jdegoes / scalaworld-2015
  Supporting material for ScalaWorld 2015.
  ☆99Updated 9 years ago
• djspiewak / shims
  Seamless interop layer between cats and scalaz
  ☆174Updated 3 years ago
• melvic-ybanez / chi
  A function code generator and an isomorphism analyzer
  ☆38Updated 2 years ago
• cb372 / scala-typed-holes
  ☆187Updated 4 months ago
• typelead / sbt-eta
  An sbt plugin that integrates Eta into Scala projects.
  ☆57Updated 5 years ago
• adrianfilip / zio-crud-sample
  ZIO DDD CLI
  ☆26Updated 2 years ago
• djspiewak / skolems
  A microlibrary for Scala encodings of higher-rank quantifiers
  ☆59Updated 4 years ago
• parapet-io / parapet
  A purely functional library to build distributed and event-driven systems
  ☆138Updated last year
• eed3si9n / herding-cats
  ☆48Updated 3 years ago
• typelevel / CT_from_Programmers.scala
  Scala sample code for Bartosz Milewski's CT for Programmers
  ☆278Updated 5 years ago